115 search results - page 1 / 23 » Conceptual Clustering in a First Order Logic Representation |
ECAI
1992
Springer
13 years 8 months ago
1992
Springer
ECML
2007
Springer
13 years 11 months ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
CJ
2000
13 years 4 months ago
2000
ICCS
1995
Springer
13 years 8 months ago
1995
Springer
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...