Complexity of Recursive Normal Default Logic.

V. Wiktor Marek Anil Nerode Jeffrey B. Remmel

Published in: Fundam. Informaticae (1997)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic logics
nonmonotonic reasoning
logic programming
autoepistemic logic
default rules
modal logic
fixed point
extended logic programs
image segmentation
machine learning
software engineering