Dynamic logic of parallel propositional assignments and its applications to planning.
Andreas HerzigFrédéric MarisJulien VianeyPublished in: IJCAI (2019)
Keyphrases
- dynamic logic
- classical first order logic
- first order logic
- modal logic
- strips planning
- planning problems
- imperative programs
- satisfiability testing
- causal graph
- parallel processing
- plan recognition
- shared memory
- reasoning about actions
- logic programming
- decision theoretic
- ai planning
- propositional logic
- domain independent
- knowledge base
- heuristic search
- agent programming
- sufficient conditions
- propositional dynamic logic
- programming language
- object oriented