General Default Logic.

Yi Zhou Fangzhen Lin Yan Zhang

Published in: LPNMR (2007)

Keyphrases

default logic
default theories
nonmonotonic reasoning
autoepistemic logic
default rules
logic programming
default reasoning
nonmonotonic logics
fixed point
database
database systems
general purpose