72 search results - page 5 / 15 » ecai 2000 |
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
101
click to vote
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Discovering related concepts in a multi-agent system among agents with diverse ontologies is difficult using existing knowledge representation languages and approaches. We describ...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...