Ordered Chaining Calculi for First-Order Theories of Transitive Relations.
Leo BachmairHarald GanzingerPublished in: J. ACM (1998)
Keyphrases
- theory revision
- logical theories
- spatial relations
- horn clauses
- semantics of logic programs
- transitive closure
- theoretical framework
- semantic relations
- qualitative spatial reasoning
- first order logic
- preference relations
- expressive power
- logical formulas
- sequent calculi
- inference rules
- conditional logic
- action theories
- point algebra
- higher order