Four-Valued Semantics for Default Logic.

Anbu Yue Yue Ma Zuoquan Lin

Published in: Canadian Conference on AI (2006)

Keyphrases

default logic
valued semantics
default theories
nonmonotonic reasoning
logic programming
default reasoning
nonmonotonic logics
fixed point
autoepistemic logic
default rules
modal logic
logic programs
artificial intelligence
expert systems
programming language