LEADER 04891nam 22006855 450 001 996465523103316 005 20200705165629.0 010 $a3-540-45483-7 024 7 $a10.1007/3-540-45483-7 035 $a(CKB)1000000000211973 035 $a(SSID)ssj0000322206 035 $a(PQKBManifestationID)11213936 035 $a(PQKBTitleCode)TC0000322206 035 $a(PQKBWorkID)10281460 035 $a(PQKB)11244345 035 $a(DE-He213)978-3-540-45483-0 035 $a(MiAaPQ)EBC3073070 035 $a(PPN)155191950 035 $a(EXLCZ)991000000000211973 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConceptual Structures: Integration and Interfaces$b[electronic resource] $e10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings /$fedited by Uta Priss, Dan Corbett, Galia Angelova 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XI, 400 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2393 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43901-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited -- Conceptual Structures in Modern Information Retrieval -- Formal Concept Analysis on Its Way from Mathematics to Computer Science -- Data and Knowledge Structures -- A Linearly Complex Model for Knowledge Representation -- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations -- Information Transfer across Simple Concept Graphs -- Relational Scaling and Databases -- Information Retrieval -- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English -- Conceptual Graph Matching for Semantic Search -- Text Schema Mining Using Graphs and Formal Concept Analysis -- Text Mining at Detail Level Using Conceptual Graphs -- Natural Language -- Processing Negation in NL Interfaces to Knowledge Bases -- Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs -- CG Representations of Non-literal Expressions -- Ontology and Semantics -- A Peircean Ontology of Semantics -- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model for Cooperative Building of an Ontology -- Towards a Pragmatic Web -- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I -- Interfaces and Applications -- CGWorld - Architecture and Features -- Extending SNePSwD with Permissive Belief Revision -- On Teaching Conceptual Graphs -- Logical and Mathematical Foundations -- The Use of Associative Concepts in the Incremental Building of a Logical Context -- Modal Logic for Evaluating Formulas in Incomplete Contexts -- An Embedding of Existential Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal Concept Analysis -- Associative and Formal Concepts -- Semiconcept Graphs with Variables -- Existential Concept Graphs of Power Context Families. 410 0$aLecture Notes in Artificial Intelligence ;$v2393 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aMathematical logic 606 $aAlgorithms 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 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 science?Mathematics. 615 0$aMathematical logic. 615 0$aAlgorithms. 615 14$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aMathematical Logic and Formal Languages. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a003/.54 702 $aPriss$b Uta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCorbett$b Dan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAngelova$b Galia$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Conceptual Structures 906 $aBOOK 912 $a996465523103316 996 $aConceptual Structures: Integration and Interfaces$92168173 997 $aUNISA