A Proof of the Compositions of Time Interval Relations.

Fadoua Ghourabi Kazuko Takahashi

Published in: CoRR (2018)

Keyphrases

theorem proving
temporal relations
real numbers
interval data
linear logic
real time
data mining
data structure
pairwise
natural language processing
semantic relations
preference relations
linguistic variables
type fuzzy logic systems