Conceptual Structures: Inspiration and Application: 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedingsth 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 of the ICCS community as well as the widespread interest which was spawned by the previous conferences. By a thorough review process, 24 papers were selected to be included in this volume. In addition, six invited speakers made contributions which can be found in the first section of this volume. The theme of ICCS 2006––Conceptual Structures: Inspiration and Application–– points to a dual focus of interest that is also reflected in the constellation of papers. From the beginning of the planning of this conference, we focused on inspirational sources that have led to the current state of research in our community, by tracing important historical influences which daily effect work in representing knowledge and in handling representations of conceptual structures. At the same time, we also focused on ways in which these legacies are employed to further advance theory and practice in the field of knowledge representation and processing. With this volume, we believe that a valuable contribution to both aspects of this field is being made. We wish to express our appreciation to all the authors of submitted papers, to the members of the Editorial Board and the Program Committee for all their work and valuable comments. |
Contents
Invited Papers | 1 |
Revision Forever | 22 |
Ontological Constitutions for Classes and Properties | 37 |
Peirces Contributions to the 21st Century | 54 |
Contributed Papers | 87 |
Formal Concept Analysis with Constraints by Closure Operators | 131 |
The MIEL++ Architecture When RDB CGs and XML Meet | 158 |
Some Notes on Proofs with Alpha Graphs | 172 |
Towards an Epistemic Logic of Concepts | 274 |
Structures and Processes | 299 |
Building a Pragmatic Methodology for KR Tool Research | 314 |
Simple Conceptual Graphs with Atomic Negation and Difference | 331 |
A PatternBased Approach to Conceptual Clustering in | 346 |
Karl Poppers Critical Rationalism in Agile Software Development | 360 |
On Lattices in Access Control Models | 374 |
An Application of Relation Algebra to Lexical Databases | 388 |
A Meaning Evolution Support System | 189 |
FCABased Browsing and Searching of a Collection of Images | 203 |
The Teridentity and Peircean Algebraic Logic | 229 |
From Experts to Concepts | 247 |
Querying Formal Contexts with Answer Set Programs | 260 |
A Framework for Analyzing and Testing Requirements with Actors | 401 |
Representation and Reasoning on RoleBased Access Control Policies | 427 |
Representing Wholes by Structure | 441 |
455 | |
Other editions - View all
Common terms and phrases
Agent algebraic algorithm Amine answer answer set programming applications approach Artificial Intelligence attribute implications Backward Chaining basic bi-sets binary relations calculus CG rules closure operator complete Computer Science concept lattice concept type Conceptual Graphs Conceptual Structures consider constraints context coreference corresponding database deduction defined definition denoted description logic diagram domain elements entities example Existential Graphs finite Formal Concept Analysis formula fuzzy set hierarchy Hitzler ICCS iconicity interpretation knowledge base knowledge representation labels language Lemma LNAI logic LP12_Key_Index mapping mathematical methodology MIEL++ multi-agents systems negation nodes notion objects ontology engineering paper paradigm Peirce Peirce's philosophical Popper possible predicate problem programming projection Prolog+CG proof properties propositional query relation relevant represented requirements Rhetoric role semantics set of attributes simple CG Sowa Springer subset Theorem theory