859 search results - page 62 / 172 » Abduction in Temporal Reasoning |
135
Voted
KR
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
123
click to vote
ILP
2003
Springer
15 years 6 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
139
Voted
AIIA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
114
click to vote
BVAI
2007
Springer
15 years 2 months ago
2007
Springer
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus...
COMMA
2006
15 years 2 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...