1021 search results - page 1 / 205 » Concepts in Proof Planning |
BIRTHDAY
2000
Springer
14 years 27 days ago
2000
Springer
AISC
2004
Springer
14 years 1 months ago
2004
Springer
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fa...
AIPS
2007
13 years 11 months ago
2007
We propose an approach to transformational planning and learning of everyday activity. This approach is targeted at autonomous robots that are to perform complex activities such a...
ASE
2006
13 years 8 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
ICDE
2009
IEEE
14 years 3 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...