14. ICCS 2006: Aalborg, Denmark

Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm (Eds.): Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings. Lecture Notes in Computer Science 4068 Springer 2006, ISBN 3-540-35893-5 BibTeX

Invited Papers

Nicola Guarino:
Formal Ontology, Knowledge Representation and Conceptual Modelling: Old Inspirations, Still Unsolved Problems. 1
Electronic Edition (link) BibTeX
Per F. V. Hasle:
The Persuasive Expansion - Rhetoric, Information Architecture, and Conceptual Structure. 2-21
Electronic Edition (link) BibTeX
Benedikt Löwe:
Revision Forever! 22-36
Electronic Edition (link) BibTeX
Jørgen Fischer Nilsson:
Ontological Constitutions for Classes and Properties. 37-53
Electronic Edition (link) BibTeX
John F. Sowa:
Peirce's Contributions to the 21^st Century. 54-69
Electronic Edition (link) BibTeX
Frederik Stjernfelt:
Two Iconicity Notions in Peirce's Diagrammatology. 70-86
Electronic Edition (link) BibTeX

Contributed Papers

J. P. Aubert, Jean-François Baget, Michel Chein:
Simple Conceptual Graphs and Simple Concept Graphs. 87-101
Electronic Edition (link) BibTeX
Jean-François Baget, Eric Salvat:
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. 102-116
Electronic Edition (link) BibTeX
Radim Belohlávek, Jan Outrata, Vilém Vychodil:
Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes. 117-130
Electronic Edition (link) BibTeX
Radim Belohlávek, Vilém Vychodil:
Formal Concept Analysis with Constraints by Closure Operators. 131-143
Electronic Edition (link) BibTeX
Jérémy Besson, Céline Robardet, Jean-François Boulicaut:
Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery. 144-157
Electronic Edition (link) BibTeX
Patrice Buche, Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Rallou Thomopoulos:
The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products. 158-171
Electronic Edition (link) BibTeX
Frithjof Dau:
Some Notes on Proofs with Alpha Graphs. 172-188
Electronic Edition (link) BibTeX
Aldo de Moor, Pieter De Leenheer, Robert Meersman:
DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering. 189-202
Electronic Edition (link) BibTeX
Jon Ducrou, Björn Vormbrock, Peter W. Eklund:
FCA-Based Browsing and Searching of a Collection of Images. 203-214
Electronic Edition (link) BibTeX
Petra Gehring, Rudolf Wille:
Semantology: Basic Methods for Knowledge Representations. 215-228
Electronic Edition (link) BibTeX
Joachim Hereth Correia, Reinhard Pöschel:
The Teridentity and Peircean Algebraic Logic. 229-246
Electronic Edition (link) BibTeX
Richard Hill, Simon Polovina, Dharmendra Shadija:
Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems. 247-259
Electronic Edition (link) BibTeX
Pascal Hitzler, Markus Krötzsch:
Querying Formal Contexts with Answer Set Programs. 260-273
Electronic Edition (link) BibTeX
Tanja Hötte, Thomas Müller:
Towards an Epistemic Logic of Concepts. 274-285
Electronic Edition (link) BibTeX
Adil Kabbaj:
Development of Intelligent Systems and Multi-Agents Systems with Amine Platform. 286-299
Electronic Edition (link) BibTeX
Adil Kabbaj, Karim Bouzouba, Khalid El Hachimi, Nabil Ourdani:
Ontologies in Amine Platform: Structures and Processes. 300-313
Electronic Edition (link) BibTeX
Mary A. Keeler, Heather D. Pfeiffer:
Building a Pragmatic Methodology for KR Tool Research and Development. 314-330
Electronic Edition (link) BibTeX
Michel Leclère, Marie-Laure Mugnier:
Simple Conceptual Graphs with Atomic Negation and Difference. 331-345
Electronic Edition (link) BibTeX
Francesca A. Lisi:
A Pattern-Based Approach to Conceptual Clustering in FOL. 346-359
Electronic Edition (link) BibTeX
Mandy Northover, Andrew Boake, Derrick G. Kourie:
Karl Popper's Critical Rationalism in Agile Software Development. 360-373
Electronic Edition (link) BibTeX
Sergei A. Obiedkov, Derrick G. Kourie, Jan H. P. Eloff:
On Lattices in Access Control Models. 374-387
Electronic Edition (link) BibTeX
Uta Priss, L. John Old:
An Application of Relation Algebra to Lexical Databases. 388-400
Electronic Edition (link) BibTeX
B. J. Smith, Harry S. Delugach:
A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs. 401-412
Electronic Edition (link) BibTeX
Julien Tane, Philipp Cimiano, Pascal Hitzler:
Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation. 413-426
Electronic Edition (link) BibTeX
Romuald Thion, Stéphane Coulondre:
Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs. 427-440
Electronic Edition (link) BibTeX
Yang Yu, Ji Wang, Ting Wang, Huowang Chen:
Representing Wholes by Structure. 441-454
Electronic Edition (link) BibTeX