On the Effectiveness of CNF and DNF Representations in Contingent Planning.

Son Thanh To Enrico Pontelli Tran Cao Son

Published in: IJCAI (2011)

Keyphrases

boolean functions
decision support
higher level
goal oriented
sat solving
learning algorithm
uniform distribution
ai planning
neural network
decision trees
relational databases
constraint satisfaction problems
heuristic search
planning problems
learning theory
membership queries