Conceptual Structures: Logical, Linguistic, and Computational Issues: 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings
Bernhard Ganter, Guy W. Mineau
Springer, Sep 15, 2000 - Knowledge representation (Information theory) - 569 pages
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.
Concepts and Language
Concepts in Linguistics Concepts in Natural Language
Patterns Schemata and Types
34 other sections not shown
Other editions - View all
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