858 search results - page 31 / 172 » Planning and defeasible reasoning |
JAIR
2007
13 years 8 months ago
2007
CI
2004
13 years 8 months 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
13 years 8 months ago
1999
IEICET
2010
13 years 7 months ago
2010
NMR
2004
Springer
14 years 1 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...