Static ownership inference for reasoning against concurrency errors.
Ana MilanovaYin LiuPublished in: ICSE Companion (2009)
Keyphrases
- inference engine
- deductive reasoning
- plausible reasoning
- abductive inference
- inference process
- evidential reasoning
- probabilistic reasoning
- hypothetical reasoning
- logical inference
- reasoning under uncertainty
- backward chaining
- representing knowledge
- reasoning systems
- nonmonotonic inference
- automated reasoning
- bayesian networks
- consistency checking
- knowledge representation
- concurrency control
- model based reasoning
- qualitative reasoning
- bayesian inference
- abductive reasoning
- database systems
- possibilistic networks
- belief networks
- probabilistic inference
- legal reasoning
- inference mechanism
- analogical reasoning
- inference rules
- dynamic bayesian networks
- artificial intelligence
- error detection
- knowledge base