Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings

Syntax, semantics, and pragmatics of contexts.- Ontology revision.- A triadic approach to formal concept analysis.- Automatic integration of digital system requirements using schemata.- Service trading using conceptual structures.- Sentence generation from conceptual graphs.- Discourse spaces: A pragmatic interpretation of contexts.- A pragmatic representational approach of context and reference in discourses.- Using the conceptual graphs operations for natural language generation in medicine.- Table 10 left without paying the bill! a good reason to treat metonymy with conceptual graphs.- Object-oriented conceptual graphs.- A direct proof procedure for definite conceptual graph programs.- Conceptual clustering of complex objects: A generalization space based approach.- Using empirical subsumption to reduce the search space in learning.- A new parallelization of subgraph isomorphism refinement for classification and retrieval of conceptual structures.- Transputer network implementation of a parallel projection algorithm for conceptual graphs.- Spanning tree representations of graphs and orders in conceptual structures.- An implementation model for contexts and negation in conceptual graphs.- A linear descriptor for conceptual graphs and a class for polynomial isomorphism test.- Projection and unification for conceptual graphs.- A novel algorithm for matching conceptual and related graphs.- On the ontology of knowledge graphs.- Conceptual graphs and first-order logic.- Existential graphs and dynamic predicate logic.