Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning.
Norihiro KamidePublished in: Reports Math. Log. (2017)
Keyphrases
- temporal reasoning
- temporal constraints
- linear time temporal logic
- temporal information
- reasoning tasks
- qualitative and quantitative
- constraint networks
- temporal knowledge
- temporal constraint networks
- model checking
- path consistency
- temporal relations
- spatial reasoning
- knowledge base
- temporal logic
- logic programming
- fixed point
- image sequences
- sequent calculus