Owicki-Gries Reasoning for C11 RAR (Artifact).
Sadegh DalvandiSimon DohertyBrijesh DongolHeike WehrheimPublished in: Dagstuhl Artifacts Ser. (2020)
Keyphrases
- knowledge base
- knowledge representation and reasoning
- knowledge representation
- qualitative reasoning
- knowledge processing
- reasoning systems
- search algorithm
- domain knowledge
- reasoning process
- conflicting information
- fuzzy description logics
- logical reasoning
- resource bounded
- reasoning problems
- scientific discovery
- computational properties
- probabilistic logic
- genetic algorithm
- spatial reasoning
- probabilistic reasoning
- evolutionary algorithm
- decision trees
- computer vision
- artificial intelligence