General default logic.

Yi Zhou Fangzhen Lin Yan Zhang

Published in: Ann. Math. Artif. Intell. (2009)

Keyphrases

default logic
default reasoning
default theories
nonmonotonic reasoning
autoepistemic logic
nonmonotonic logics
default rules
fixed point
software engineering
logic programming
classical logic
artificial intelligence
general purpose
graphical models
modal logic