Planning with Effectively Propositional Logic.
Juan Antonio Navarro PérezAndrei VoronkovPublished in: Programming Logics (2013)
Keyphrases
- propositional logic
- belief revision
- first order logic
- quantified boolean formulae
- possibilistic logic
- lattice theory
- heuristic search
- planning problems
- propositional satisfiability
- proof procedure
- domain independent
- belief change
- satisfiability testing
- artificial intelligence
- np complete
- machine learning
- domain knowledge
- ai planning
- relational databases
- knowledge base