Hybrid Propositional Encodings of Planning.

Amol Dattatraya Mali

Published in: AAAI/IAAI (1999)

Keyphrases

planning problems
strips planning
causal graph
ai planning
pseudo boolean constraints
propositional logic
mixed initiative
sat encodings
plan recognition
non binary
domain independent
planning systems
orders of magnitude
probabilistic planning
sat solving
decision support
neural network