Deciding an Interval Logic with Accumulated Durations.

Martin Fränzle Michael R. Hansen

Published in: TACAS (2007)

Keyphrases

modal logic
logic programming
classical logic
multi valued
machine learning
asynchronous circuits
probabilistic logic
logical framework
set theory
making decisions
predicate logic
interval data
type fuzzy logic systems
interval analysis
deontic logic
rough sets
case study
decision trees
search engine