Satisfiability planning with Causal Theories.

Norman McCain Hudson Turner

Published in: KR (1998)

Keyphrases

causal theories
answer set programming
computational complexity
satisfiability problem
phase transition
propositional logic
machine learning
expert systems
heuristic search
decision procedures
general logic programs