Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies.
Daniel WrightSadegh DalvandiMark BattyBrijesh DongolPublished in: Formal Aspects Comput. (2023)
Keyphrases
- control flow
- reasoning systems
- knowledge base
- optimal solution
- decision making
- knowledge representation and reasoning
- finite state machines
- database
- rule based reasoning
- reasoning process
- fixpoint
- reasoning tasks
- meta level
- dependency graph
- knowledge representation
- dependency graphs
- spatial reasoning
- stable model semantics
- reasoning mechanisms
- deductive reasoning
- uncertain information
- computer programs
- probabilistic reasoning
- temporal reasoning
- temporal information
- description logics
- artificial intelligence