Contextual attribute logic

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

Volumn 1640, Issue , 1999, Pages 377-388

  Ganter, Bernhard ^a   Wille, Rudolf ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; RECONFIGURABLE HARDWARE;

BOOLEAN LOGIC; CONTEXTUAL ATTRIBUTE LOGIC; FORMAL CONTEXTS;

COMPUTER CIRCUITS;

EID: 84958594006     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48659-3_23     Document Type: Conference Paper

References (18)

1. J. Barwise, J. Seligman. Information Flow: The Logic of Distributed Syterns. Cambridge University Press, Cambridge 1997.
2. H. Berg. Terminologische Begriffslogik. Diplomarbeit. FB Mathematik, TU Darmstadt 1997.
3. G. Boole. An Investigation of the Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities. Dover, New York 1958 (first 1854).
4. K. Devlin. Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind. Wiley, New York 1997.
5. J.-P. Doignon, J.-C. Falmagne. Knowledge Spaces. Springer, Berlin-Heidelberg-New York 1999.
6. J.-L. Guigues and Vincent Duquenne. Families minimales d’implications in-formatives resultant d’un tableau de donnees binaires. Math. Sci. Humaines 95 (1986), 5-18.
7. B. Ganter. Attribute exploration with background knowledge. Preprint, TU Dresden 1996. To appear in Theoretical Computer Science, 1999.
8. B. Ganter. Begriffe und Implikationen. In: G. Stumme, R. Wille (eds.). Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Berlin-Heidelberg (in preparation)
9. B. Ganter, R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg-New York 1999.
10. I. Kant. Logic. Dover, New York 1988.
11. H. Kleine Buning, T. Lettmann. Aussagenlogik: Deduktion und Algorithmen. B.G. Teubner, Stuttgart 1994.
12. R. Kraufie: Kumulierte Klauseln als ausagenlogische Sprachmittel fur die Formate Begriffsanalyse. Diplomarbeit. Institut fur Algebra, TU Dresden 1998.
13. S. Prediger. Terminologische Merkmalslogik in der Formalen Begriffsanalyse. In: G. Stumme, R. Wille (eds.). Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Berlin-Heidelberg (in preparation)
14. S. Prediger. Kontextuelle Urteilslogik rait Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, TU Darmstadt. Shaker Verlag, Aachen 1998.
15. St. Read. Thinking About Logic. Oxford University Press 1995. J. F. Sowa. Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading 1984.
16. J. F. Sowa. Knowledge representation: logical, philosophical, and computational foundations. PWS Publishing Co., Boston (to appear)
17. 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.
18. R. Wille. Conceptual Graphs and Formal Concept Analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle, J. Sowa (eds.). Conceptual Structures: Fulfilling Peirce’s Dream. Springer, Berlin-Heidelberg-New York 1997, 290-303.