A fast algorithm and datalog inexpressibility for temporal reasoning.
Manuel BodirskyJan KáraPublished in: ACM Trans. Comput. Log. (2010)
Keyphrases
- temporal reasoning
- deductive databases
- expressive power
- temporal constraints
- qualitative and quantitative
- datalog programs
- query answering
- query language
- spatial reasoning
- temporal information
- logic programming
- reasoning tasks
- event calculus
- temporal constraint networks
- integrity constraints
- transitive closure
- uncertainty management
- temporal knowledge
- series parallel
- constraint networks
- temporal relations
- temporal intervals
- data complexity
- answer sets
- first order logic
- logic programs