On the Hybrid Propositional Plan Encodings.

Amol Dattatraya Mali

Published in: Artificial Intelligence and Soft Computing (2000)

Keyphrases

strips planning
propositional logic
sat encodings
pseudo boolean constraints
first order logic
plan generation
bayesian networks
boolean satisfiability
search algorithm
default logic
plan recognition
multi valued
plan execution
hybrid approaches