Digitizing Interval Duration Logic.

Gaurav Chakravorty Paritosh K. Pandya

Published in: CAV (2003)

Keyphrases

multi valued
interval analysis
logic programming
modal logic
data sets
real world
multi agent systems
expert systems
knowledge representation
automated reasoning
formal language
predicate logic
deductive reasoning