http://www.bibsonomy.org/burst/user/stumme/logic+explorationBibSonomy BuRST Feed for /user/stumme/logic+exploration2008-07-21T01:39:08+02:00http://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stummestumme2007-08-30T16:57:56+02:00description attribute logic formal fca analysis dl exploration concept <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 Terminology1995description attribute logic formal fca analysis dl exploration concept