4617 search results - page 253 / 924 » Automation of Diagrammatic Reasoning |
194
click to vote
LPNMR
1993
Springer
15 years 10 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
154
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
198
click to vote
ICCBR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Acquiring adaptation knowledge for case-based reasoning systems is a challenging problem. Such knowledge is typically elicited from domain experts or extracted from the c...
177
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Textual case-based reasoning (TCBR) provides the ability to reason with domain-specific knowledge when experiences exist in text. Ideally, we would like to find an inexpensive way ...
155
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...