Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings
This 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
Conference papers and proceedings
1 online resource (ix, 352 pages) : illustrations
9783540601616, 9783540495390, 3540601619, 3540495398
326710968
Syntax, semantics, and pragmatics of contexts / John F. Sowa
Ontology revision / Norman Foo
A triadic approach to formal concept analysis / Fritz Lehmann and Rudolf Wille
Automatic integration of digital system requirements using schemata / R.Y. Kamath and W.R. Cyre
Service trading using conceptual structures / A. Puder, S. Markwitz and F. Gudermann
Sentence generation from conceptual graphs / Nicolas Nicolov, Chris Mellish and Graeme Ritchie
Discourse spaces : a pragmatic interpretation of contexts ; A pragmatic representational approach of context and reference in discourses / Bernard Moulin
Using the conceptual graphs operations for natural language generation in medicine / J.C. Wagner, R.H. Baud and J.-R. Scherrer
Table 10 left without paying the bill! A good reason to treat metonymy with conceptual graphs / Tassadit Amghar, Françoise Gayral and Bernard Levrat
Object-oriented conceptual graphs / Gerard Ellis
A direct proof procedure for definite conceptual graph programs / Bikash Chandra Ghosh and Vilas Wuwongse
Conceptual clustering of complex objects : a generalization space based approach / Isabelle Bournaud and Jean-Gabriel Ganascia
Using empirical subsumption to reduce the search space in learning / Marc Champesme
A new parallelization of subgraph isomorphism refinement for classification and retrieval of conceptual structures / James D. Roberts
Transputer network implementation of a parallel projection algorithm for conceptual graphs / Alfred Chan and Pavel Kocura
Spanning tree representations of graphs and orders in conceptual structures / Andrew Fall
An implementation model for contexts and negation in conceptual graphs / John Esch and Robert Levinson
A linear descriptor for conceptual graphs and a class for polynomial isomorphism test / O. Cogis and O. Guinaldo
Projection and unification for conceptual graphs / M. Willems
A novel algorithm for matching conceptual and related graphs / Jonathan Poole and J.A. Campbell
On the ontology of knowledge graphs / C. Hoede
Conceptual graphs and first-order logic / Michel Wermelinger
Existential graphs and dynamic predicate logic / Harmen van den Berg