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 ord...

Full description

Bibliographic Details
Corporate Authors:	International Conference on Conceptual Structures Santa Cruz, Calif., SpringerLink (Online service)
Other Authors:	Ellis, Gerard
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 954. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Conceptual structures (Information theory) > Congresses. Graph theory > Congresses. Logic diagrams > Congresses. Conocimiento, Representación del (Teoría de la información) > Congresos. Gráficas, Teoría de > Congresos. Diagramas lógicos > Congresos. Kunstmatige intelligentie. Kennisrepresentatie. Conceptual structures (Information theory) Graph theory. Logic diagrams. Electronic books. Congressen (vorm) Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

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.