Extending Transaction Logic with External Actions.
Ana Sofia GomesJosé Júlio AlferesPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- reasoning about actions
- logic programming
- database
- concurrent execution
- classical logic
- internal and external
- modal logic
- predicate logic
- decision theoretic
- multi valued
- action theories
- plan recognition
- initial state
- human actions
- computational properties
- transaction data
- intelligent behavior
- internal state
- database transactions
- markov decision processes