000 04577nam a22005535i 4500
001 978-3-540-47848-5
003 DE-He213
005 20160624102027.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540478485
_9978-3-540-47848-5
024 7 _a10.1007/3-540-56979-0
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aConceptual Graphs for Knowledge Representation
_h[electronic resource] :
_bFirst International Conference on Conceptual Structures, ICCS'93 Quebec City, Canada, August 4–7, 1993 Proceedings /
_cedited by Guy W. Mineau, Bernard Moulin, John F. Sowa.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aX, 458 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v699
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aDatabase management.
650 0 _aArtificial intelligence.
650 0 _aCombinatorics.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aCombinatorics.
650 2 4 _aDatabase Management.
700 1 _aMineau, Guy W.
_eeditor.
700 1 _aMoulin, Bernard.
_eeditor.
700 1 _aSowa, John F.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540569794
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v699
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-56979-0
942 _2EBK6213
_cEBK
999 _c35507
_d35507