Login / Signup
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability.
Enrico Giunchiglia
Alessandro Massarotto
Roberto Sebastiani
Published in:
AAAI/IAAI (1998)
Keyphrases
</>
satisfiability problem
sat solving
computational complexity
decision support
np complete
database
propositional logic
planning problems
stochastic domains
heuristic search
expert systems
data sets
case study
decision theoretic
goal oriented
sat problem
mixed initiative
real time