LEADER 04992nam  22008295  450 
001 9910767558503321
005 20251226195701.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 $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,$x2945-9141 ;$v5113
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9141 ;$v5113
606   $aArtificial intelligence
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aMachine theory
606   $aAlgorithms
606   $aArtificial Intelligence
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aDiscrete Mathematics in Computer Science
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aMachine theory.
615  0$aAlgorithms.
615 14$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
676   $a006.3
701   $aEklund$b Peter$01751713
701   $aHaemmerle$b Ollivier$01751714
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910767558503321
996   $aConceptual Structures: Knowledge Visualization and Reasoning$94521746
997   $aUNINA