http://www.bibsonomy.org/burst/user/stumme/logicBibSonomy BuRST Feed for /user/stumme/logic2008-07-21T01:42:52+02:00publications of Sebastien Ferrehttp://www.bibsonomy.org/bibtex/2cdfe9d0e687cdc0103ad6a97d110a094/stummestumme2008-03-28T12:11:30+01:00concept_analysis logic OntologyHandbook FCA information_system context <span style="color:#555555;">S. <a href="http://www.bibsonomy.org/author/Ferr�">Ferr&#65533;</a> and O. <a href="http://www.bibsonomy.org/author/Ridoux">Ridoux</a> </span><em>Int. Conf. Conceptual Structures, </em><em>page371--384. </em><em>Springer, </em>(<em>2000</em>)Fri Mar 28 12:11:30 CET 2008Int. Conf. Conceptual Structures371--384LNCS 1867A Logical Generalization of Formal Concept Analysis2000concept_analysis logic OntologyHandbook FCA information_system context 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.http://www.bibsonomy.org/bibtex/2b0378eeecd6e9969390303763eefa678/stummestumme2007-09-05T15:14:38+02:00concept formal logic cg analysis fca <span style="color:#555555;">Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Rudolf <a href="http://www.bibsonomy.org/author/Wille">Wille</a> </span><em>ICCS, </em><em>volume1640ofLecture Notes in Computer Science, </em><em>page377-388. </em><em>Springer, </em>(<em>1999</em>)Wed Sep 05 15:14:38 CEST 2007ICCSconf/iccs/1999377-388Lecture Notes in Computer ScienceContextual Attribute Logic16401999concept formal logic cg analysis fca http://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stummestumme2007-08-30T16:57:56+02:00fca analysis logic formal concept description attribute exploration dl <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> </span><em>Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, </em><em>page168--178. </em><em>Santa Cruz, USA, </em>(<em>1995</em>)Thu Aug 30 16:57:56 CEST 2007Santa Cruz, USAProceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95168--178Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology1995fca analysis logic formal concept description attribute exploration dl http://www.bibsonomy.org/bibtex/21c8c27c217ba7d78579b7d6297fe2e48/stummestumme2007-07-24T12:45:55+02:00logic logik laws boole thought Boole <span style="color:#555555;">George <a href="http://www.bibsonomy.org/author/Boole">Boole</a> </span>(<em>1853</em>) <em>Also available from Dover, New York 1958, ISBN 0-486-60028-9. . </em>Tue Jul 24 12:45:55 CEST 2007Also available from Dover, New York 1958, ISBN 0-486-60028-9.Investigation of The Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities1853logic logik laws boole thought Boole http://www.bibsonomy.org/bibtex/2d03755fc571c2b7c0d2d6f6e600368f0/stummestumme2006-09-20T19:53:52+02:00knowledge formal logic concept analysis conference myown fca 1998 report information <span style="color:#555555;">Gerd <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> </span><em>Zeitschrift f&#252;r Semiotik</em><em>20(3-4):424</em>(<em>1998</em>)Wed Sep 20 19:53:52 CEST 2006Zeitschrift für Semiotik3-4424Knowledge, {L}ogic, {I}nformation. {C}onference {R}eport.201998knowledge formal logic concept analysis conference myown fca 1998 report information