Multi-Valued Preferential Halpern-Shoham logic for relations of Allen and preferences.

Krystian Adam Jobczyk Antoni Ligeza

Published in: FUZZ-IEEE (2016)

Keyphrases

multi valued
preference relations
temporal logic
truth values
single valued
multi attribute
multiple valued
partial order
logic synthesis
decision theory
boolean functions
modal logic
temporal reasoning
causal models
model checking
normal form
formal theory
motion model
special case
relational databases