LEADER 04888nam 22006375 450 001 996466138003316 005 20200702093054.0 010 $a3-540-49539-8 024 7 $a10.1007/3-540-60161-9 035 $a(CKB)1000000000234313 035 $a(SSID)ssj0000322201 035 $a(PQKBManifestationID)11246284 035 $a(PQKBTitleCode)TC0000322201 035 $a(PQKBWorkID)10287562 035 $a(PQKB)11062579 035 $a(DE-He213)978-3-540-49539-0 035 $a(PPN)155236210 035 $a(EXLCZ)991000000000234313 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConceptual Structures: Applications, Implementation and Theory$b[electronic resource] $eThird International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. Proceedings /$fedited by Gerard Ellis, Robert Levinson, William Rich, John F. Sowa 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (X, 362 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v954 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60161-9 327 $aSyntax, semantics, and pragmatics of contexts -- Ontology revision -- A triadic approach to formal concept analysis -- Automatic integration of digital system requirements using schemata -- Service trading using conceptual structures -- Sentence generation from conceptual graphs -- Discourse spaces: A pragmatic interpretation of contexts -- A pragmatic representational approach of context and reference in discourses -- Using the conceptual graphs operations for natural language generation in medicine -- Table 10 left without paying the bill! a good reason to treat metonymy with conceptual graphs -- Object-oriented conceptual graphs -- A direct proof procedure for definite conceptual graph programs -- Conceptual clustering of complex objects: A generalization space based approach -- Using empirical subsumption to reduce the search space in learning -- A new parallelization of subgraph isomorphism refinement for classification and retrieval of conceptual structures -- Transputer network implementation of a parallel projection algorithm for conceptual graphs -- Spanning tree representations of graphs and orders in conceptual structures -- An implementation model for contexts and negation in conceptual graphs -- A linear descriptor for conceptual graphs and a class for polynomial isomorphism test -- Projection and unification for conceptual graphs -- A novel algorithm for matching conceptual and related graphs -- On the ontology of knowledge graphs -- Conceptual graphs and first-order logic -- Existential graphs and dynamic predicate logic. 330 $aThis book constitutes the proceedings of the Third International Conference on Conceptual Structures, ICCS '95, held in Santa Cruz, California in August 1995. Conceptual structures are a modern treatment of Peirce's existential graphs, a graphic notation for classical logic with higher order extensions. Besides three invited papers, there are included 21 revised full papers selected from 58 submission. The volume reflects the state-of-the-art in this research area of growing interest. The papers are organized in sections on natural language, applications, programming in conceptual graphs, machine learning and knowledge acquisition, hardware and implementation, graph operations, and ontologies and theory. 410 0$aLecture Notes in Artificial Intelligence ;$v954 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 $a003/.54 702 $aEllis$b Gerard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLevinson$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRich$b William$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 Conceptual Structures 906 $aBOOK 912 $a996466138003316 996 $aConceptual Structures: Applications, Implementation and Theory$92831217 997 $aUNISA