Representability in Default Logic.

Paolo Liberatore

Published in: Log. J. IGPL (2005)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
autoepistemic logic
logic programming
nonmonotonic logics
default rules
modal logic
fixed point
defeasible logic
classical logic
boolean functions
truth maintenance systems
natural language
commonsense reasoning