Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning.
Philippe BalbianiJean-François CondottaPublished in: FroCoS (2002)
Keyphrases
- temporal reasoning
- temporal knowledge
- temporal logic
- qualitative spatial
- computational complexity
- temporal constraints
- temporal information
- qualitative spatial reasoning
- spatial reasoning
- first order logic
- path consistency
- qualitative and quantitative
- constraint networks
- model checking
- propositional logic
- reasoning tasks
- mazurkiewicz traces
- truth maintenance systems
- human robot interaction
- modal logic
- satisfiability problem
- belief revision
- decision problems
- consistency checking
- temporal abstractions
- special case