PUMA publications for /tag/logic%20explorationhttps://puma.uni-kassel.de/tag/logic%20explorationPUMA RSS feed for /tag/logic%20exploration2024-03-29T00:05:56+01:00Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminologyhttps://puma.uni-kassel.de/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stummestumme2007-08-30T16:57:56+02:00analysis attribute concept description dl exploration fca formal logic <span class="authorEditorList"><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Franz Baader" itemprop="url" href="/author/Franz%20Baader"><span itemprop="name">F. Baader</span></a></span>. </span><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95</span>, </em></span><em>Seite <span itemprop="pagination">168--178</span>. </em><em>Santa Cruz, USA, </em>(<em><span>1995<meta content="1995" itemprop="datePublished"/></span></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 Terminology1995analysis attribute concept description dl exploration fca formal logic