On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic.
Martín RezkMichael KiferPublished in: RR (2011)
Keyphrases
- action language
- reasoning about actions
- action theories
- logic programming
- concurrent actions
- description language
- situation calculus
- action descriptions
- answer set programming
- database
- indirect effects
- domain description
- nonmonotonic reasoning
- classical logic
- logic programs
- dynamic environments
- automated reasoning
- general purpose
- knowledge representation
- expert systems