Quantitative Reasoning for Proving Lock-Freedom.
Jan HoffmannMichael MarmarZhong ShaoPublished in: LICS (2013)
Keyphrases
- knowledge base
- automated reasoning
- reasoning process
- knowledge representation
- probabilistic logic
- concurrency control
- model based reasoning
- quantitative and qualitative
- reasoning systems
- logical framework
- qualitative reasoning
- resource bounded
- reasoning mechanism
- reasoning engine
- logical reasoning
- reasoning tasks
- knowledge representation and reasoning
- computational properties
- data sets
- qualitative and quantitative
- case based reasoning
- genetic algorithm
- neural network