Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Schärfe, Henrik (Επιμελητής έκδοσης), Hitzler, Pascal (Επιμελητής έκδοσης), Øhrstrøm, Peter (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4068
• Θέματα: Computer science.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Information Systems Applications (incl. Internet).

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international nature...

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

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