Sciweavers

1966 search results - page 169 / 394
» Description Logics and Planning
Sort
View
DLOG
2003
15 years 7 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
KI
2002
Springer
15 years 6 months ago
Incremental Fuzzy Decision Trees
Abstract. We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification an...
Marina Guetova, Steffen Hölldobler, Hans-Pete...
ECML
2007
Springer
16 years 19 days ago
Generalization-Based Similarity for Conceptual Clustering
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
DLOG
1996
15 years 7 months ago
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
Houria Mihoubi, Ana Simonet, Michel Simonet
ICTAI
2003
IEEE
15 years 11 months ago
Equuleus: Presentation from Legacy Documents
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
Susan Weber McRoy, Syed S. Ali, Nipat Nalamlieng