Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
Antonio MoralesIsabel NavarreteGuido SciaviccoPublished in: EUROCAST (2007)
Keyphrases
- spatial reasoning
- temporal logic
- modal logic
- linear temporal logic
- predicate logic
- model checking
- default logic
- verification method
- formal theory
- model checker
- bounded model checking
- transition systems
- modal operators
- satisfiability problem
- spatial relations
- automata theoretic
- temporal reasoning
- topological relations
- epistemic logic
- inference rules
- spatial knowledge
- computation tree logic
- concurrent systems
- linear time temporal logic
- temporal knowledge
- mazurkiewicz traces
- qualitative spatial reasoning
- formal verification
- first order logic
- knowledge compilation
- formal specification
- belief revision
- logic programming
- logical formulas
- automated reasoning
- situation calculus
- image sequences