11 search results - page 1 / 3 » kr 1992 |
KR
1992
Springer
13 years 10 months ago
1992
Springer
KR
1992
Springer
13 years 10 months ago
1992
Springer
An algorithm is presented which eliminates second
KR
1992
Springer
13 years 10 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
1992
Springer
13 years 10 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
KR
1992
Springer
13 years 10 months ago
1992
Springer
Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignificant terms, ...