11 search results - page 1 / 3 » kr 1992 |
KR
1992
Springer
14 years 2 months ago
1992
Springer
KR
1992
Springer
14 years 2 months ago
1992
Springer
An algorithm is presented which eliminates second
KR
1992
Springer
14 years 2 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
14 years 2 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
14 years 2 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, ...