State-based Discovery and Verification of Propositional Planning Invariants.

Lenhart K. Schubert Proshanto Mukherji

Published in: IC-AI (2006)

Keyphrases

propositional logic
heuristic search
state space
decision support
scientific discovery
strips planning
color images
domain independent
pattern discovery
ai planning
causal graph