Login / Signup
Constructing Conditional Plans by a Theorem-Prover
Jussi Rintanen
Published in:
CoRR (2011)
Keyphrases
</>
theorem prover
conditional plans
theorem proving
automated theorem proving
first order logic
automated reasoning
term rewriting
inference rules
expected utility
natural deduction
formal proof
proof search
artificial intelligence
knowledge representation
sensing actions
data model
evolutionary algorithm