Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ganter, Bernhard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mineau, Guy W. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1867
• Θέματα: Artificial intelligence.; Computers.; Computer science-Mathematics.; Mathematical logic.; Algorithms.; Artificial Intelligence.; Theory of Computation.; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.

Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI research e?ort. Such computer models are formed through the interaction of...

Πίνακας περιεχομένων:

• 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.