17 search results - page 1 / 4 » Anytime Approximate Modal Reasoning |
AAAI
1998
13 years 6 months ago
1998
JANCL
2002
13 years 4 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
JELIA
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
KR
2000
Springer
13 years 8 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
SOFTWARE
2002
13 years 4 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...