| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Ferr�, S. & Ridoux, O. | A Logical Generalization of Formal Concept Analysis | 2000 | Int. Conf. Conceptual Structures | inproceedings | |
| Abstract: We propose a generalization of Formal Concept Analysis (FCA) in which
sets of attributes are replaced by expressions of an almost arbitrary logic. We prove that all FCA can be reconstructed on this basis. We show that from any logic that is used in place of sets of attributes can be derived a contextualized logic that takes into account the formal context and that is isomorphic to the concept lattice. We then justify the generalization of FCA compared with existing extensions and in the perspective of its application to information systems. |
|||||
BibTeX:
@inproceedings{ferre00logical,
author = {Ferr�, S. and Ridoux, O.},
title = {A Logical Generalization of Formal Concept Analysis},
booktitle = {Int. Conf. Conceptual Structures},
publisher = {Springer},
year = {2000},
pages = {371--384}
}
|
|||||
| Ganter, B. & Wille, R. | Contextual Attribute Logic [BibTeX] |
1999 | ICCS | inproceedings | URL |
BibTeX:
@inproceedings{ganter99contextual,
author = {Ganter, Bernhard and Wille, Rudolf},
title = {Contextual Attribute Logic},
booktitle = {ICCS},
publisher = {Springer},
year = {1999},
volume = {1640},
pages = {377-388},
url = {http://dblp.uni-trier.de/db/conf/iccs/iccs99.html#GanterW99}
}
|
|||||
| Stumme, G. | Knowledge, Logic, Information. Conference Report. [BibTeX] |
1998 | Zeitschrift für Semiotik | article | |
BibTeX:
@article{stumme98knowledge,
author = {Stumme, Gerd},
title = {Knowledge, {L}ogic, {I}nformation. {C}onference {R}eport.},
journal = {Zeitschrift für Semiotik},
year = {1998},
volume = {20},
number = {3-4},
pages = {424}
}
|
|||||
| Baader, F. | Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology [BibTeX] |
1995 | Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95 | inproceedings | URL |
BibTeX:
@inproceedings{baader95computing,
author = {Baader, Franz},
title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},
booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95},
year = {1995},
pages = {168--178},
url = {citeseer.ist.psu.edu/baader95computing.html}
}
|
|||||
| Boole, G. | Investigation of The Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities [BibTeX] |
1853 | book | URL | |
BibTeX:
@book{boole1853investigation,
author = {Boole, George},
title = {Investigation of The Laws of Thought On Which Are Founded the
Mathematical Theories of Logic and Probabilities},
year = {1853},
note = {Also available from Dover, New York 1958, ISBN 0-486-60028-9.},
url = {http://www.gutenberg.org/etext/15114}
}
|
|||||
Created by JabRef export filters on 25/04/2024 by the social publication management platform PUMA