1664 search results - page 27 / 333 » Towards Partial Reasoning |
107
Voted
KR
1992
Springer
15 years 5 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...
114
click to vote
CADE
2011
Springer
14 years 1 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
15 years 4 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
15 years 6 months ago
2005
Springer
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer