Conceptual Structures: Logical, Linguistic, and Computational Issues

8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings

AvBernhard Ganter,Guy W. Mineau

Häftad, Engelska, 2000

Del i serien Lecture Notes in Computer Science

1 064 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2000-07-31
Mått:155 x 235 x 32 mm
Vikt:879 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:576
Upplaga:2000
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540678595

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Concepts and Language.- The Role of Conceptual Structure in Human Evolution.- Concepts in Linguistics – Concepts in Natural Language.- Patterns, Schemata, and Types — Author Support through Formalized Experience.- Conventions and Notations for Knowledge Representation and Retrieval.- Conceptual Ontology.- Ontology, Metadata, and Semiotics.- Pragmatically Yours,.- Conceptual Modeling for Distributed Ontology Environments.- Discovery of Class Relations in Exception Structured Knowledge Bases.- Conceptual Graphs: Perspectives.- CGs Applications : Where Are We 7 Years after the First ICCS?.- The Engineering of a CG-Based System: Fundamental Issues.- Conceptual Graphs, Metamodeling, and Notation of Concepts.- Knowledge Representation and Reasonings Based on Graph Homomorphism.- User Modelling Using Conceptual Graphs for Intelligent Agents.- Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View.- Formal Semantics of Conceptual Structures.- The Extensional Semantics of the Conceptual Graph Formalism.- Semantics of Attribute Relations in Conceptual Graphs.- Nested Concept Graphs and Triadic Power Context Families.- Negations in Simple Concept Graphs.- Extending the CG Model by Simulations.- Contextual Logic and Formal Concept Analysis.- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis.- On the Contextual Logic of Ordinal Data.- Boolean Concept Logic.- Lattices of Triadic Concept Graphs.- Formalizing Hypotheses with Concepts.- Generalized Formal Concept Analysis.- A Logical Generalizationof Formal Concept Analysis.- On the Treatment of Incomplete Knowledge in Formal Concept Analysis.- Conceptual Structures in Practice.- Logic-Based Networks: Concept Graphs and Conceptual Structures.- Conceptual Knowledge Discovery and Data Analysis.- CEM – A Conceptual Email Manager.- A Contextual-Logic Extension of TOSCANA.- A Conceptual Graph Model for W3C Resource Description Framework.- Computational Aspects of Conceptual Structures.- Computing with Conceptual Structures.- Symmetry and the Computation of Conceptual Structures.- An Introduction to SNePS 3.- Composition Norm Dynamics Calculation with Conceptual Graphs.- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language.- A Cost-Bounded Algorithm to Control Events Generalization.