## Conceptual Structures: Knowledge Representations as Interlingua: 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, ProceedingsPeter W. Eklund, Gerard Ellis, Graham Mann 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Invited Papers | 1 |

Conceptual Structures of Multicontexts | 23 |

Graph Drawing Methods | 40 |

Copyright | |

15 other sections not shown

### Common terms and phrases

algorithm application Artificial Intelligence attributes axiom B-Zone backward chaining bit-vectors CGKAT complex Computer Science concept lattice concept type conceptual graphs conceptual relation Conceptual Structures constraints context coreference corresponding database DB-MAT defined definition denoted described diagram document domain editor elements ElEn encoding entity event example existential graphs Figure Formal Concept Formal Concept Analysis function fuzzy GlSIT Graph Drawing graph G hypertext implementation inference infon integer isomorphism knowledge representation lexical linear linguistic logic mapping maximal join microanalysis multicontext natural language node object operations optimal partial order Peirce poset predicate preorder problem projection Prolog Proof propagated query referent represented retrieval robot rule semantic semantic networks situation theory Sowa sparse terms step Stilman subgraphs subset tense logic thematic roles Theorem trajectory trans(g transitive closure tree type hierarchy verb W-BOMBER W-FIGHTER Zone