Reverse Exchange for Concurrency and Local Reasoning.
Han-Hing DangBernhard MöllerPublished in: MPC (2012)
Keyphrases
- knowledge base
- reasoning systems
- meta level
- artificial intelligence
- database systems
- model based reasoning
- automated reasoning
- concurrency control
- probabilistic reasoning
- analogical reasoning
- knowledge representation and reasoning
- nested transactions
- information exchange
- knowledge representation
- resource bounded
- reasoning problems
- rule based reasoning
- database
- reasoning mechanisms
- causal reasoning
- probabilistic logic
- data flow
- fuzzy logic
- bayesian networks
- databases
- data sets