858 search results - page 31 / 172 » Planning and defeasible reasoning |
JAIR
2007
15 years 20 days ago
2007
123
Voted
CI
2004
15 years 18 days ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
AIEDAM
1999
15 years 13 days ago
1999
64
Voted
IEICET
2010
14 years 11 months ago
2010
108
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...