000 04324nam a22004935i 4500
001 978-3-540-68673-6
003 DE-He213
005 20160624102051.0
007 cr nn 008mamaa
008 121227s1998 gw | s |||| 0|eng d
020 _a9783540686736
_9978-3-540-68673-6
024 7 _a10.1007/BFb0054900
_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 Structures: Theory, Tools and Applications
_h[electronic resource] :
_b6th International Conference on Conceptual Structures, ICCS’98 Montpellier, France, August 10–12, 1998 Proceedings /
_cedited by Marie-Laure Mugnier, Michel Chein.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1998.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1998.
300 _aXIV, 446 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,
_x0302-9743 ;
_v1453
505 0 _aConceptual graph standard and extensions -- Matching in description logics: Preliminary results -- Ontologically yours -- Executing conceptual graphs -- From actors to processes: The representation of dynamic knowledge using conceptual graphs -- A semantic validation of conceptual graphs -- Using viewpoints and CG for the representation and management of a corporate memory in concurrent engineering -- WebKB-GE — A visual editor for canonical conceptual graphs -- Mapping of CGIF to operational interfaces -- TOSCANA-systems based on thesauri -- MULTIKAT, a tool for comparing knowledge of multiple experts -- A platform allowing typed nested graphs: How CoGITo became CoGITaNT -- Towards correspondences between Conceptual Graphs and Description Logics -- Piece resolution: Towards larger perspectives -- Triadic concept graphs -- Powerset trilattices -- Simple concept graphs: A logic approach -- Two FOL semantics for simple and nested conceptual graphs -- Peircean graphs for the modal logic S5 -- Fuzzy order-sorted logic programming in conceptual graphs with a sound and complete proof procedure -- Knowledge querying in the conceptual graph model: The RAP module -- Stepwise construction of the Dedekind-MacNeille completion -- PAC learning conceptual graphs -- Procedural renunciation and the semi-automatic trap -- Ontologies and conceptual structures -- Manual acquisition of uncountable types in closed worlds -- A logical framework for modeling a discourse from the point of view of the agents involved in It -- Computational processing of verbal polysemy with conceptual structures -- Word graphs: The second set -- Tuning up conceptual graph representation for multilingual natural language processing in medicine -- Conceptual graphs for representing business processes in corporate memories -- Handling specification knowledge evolution using context lattices -- Using CG formal contexts to support business system interoperation.
520 _aThis book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998. The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are three invited contributions. The volume is divided in topical sections on knowledge representation and knowledge engineering, tools, conceptual graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aMugnier, Marie-Laure.
_eeditor.
700 1 _aChein, Michel.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540647911
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1453
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0054900
942 _2EBK7049
_cEBK
999 _c36343
_d36343