Local Reasoning for Storable Locks and Threads.
Alexey GotsmanJosh BerdineByron CookNoam RinetzkyMooly SagivPublished in: APLAS (2007)
Keyphrases
- reasoning systems
- knowledge base
- model based reasoning
- scientific discovery
- consistency checking
- automated reasoning
- qualitative reasoning
- deductive reasoning
- resource bounded
- multi threaded
- analogical reasoning
- causal reasoning
- computational properties
- reasoning process
- meta level
- concurrency control
- social networks
- databases
- database
- probabilistic reasoning
- reasoning tasks
- knowledge representation
- domain knowledge
- data model
- data structure
- formal models
- bayesian networks
- information systems
- neural network
- data sets