1664 search results - page 27 / 333 » Towards Partial Reasoning |
KR
1992
Springer
13 years 11 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...
CADE
2011
Springer
12 years 7 months ago
2011
Springer
This paper describes two algorithms for the compression of propositional resolution proofs. The first algorithm, RecyclePivotsWithIntersection, performs partial regularization, re...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
CSL
2005
Springer
14 years 26 days ago
2005
Springer
LPNMR
2004
Springer
14 years 21 days ago
2004
Springer