859 search results - page 8 / 172 » Abduction in Temporal Reasoning |
KR
1992
Springer
14 years 26 days ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
LPKR
1997
Springer
14 years 28 days ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
ECAI
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
DLOG
2009
13 years 6 months ago
2009
