Keyphrases
- action models
- coalition logic
- logical framework
- model checking
- modal logic
- planning domains
- partially observable
- ai planning
- goal directed
- pspace complete
- transfer learning
- human actions
- belief revision
- satisfiability problem
- inference rules
- integer programming
- objective function
- heuristic search
- text classification
- accurate models
- np hard
- active learning
- spatio temporal