Concept graphs and predicate logic

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

Volumn 2120, Issue , 2001, Pages 72-86

  Dau, Frithjof ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FORMAL LOGIC; GRAPHIC METHODS; SEMANTICS;

CONCEPT GRAPH; FIRST ORDER LOGIC; GENERIC MARKER; PREDICATE LOGIC; SOUND AND COMPLETE;

COMPUTER CIRCUITS;

EID: 84974686459     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44583-8_6     Document Type: Conference Paper

References (13)

1. F. Baader, R. Molitor, S. Tobies: The Guarded Fragment of Conceptual Graphs. RWTH LTCS-Report. http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html
2. F. Dau: Negations in Simple Concept Graphs, in: B. Ganter, G. W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues. Lectures Notes in Artificial Intelligence 1867, Springer Verlag, Berlin- New York 1997, 263-276.
3. F. Dau, Negations in Concept Graphs. PhD-Thesis. To appear.
4. B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg-New York 1999.
5. 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.
6. S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik, Shaker Verlag 1998.
7. 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.
8. D. D. Roberts: The Existential Graphs of Charles Sanders Peirce, Mouton The Hague - Paris 1973.
9. J. F. Sowa: Conceptual Structures: Information Processing in Mind and Machine. Addison Wesley Publishing Company Reading, 1984.
10. 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.
11. J. F. Sowa: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove, CA, 2000.
12. 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.
13. R. Wille: Conceptual Graphs and Formal Concept Analysis, in: D. Lukose et al. (Hrsg.): Conceptual Structures: Fulfilling Peirce’s Dream, Lectures Notes in Artificial Intelligence 1257, Springer Verlag, Berlin-New York 1997, 290-303.