A First-Order Policy Language for History-Based Transaction Monitoring.
Andreas BauerRajeev GoréAlwen TiuPublished in: ICTAC (2009)
Keyphrases
- real time
- monitoring system
- natural language
- language learning
- higher order
- programming language
- model theoretic
- conditional logic
- optimal policy
- neural network
- database
- concurrency control
- linear temporal logic
- database systems
- context free
- operational semantics
- early warning
- action selection
- transaction processing
- temporal logic
- first order logic
- description logics