Constructing Conditional Plans by a Theorem-Prover.

Published in: J. Artif. Intell. Res. (1999)

Keyphrases

theorem prover
conditional plans
automated reasoning
first order logic
theorem proving
inference rules
expected utility
term rewriting
automated theorem proving
formal proof
natural deduction
proof search
decision theory
learning algorithm
decision theoretic
sensing actions