A Formalism for Reasoning about Fair Termination.
Willem P. de RoeverPublished in: Logic of Programs (1981)
Keyphrases
- formal theory
- qualitative spatial
- knowledge representation
- modal operators
- reasoning about physical systems
- causal reasoning
- concurrent actions
- qualitative spatial reasoning
- spatial reasoning
- qualitative reasoning
- termination analysis
- term rewriting
- conceptual graphs
- database
- practical reasoning
- operational semantics
- defeasible argumentation
- tree adjoining grammar
- theoretical framework
- logic programming
- expert systems
- multi agent systems
- case study
- social networks
- databases
- data sets