00923cam0 2200277 450 E60020003876820211028090749.020080718d1934 |||||ita|0103 bageritaITIn St. JürgenTheodor Stormcon introduzione e commento di Nicola De RuggieroNapoliLoffredo193445 p.20 cm.Autori stranieri001LAEC000251272001 *Autori stranieriStorm, TheodorA600200027251070330089De Ruggiero, NicolaA600200049065070ITUNISOB20211028RICAUNISOBUNISOB830|Opusc709E600200038768M 102 Monografia moderna SBNM830|Opusc000014Si709bethUNISOBUNISOB20080718074450.020211028090742.0SpinosaIn St. Jürgen1685708UNISOB05284nam 22007455 450 99621370150331620200629115915.03-319-08389-910.1007/978-3-319-08389-6(CKB)3710000000219381(SSID)ssj0001296962(PQKBManifestationID)11709197(PQKBTitleCode)TC0001296962(PQKBWorkID)11362236(PQKB)11280682(DE-He213)978-3-319-08389-6(MiAaPQ)EBC6306702(MiAaPQ)EBC5586658(Au-PeEL)EBL5586658(OCoLC)884885825(PPN)179925490(EXLCZ)99371000000021938120140717d2014 u| 0engurnn#008mamaatxtccrGraph-Based Representation and Reasoning[electronic resource] 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings /edited by Nathalie Hernandez, Robert Jäschke, Madalina Croitoru1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XIV, 311 p. 93 illus.)Lecture Notes in Artificial Intelligence ;8577Includes index.3-319-08388-0 Conceptual Graphs Are Also Graphs -- Argumentation-Based Paraconsistent Logics -- Towards a Framework for Learning from Networked Data -- Games on Graphs -- A Partial-Closure Canonicity Test to Increase the Efficiency of CbO-Type Algorithms -- On Conceptual Graphs and Explanation of Query Answering under Inconsistency -- Defining Key Semantics for the RDF Datasets: Experiments and Evaluations -- A Framework for Qualitative Representation and Reasoning about Spatiotemporal Patterns -- Combining Restricted Boltzmann Machine and One Side Perceptron for Malware Detection -- Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytics and Open-Source Data to Combat Organized Crime -- Default Reasoning Implementation in CoGui -- Extracting Threshold Conceptual Structures from Web Documents -- A Formal Topology of Web Classification -- Specifying Well-Formed Part-Whole Relations in Coq -- Automatic Extraction of Semantic Relations by Using Web Statistical Information -- Efficient Representation of Extensional Constraints -- On the Usability of Random Indexing in Patent Retrieval -- Teaching Syllogistics Using Conceptual Graphs -- Principles of Regulated Activation Networks -- Computing Concept Lattices from Very Sparse Large-Scale Formal Contexts -- Swip: A Natural Language to SPARQL Interface Implemented with SPARQL -- Environmental Scanning and Knowledge Representation for the Detection of Organised Crime Threats -- Combining Business Intelligence with Semantic Technologies: The CUBIST Project -- FCA-Based Recommender Models and Data Analysis for Crowdsourcing Platform Witology -- Conceptual Structures in Leading and Best Enterprise Practices -- Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session.This book constitutes the proceedings of the 21st International Conference on Conceptual Structures, ICCS 2014, held in Iaşi, Romania, in July 2014. The 17 regular papers and 6 short papers presented in this volume were carefully reviewed and selected from 40 and 10 submissions, respectively. The topics covered are: conceptual structures, knowledge representation, reasoning, conceptual graphs, formal concept analysis, semantic Web, information integration, machine learning, data mining and information retrieval.Lecture Notes in Artificial Intelligence ;8577Artificial intelligenceComputer science—MathematicsDatabase managementInformation storage and retrievalArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Artificial intelligence.Computer science—Mathematics.Database management.Information storage and retrieval.Artificial Intelligence.Discrete Mathematics in Computer Science.Database Management.Information Storage and Retrieval.003.54Hernandez Nathalieedthttp://id.loc.gov/vocabulary/relators/edtJäschke Robertedthttp://id.loc.gov/vocabulary/relators/edtCroitoru Madalinaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996213701503316Graph-Based Representation and Reasoning2568964UNISA01123nmm a2200337 i 4500991000568439707536cr nn 008mamaa070420s2007 de j eng d9783540722342b13877148-39ule_instDip.to Matematica e Fisicaeng515.722AMS 47H10AMS 47J25AMS 65J15LC QA329.9.B47Berinde, Vasile472509Iterative approximation of fixed points[e-book] /by Vasile BerindeBerlin :Springer,2007v.: digitalLecture Notes in Mathematics,0075-8434 ;1912Numerical analysisOperator theoryTopologySpringer eBookshttp://dx.doi.org/10.1007/978-3-540-72234-2An electronic book accessible through the World Wide Web.b1387714803-03-2202-02-10991000568439707536Iterative approximation of fixed points230583UNISALENTOle01302-02-10m@ -engde 00