431 search results - page 16 / 87 » R-calculus: A Logical Approach for Knowledge Base Maintenanc... |
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...
IJCAI
1989
13 years 9 months ago
1989
Is there one logical de nition of diagnosis? In this paper I argue that the answer to this question is \no". This paper is about the pragmatics of using logic for diagnosis w...
FLAIRS
2009
13 years 6 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
UAI
2004
13 years 10 months ago
2004
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
AIIA
1997
Springer
14 years 24 days ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...