Notes on View Synchronization using Default Logic.

Giuseppe Polese Mario Vacca

Published in: SEBD (2009)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
nonmonotonic logics
autoepistemic logic
default rules
fixed point
modal logic
classical logic
truth maintenance systems
defeasible logic
dynamic programming