Existential concept graphs of power context families

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

Volumn 2393, Issue , 2002, Pages 382-395

  Wille, Rudolf ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CONCEPT GRAPH; EXISTENTIAL QUANTIFIERS; PROTOCONCEPT GRAPHS; SEMANTIC LEVELS;

GRAPHIC METHODS;

EID: 84948989801     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45483-7_29     Document Type: Conference Paper

References (22)

1. R. B. Brandom: Making it explicit. Reasoning, representing, and discursive commitment. Havard University Press, Cambridge 1994.
2. R. W. Burch: A Peircean reduction thesis. Texas Tech University Press, Lubbock 1991.
3. F. Dau: Negations in simple concept graphs. In: B. Ganter, G. W. Mineau (eds.): Conceptual structures: logical, linguistic, and computational issues. LNAI 1867. Springer, Heidelberg 2000, 263-276.
4. F. Dau: Concept graphs and predicate logic. In: H. Delugach, G. Stumme (eds.): Conceptual structures: broadening the base. LNAI 2120. Springer, Heidelberg 2001, 72-86.
5. F. Dau, R. Wille: On the modal understanding of triadic contexts. In: R. Decker, W. Gaul (eds.): Classification and information processing at the turn of the millennium. Spinger, Heidelberg 2000, 83-94.
6. J. Klinger: Semiconcept graphs: syntax and semantics. Diplomarbeit. FB Mathematik, TU Darmstadt 2001.
7. B. Ganter, R. Wille: Formal Concept Analysis: mathematical foundations. Springer, Heidelberg 1999; German version: Springer, Heidelberg 1996.
8. B. Groh, R. Wille: Lattices of triadic concept graphs. In: B. Ganter, G. W. Mineau (eds.): Conceptual structures: logical, linguistic and computational issues. LNAI 1867. Springer, Heidelberg 2000, 332-341
9. M. Nicholson: The pocket Aussie fact book. Penguin Books Australia, Ringwood 1999.
10. S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, TU Darmstadt 1998. Shaker, Aachen 1998.
11. S. Prediger, R. Wille: The lattice of concept graphs of a relationally scaled context. In: W. Tepfenhart, W. Cyre (eds.): Conceptual structures: standards and practices. LNAI 1640. Springer, Heidelberg 1999, 401-414.
12. J. F. Sowa: Conceptual structures: information processing in mind and machine. Adison-Wesley, Reading 1984.
13. J. Tappe: Simple concept graphs with universal quantifiers. In: G. Stumme (ed.): Working with Conceptual Structures. Contributions to ICCS 2000. Shaker, Aachen 2000, 95-108.
14. R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. In: I. Rival (ed.): Ordered sets. Reidel, Dordrecht-Boston 1982, 445-470.
15. R. Wille: Restructuring mathematical logic: an approach based on Peirce’s pragmatism. In: A. Ursini, P. Agliano (eds.): Logic and Algebra. Marcel Dekker, New York 1996, 267-281.
16. R. Wille: Conceptual Graphs and Formal Concept Analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle, J. F. Sowa (eds.): Conceptual structures: fulfilling Peirce’s dream. LNAI 1257. Springer, Heidelberg 1997, 290-303.
17. R. Wille: Triadic concept graphs. In: M. L. Mugnier, M. Chein (eds.): Conceptual structures: theory, tools and applications. LNAI 1453. Springer, Heidelberg 1998, 194-208.
18. R. Wille: Boolean Concept Logic. In: B. Ganter, G. W. Mineau (eds.): Conceptual structures: logical, linguistic, and computational issues. LNAI 1867. Springer, Heidelberg 2000, 317-331.
19. R. Wille: Contextual Logic summary. In: G. Stumme (ed.): Working with Conceptual Structures. Contributions to ICCS 2000. Shaker, Aachen 2000, 265-276.
20. R. Wille: Lecture notes on contextual logic of relations. FB4-Preprint, TU Darmstadt 2000.
21. R. Wille: Boolean Judgment Logic. In: H. Delugach, G. Stumme (eds.): Conceptual structures: broadening the base. LNAI 2120. Springer, Heidelberg 2001, 115-128.
22. R. Wille: The contextual-logic structure of distinctive judgments. FB4-Preprint Nr. 2160, TU Darmstadt 2001.