A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra.
Denis GagnéAndré TrudelPublished in: BPSC (2009)
Keyphrases
- interval algebra
- temporal relations
- temporal reasoning
- reasoning tasks
- temporal constraints
- reasoning problems
- model theoretic
- temporal information
- description logics
- constraint propagation
- constraint networks
- path consistency
- point algebra
- logic programming
- qualitative spatial and temporal reasoning
- operational semantics
- deductive databases
- maximal tractable
- formal semantics
- decision procedures
- qualitative and quantitative
- computational properties
- answer set programming
- automated reasoning
- default reasoning
- theorem proving
- constraint programming