7 search results - page 1 / 2 » kr 1991 |
KR
1991
Springer
13 years 9 months ago
1991
Springer
KR
1991
Springer
13 years 9 months ago
1991
Springer
KR
1991
Springer
13 years 9 months ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
KR
1992
Springer
13 years 9 months ago
1992
Springer
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have co...
KR
1991
Springer
13 years 9 months ago
1991
Springer
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...