Conceptual structures(概念结构：基础扩展)

This book constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford, CA, USA in July/August 2001.The 26 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The book offers topical sections on language and knowledge structures, logical and mathematical foundations of conceptual structures, conceptual structures for data and knowledge bases, conceptual structures and meta-data, and algorithms and systems.

在线阅读本书

This book constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford, CA, USA in July/August 2001.The 26 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The book offers topical sections on language and knowledge structures, logical and mathematical foundations of conceptual structures, conceptual structures for data and knowledge bases, conceptual structures and meta-data, and algorithms and systems.

Language and Knowledge Structures
A Peircean Ontology of Language
Word Graphs: The Third Set
Aspecto-Temporal Data and Lexical Representations in French within Simple Conceptual Graphs on the Basis of Semantico-Cognitive Schemes
　Learning to Generate CGs from Domain Specific Sentences
　Solving-Oriented and Domain-Oriented Knowledge Structures:　Their Application to Debugging Problem Solving Activity
Logical and Mathematical Foundations　of Conceptual Structures
　Concept Graphs and Predicate Logic
　Generalized Quantifiers and Conceptual Graphs
　Simple Semiconcept Graphs: A Boolean Logic Approach
　Boolean Judgment Logic
　Pattern Structures ana Their Projections
　Formal Concept Analysis Methods for Dynamic Conceptual Graphs　
　Many-Valued Context Analysis Using Descriptions
　Mathematical Support for Empirical Theory Building
Conceptual Structures for Data and Knowledge Bases
　Searching for Objects and Properties with Logical Concept Analysis
　Reverse Pivoting in Conceptual Information Systems
　Refinement of Conceptual Graphs
　Large-Scale Cooperatively-Built KBs
Conceptual Structures and Meta-data
　Conceptual Graphs and Metamodeling
　Making Virtual Communities Work: Matching Their Functionalities
　Extension of RDFS Based on the CGs Formalisms
Algorithms and Systems
　Building Cbncept (Galois) Lattices from Parts: Generalizing the　Incremental Methods
　A Term-Based Approach to Project Scheduling
　Browsing Semi-structured Web Texts Using Formal Concept Analysis
　Ossa - A Conceptual Modelling System for Virtual Realities
　Uses, Improvements, and Extensions of Prolog+CG: Case Studies
　An Application of the Process Mechanism to a Room Allocation Problem　Using the pCG Language
Author Index