LEADER 05003nam 22006255 450 001 996466134603316 005 20200706044456.0 010 $a3-540-47848-5 024 7 $a10.1007/3-540-56979-0 035 $a(CKB)1000000000233991 035 $a(SSID)ssj0000322188 035 $a(PQKBManifestationID)11256000 035 $a(PQKBTitleCode)TC0000322188 035 $a(PQKBWorkID)10280975 035 $a(PQKB)10568685 035 $a(DE-He213)978-3-540-47848-5 035 $a(PPN)15521702X 035 $a(EXLCZ)991000000000233991 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConceptual Graphs for Knowledge Representation$b[electronic resource] $eFirst International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings /$fedited by Guy W. Mineau, Bernard Moulin, John F. Sowa 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (X, 458 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v699 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56979-0 327 $aRelating diagrams to logic -- Representation, discourse, logic and truth: Situating knowledge technology -- Heterogeneous reasoning -- A comparison between conceptual graphs and KL-ONE -- The term definition operators of ontolingua and of the conceptual graph formalism: a comparison -- Implementing conceptual graphs in a RDBMS -- A conceptual graphs approach to conceptual schema integration -- Conceptual graphs for relational Databases -- Inducing a CG representation for basic-level categorization of verbs -- The representation of linguistic information in an approach used for modelling temporal knowledge in discourses -- Representing natural language causality in Conceptual Graphs: The Higher order conceptual relation problem -- Executable conceptual structures -- Inverting resolution with conceptual graphs -- Towards domain-independent machine intelligence -- Efficient retrieval from hierarchies of objects using lattice operations -- Characterization and algorithmic recognition of canonical conceptual graphs -- A conceptual semantics ontology for conceptual graphs -- Acquiring temporal knowledge from schedules -- Conceptual structures for modeling in CIM -- Elicitation of taxonomies based on the use of conceptual graph operators -- Presenting a peirce logic based inference engine and theorem prover for conceptual graphs -- Operations on conceptual structures and Peirce's system of existential graphs -- Modal logics for conceptual graphs -- Fuzzy conceptual graphs. 330 $aArtificial Intelligence and cognitive science are the two fields devoted to the study and development of knowledge-based systems (KBS). Over the past 25years, researchers have proposed several approaches for modeling knowledge in KBS, including several kinds of formalism such as semantic networks, frames, and logics. In the early 1980s, J.F. Sowa introduced the conceptual graph (CG) theory which provides a knowledge representation framework consisting of a form of logic with a graph notationand integrating several features from semantic net and frame representations. Since that time, several research teams over the world have been working on the application and extension of CG theory in various domains ranging from natural language processing to database modeling and machine learning. This volume contains selected papers fromthe international conference on Conceptual Structures held in the city of Quebec, Canada, August 4-7, 1993. The volume opens with invited papers by J.F. Sowa, B.R. Gaines, and J. Barwise. 410 0$aLecture Notes in Artificial Intelligence ;$v699 606 $aArtificial intelligence 606 $aCombinatorics 606 $aDatabase management 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aArtificial intelligence. 615 0$aCombinatorics. 615 0$aDatabase management. 615 14$aArtificial Intelligence. 615 24$aCombinatorics. 615 24$aDatabase Management. 676 $a006.3/3/015115 702 $aMineau$b Guy W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoulin$b Bernard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSowa$b John F$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Cenceptual Structures 906 $aBOOK 912 $a996466134603316 996 $aConceptual Graphs for Knowledge Representation$92830529 997 $aUNISA