Reasoning about Actions Meets Strategic Logics.
Andreas HerzigEmiliano LoriniDirk WaltherPublished in: LORI (2013)
Keyphrases
- reasoning about actions
- propositional dynamic logic
- logic programming
- situation calculus
- action language
- dynamic logic
- case study
- logic programs
- knowledge management
- modal logic
- classical logic
- indirect effects
- decision making
- minimal change
- fluent calculus
- expressive power
- action sequences
- action theories
- relational databases
- nonmonotonic logics
- software engineering
- expert systems