Algebras of Intervals and a Logic of Conditional Assertions.

Published in: J. Philos. Log. (2004)

Keyphrases

conditional logic
relation algebra
modal logic
interval algebra
boolean algebra
knowledge base
logic programming
logical framework
classical logic
predicate logic
random field model
spatial reasoning
automated reasoning
epistemic logic
belief revision
interval data
nonmonotonic inference
learning algorithm