8. ICCS 2000: Darmstadt, Germany

Bernhard Ganter, Guy W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings. Lecture Notes in Computer Science 1867 Springer 2000, ISBN 3-540-67859-X BibTeX

@proceedings{DBLP:conf/iccs/2000,
  editor    = {Bernhard Ganter and
               Guy W. Mineau},
  title     = {Conceptual Structures: Logical, Linguistic, and Computational
               Issues, 8th International Conference on Conceptual Structures,
               ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings},
  booktitle = {ICCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1867},
  year      = {2000},
  isbn      = {3-540-67859-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Concepts and Language

Keith Devlin: The Role of Conceptual Structure in Human Evolution. 1-12 BibTeX
Gisela Harras: Concepts in Linguistics - Concepts in Natural Language. 13-26 BibTeX
Felix H. Gatzemeier: Patterns, Schemata, and Types - Author Support through Formalized Experience. 27-40 BibTeX
Philippe Martin: Conventions and Notations for Knowledge Representation and Retrieval. 41-54 BibTeX

Conceptual Ontology

John F. Sowa: Ontology, Metadata, and Semiotics. 55-81 BibTeX
Mary Keeler: Pragmatically Yours. 82-99 BibTeX
Deborah L. McGuinness: Conceptual Modeling for Distributed Ontology Environments. 100-112 BibTeX
Hendra Suryanto, Paul Compton: Discovery of Class Relations in Exception Structured Knowledge Bases. 113-126 BibTeX

Conceptual Graphs: Perspectives

Michel Chein, David Genest: CGs Applications: Where Are We 7 Years after the Fist ICCS? 127-139 BibTeX
Guy W. Mineau: The Engineering of a CG-Based System: Fundamental Issues. 140-156 BibTeX
Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller: Conceptual Graphs, Metamodeling, and Notation of Concepts. 157-171 BibTeX
Marie-Laure Mugnier: Knowledge Representation and Reasonings Based on Graph Homomorphism. 172-192 BibTeX
James F. Baldwin, Trevor P. Martin, Aimilia Tzanavari: User Modeling Using Conceptual Graphs for Intelligent Agents. 193-206 BibTeX
Patrice Buche, Ollivier Haemmerlé: Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View. 207-220 BibTeX

Formal Semantics of Conceptual Structures

Guy W. Mineau: The Extensional Semantics of the Conceptual Graph Formalism. 221-234 BibTeX
Pavel Kocura: Semantics of Attribute Relations in Conceptual Graphs. 235-248 BibTeX
Susanne Prediger: Nested Concept Graphs and Triadic Power Context Families. 249-262 BibTeX
Frithjof Dau: Negations in Simple Concept Graphs. 263-276 BibTeX
Jean-François Baget: Extending the CG Model by Simulations. 277-291 BibTeX

Contextual Logic and Formal Concept Analysis

Franz Baader, Ralf Molitor: Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. 292-305 BibTeX
Silke Pollandt, Rudolf Wille: On the Contextual Logic of Ordinal Data. 306-316 BibTeX
Rudolf Wille: Boolean Concept Logic. 317-331 BibTeX
Bernd Groh, Rudolf Wille: Lattices of Triadic Concept Graphs. 332-341 BibTeX
Bernhard Ganter, Sergei O. Kuznetsov: Formalizing Hypotheses with Concepts. 342-356 BibTeX
Laurent Chaudron, Nicolas Maille: Generalized Formal Concept Analysis. 357-370 BibTeX
Sébastien Ferré, Olivier Ridoux: A Logical Generalization of Formal Concept Analysis. 371-384 BibTeX
Peter Burmeister, Richard Holzer: On the Treatment of Incomplete Knowledge in Formal Concept Analysis. 385-398 BibTeX

Conceptual Structures in Practice

Peter W. Eklund: Logic-Based Networks: Concept Graphs and Conceptual Structures. 399-420 BibTeX
Joachim Hereth Correia, Gerd Stumme, Rudolf Wille, Uta Wille: Conceptual Knowledge Discovery and Data Analysis. 421-437 BibTeX
Richard Cole, Gerd Stumme: CEM - A Conceptual Email Manager. 438-452 BibTeX
Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille: A Contextual-Logic Extension of TOSCANA. 453-467 BibTeX
Olivier Corby, Rose Dieng, Cédric Hébert: A Conceptual Graph Model for W3C Resource Description Framework. 468-482 BibTeX

Computational Aspects of Conceptual Structures

Bernhard Ganter: Computing with Conceptual Structures. 483-495 BibTeX
Robert Levinson: Symmetry and the Computation of Conceptual Structures. 496-509 BibTeX
Stuart C. Shapiro: An Introduction to SNePS 3. 510-524 BibTeX
Aldo de Moor: Composition Norm Dynamics Calculation with Conceptual Graphs. 525-539 BibTeX
Adil Kabbaj, Martin Janta-Polczynski: From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. 540-554 BibTeX
Gaël de Chalendar, Brigitte Grau, Olivier Ferret: A Cost-Bounded Algorithm to Control Events Generalization. 555-568 BibTeX