Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts.
Peter ØhrstrømPublished in: ICFCA (2009)
Keyphrases
- formal analysis
- prior knowledge
- formal methods
- temporal data
- spatio temporal
- temporal information
- temporal constraints
- linear temporal logic
- temporal databases
- multi valued
- classical logic
- spatial and temporal
- temporal reasoning
- lightweight
- artificial intelligence
- temporal logic
- logic programming
- set theory
- logical rules
- ban logic