Allen's Interval Calculus.

Fadoua Ghourabi

Published in: Arch. Formal Proofs (2016)

Keyphrases

interval algebra
endpoints
automated deduction
data sets
temporal constraints
real numbers
real world
decision trees
interval data