BibSonomy
::
concept
::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
<
>
Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
Franz
Baader
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95,
page168--178.
Santa Cruz, USA,
(
1995
)
to
exploration
analysis
concept
fca
dl
description
formal
attribute
logic
by
stumme
on Aug 30, 2007, 4:57 PM
URL
|
BibTeX
<
>
publications per page:
5
10
20
50
100
logic exploration
as tag from all users
relations
logic
←
DLs
belief_revision
description-logic
hol
propositional-logic