Transaction Logic with Partially Defined Actions.
Martín RezkMichael KiferPublished in: J. Data Semant. (2012)
Keyphrases
- reasoning about actions
- logic programming
- situation calculus
- modal logic
- concurrency control
- database
- action theories
- data mining
- multi valued
- goal directed
- asynchronous circuits
- classical logic
- transaction management
- automated reasoning
- decision theoretic
- distributed database systems
- transaction data
- human activities
- logic programs
- truth values
- video sequences
- sound and complete axiomatization