Two Results on Default Logic.

Witold Lukaszewicz

Published in: IJCAI (1985)

Keyphrases

default logic
default theories
nonmonotonic reasoning
default reasoning
logic programming
fixed point
nonmonotonic logics
autoepistemic logic
default rules
extended logic programs
modal logic
classical logic
artificial intelligence
defeasible logic
knowledge base
higher order