Some Progress in Satisfiability Checking for Difference Logic.

Scott Cotton Eugene Asarin Oded Maler Peter Niebert

Published in: FORMATS/FTRTFT (2004)

Keyphrases

logic programming
predicate logic
multi valued
database
real time
data sets
computational properties
epistemic logic
databases
knowledge base
knowledge representation
modal logic
logical framework
classical logic
formal theory
sound and complete axiomatization