---

＜電子ブック＞
Conceptual Structures: Knowledge Representations as Interlingua : 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings / edited by Peter W. Eklund, Gerard Ellis, Graham Mann
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 1115)

版	1st ed. 1996.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1996
本文言語	英語
大きさ	XIV, 330 p : online resource
著者標目	Eklund, Peter W editor Ellis, Gerard editor Mann, Graham editor SpringerLink (Online service)
件　名	LCSH:Artificial intelligence LCSH:Database management FREE:Artificial Intelligence FREE:Database Management
一般注記	Processes and participants -- Conceptual structures of multicontexts -- Graph drawing methods -- Big posets of participatings and thematic roles -- Linguistic Geometry tools generate optimal solutions -- Natural language text processing and the maximal join operator -- DB-MAT: Knowledge acquisition, processing and NL generation using conceptual graphs -- Conceptual graph aboutness -- Conceptual structures and structured documents -- Conceptual graphs isomorphism: Algorithm and use -- Editing conceptual graphs -- Computational situation theory in the conceptual graph language -- Existential graphs and tense logic -- Microanalysis: Acquiring database semantics in conceptual graphs -- Propagating truth and detecting contradiction in conceptual graph databases -- Sound and complete forward and backward chainings of graph rules -- Towards fuzzy conceptual graph programs -- Sparse term encoding for dynamic taxonomies -- Lattice embedding -- Local scaling in conceptual data systems This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996. The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding HTTP:URL=https://doi.org/10.1007/3-540-61534-2

 類似資料