Conceptual Structures: Inspiration and Application [electronic resource] :14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings / edited by Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm.
by Schärfe, Henrik [editor.]; Hitzler, Pascal [editor.]; Øhrstrøm, Peter [editor.]; SpringerLink (Online service).
Material type:
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
TJ210.2-211.495 (Browse shelf) | Available | ||||
Long Loan | MAIN LIBRARY | Q334-342 (Browse shelf) | Available |
Close shelf browser
Unifying Themes in Complex Systems | QC19.2-20.85 Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena | Q334-342 Conceptual Structures: Inspiration and Application | TJ210.2-211.495 Conceptual Structures: Inspiration and Application | QA75.5-76.95 Automata, Languages and Programming | QA75.5-76.95 Automata, Languages and Programming | TK5105.5-5105.9 Model Driven Architecture – Foundations and Applications |
Invited Papers -- Formal Ontology, Knowledge Representation and Conceptual Modelling: Old Inspirations, Still Unsolved Problems -- The Persuasive Expansion – Rhetoric, Information Architecture, and Conceptual Structure -- Revision Forever! -- Ontological Constitutions for Classes and Properties -- Peirce’s Contributions to the 21st Century -- Two Iconicity Notions in Peirce’s Diagrammatology -- Contributed Papers -- Simple Conceptual Graphs and Simple Concept Graphs -- Rules Dependencies in Backward Chaining of Conceptual Graphs Rules -- Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes -- Formal Concept Analysis with Constraints by Closure Operators -- Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery -- The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products -- Some Notes on Proofs with Alpha Graphs -- DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering -- FCA-Based Browsing and Searching of a Collection of Images -- Semantology: Basic Methods for Knowledge Representations -- The Teridentity and Peircean Algebraic Logic -- Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems -- Querying Formal Contexts with Answer Set Programs -- Towards an Epistemic Logic of Concepts -- Development of Intelligent Systems and Multi-Agents Systems with Amine Platform -- Ontologies in Amine Platform: Structures and Processes -- Building a Pragmatic Methodology for KR Tool Research and Development -- Simple Conceptual Graphs with Atomic Negation and Difference -- A Pattern-Based Approach to Conceptual Clustering in FOL -- Karl Popper’s Critical Rationalism in Agile Software Development -- On Lattices in Access Control Models -- An Application of Relation Algebra to Lexical Databases -- A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs -- Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation -- Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs -- Representing Wholes by Structure.
This book constitutes the refereed proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, held in Aalborg, Denmark in July 2006. The 24 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science. The papers address topics such as conceptual structures; their interplay with language, semantics and pragmatics; formal methods for concept analysis and contextual logic, modeling, representation, and visualization of concepts; conceptual knowledge acquisition; and the theory and applications of formal ontologies.
There are no comments for this item.