## Conceptual Structures: Logical, Linguistic, and Computational Issues: 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 ProceedingsBernhard Ganter, Guy W. Mineau This book constitutes the refereed proceedings of the 8th International Conference on Conceptual Structures, ICCS 2000, held in Darmstadt, Germany in August 2000. The 38 revised full papers presented have been carefully reviewed and selected for inclusion in the proceedings. The book is divided in topical sections on concepts and language, conceptual onthology, conceptual graphs, formal semantics of conceptual structures, contextual logic and formal concept analysis, conceptual structures in practice, and computational aspects of conceptual structures. |

### What people are saying - Write a review

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

### Contents

Concepts and Language | 1 |

Concepts in Linguistics Concepts in Natural Language | 13 |

Patterns Schemata and Types | 27 |

Copyright | |

34 other sections not shown

### Other editions - View all

### Common terms and phrases

algorithm application Artificial Intelligence attributes binary binary relation Boolean algebra CG system co-identical co-reference computing concept lattice concept node concept type conceptual graphs Conceptual Structures constraint contextualized logic coreference database defined definition denoted derived description logic documents domain element entities equivalent example existential graphs Figure Formal Concept Analysis formulas Ganter graph homomorphism Heidelberg hierarchy hypothesis implementation implications interpretation knowledge base knowledge engineer knowledge representation least common subsumers Lemma LNAI mapping Mineau natural language negation nested concept graphs Nisin norm notation object ontology operations paper Peirce Peirce's power context family predicate problem projection proposition prototype query referent relation node relation types represent retrieval rules semantics simple graphs SNePS Sowa specific Springer Springer-Verlag subset subsumption symbol theory translation triadic concept graphs triadic power context tuple vertex