Sciweavers

11 search results - page 1 / 3
» kr 1992
Sort
View
KR
1992
Springer
14 years 2 months ago
Quantifier Elimination in Second-Order Predicate Logic
An algorithm is presented which eliminates second
Dov M. Gabbay, Hans Jürgen Ohlbach
KR
1992
Springer
14 years 2 months ago
UCPOP: A Sound, Complete, Partial Order Planner for ADL
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...
J. Scott Penberthy, Daniel S. Weld
KR
1992
Springer
14 years 2 months ago
Conversational Events and Discourse State Change: A Preliminary Report
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...
Massimo Poesio
KR
1992
Springer
14 years 2 months ago
Order of Magnitude Reasoning using Logarithms
Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignificant terms, ...
P. Pandurang Nayak