Negations in simple concept graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1867, Issue , 2000, Pages 263-276

  Dau, Frithjof ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; SEMANTICS;

CONCEPT GRAPH; CONCEPTUAL GRAPH; CONTEXTUAL LOGIC; EXISTENTIAL GRAPHS; S-THEORY; SOUND AND COMPLETE;

GRAPHIC METHODS;

EID: 84958593808     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722280_18     Document Type: Conference Paper

References (14)

1. F. Baader, R. Molitur, S. Tobies: The Guarded Fragment of Conceptual Graphs. RWTH LTCS-Report. http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html
2. M. Chein, M.-L. Mugnier, G. Simonet: Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics, Rapport de Recherche, LIRMM, Université Montpellier II, 1998.
3. B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg-New York 1999.
4. B. Ganter, R. Wille: Contextual attribute logic, in: W. Tepfenhart, W. Cyre (Eds.): Conceptual Structures: Standards and Practices, Springer Verlag, Berlin–New York 1999, 377-388.
5. D. Lukose, R. Kremer: Knowledge Engineering: PART A, Knowledge Representation. http://www.cpsc.ucalgary.ca/∼kremer/courses/CG/
6. C. S. Peirce: Reasoning and the Logic of Things. The Cambridge Conferences Lectures of 1898. Ed. by K. L. Kremer, Harvard Univ. Press, Cambridge 1992
7. S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik, Shaker Verlag 1998.
8. S. Prediger: Simple Concept Graphs: A Logic Approach, in: M, -L. Mugnier, M. Chein (Eds.): Conceptual Structures: Theory, Tools and Applications, Springer Verlag, Berlin–New York 1998, 225–239.
9. D. D. Roberts: The Existential Graphs of Charles Sanders Peirce, Mouton The Hague – Paris 1973.
10. J. F. Sowa: Conceptual Structures: Information Processing in Mind and Machine. Addison Wesley Publishing Company Reading, 1984.
11. J. F. Sowa: Conceptual Graphs Summary, in: T. E. Nagle, J. A. Nagle, L. L. Gerholz, P. W. Eklund (Eds.): Conceptual Structures: current research and practice, Ellis Horwood, 1992, 3–51.
12. J. F. Sowa: Conceptual Graphs: Draft Proposed American National Standard, in: W. Tepfenhart, W. Cyre (Eds.): Conceptual Structures: Standards and Practices, Springer Verlag, Berlin–New York 1999, 1-65.
13. J. F. Sowa: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove, CA, 2000.
14. M. Wermelinger: Conceptual Graphs and First-Order Logic, in: G. Ellis et al. (Eds.): Conceptual Structures: Applications, Implementations and Theory, Springer Verlag, Berlin–New York 1995, 323–337.