LEADER 05531nam 22007695 450 001 996465999003316 005 20200629171204.0 010 $a3-540-70596-1 024 7 $a10.1007/978-3-540-70596-3 035 $a(CKB)1000000000490455 035 $a(SSID)ssj0000316960 035 $a(PQKBManifestationID)11292323 035 $a(PQKBTitleCode)TC0000316960 035 $a(PQKBWorkID)10287062 035 $a(PQKB)11571133 035 $a(DE-He213)978-3-540-70596-3 035 $a(MiAaPQ)EBC3068422 035 $a(PPN)127055037 035 $a(EXLCZ)991000000000490455 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConceptual Structures: Knowledge Visualization and Reasoning$b[electronic resource] $e16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /$fedited by Peter Eklund, Ollivier Haemmerlé 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 311 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5113 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-70595-3 320 $aIncludes bibliographical references and index. 327 $aDiagrammatic Reasoning Systems -- Pursuing the Goal of Language Understanding -- Web, Graphs and Semantics -- Transdisciplinarity and Generalistic Sciences and Humanities -- Jacob Lorhard?s Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles -- Revelator?s Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution -- Conceptual Spider Diagrams -- An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation -- Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual Graphs -- Query-Answering CG Knowledge Bases -- Attribute Exploration Using Implications with Proper Premises -- Sorting Concepts by Priority Using the Theory of Monotone Systems -- Extending Attribute Dependencies for Lattice-Based Querying and Navigation -- PACTOLE: A Methodology and a System for Semi-automatically Enriching an Ontology from a Collection of Texts -- Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis -- Contextual Cognitive Map -- Employing a Domain Specific Ontology to Perform Semantic Search -- Concept Similarity and Related Categories in SearchSleuth -- Grounded Conceptual Graph Models -- Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment? -- Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. 330 $aThis book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management. 410 0$aLecture Notes in Artificial Intelligence ;$v5113 606 $aArtificial intelligence 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer science?Mathematics 606 $aMathematical logic 606 $aAlgorithms 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer science?Mathematics. 615 0$aMathematical logic. 615 0$aAlgorithms. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aMathematical Logic and Formal Languages. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a006.3 702 $aEklund$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHaemmerlé$b Ollivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465999003316 996 $aConceptual Structures: Knowledge Visualization and Reasoning$9774365 997 $aUNISA