Owicki-Gries Reasoning for C11 RAR.
Sadegh DalvandiSimon DohertyBrijesh DongolHeike WehrheimPublished in: ECOOP (2020)
Keyphrases
- reasoning process
- reasoning systems
- meta level
- qualitative reasoning
- fuzzy description logics
- logical reasoning
- rule based reasoning
- model based reasoning
- reasoning tasks
- learning algorithm
- probabilistic reasoning
- spatial reasoning
- model based diagnosis
- semantic web
- case based reasoning
- legal reasoning
- knowledge representation
- approximate reasoning
- multi agent
- resource bounded
- knowledge base
- reasoning processes
- decision making
- deductive reasoning
- social networks