Considerations on default logic: an alternative approach.

Witold Lukaszewicz

Published in: Comput. Intell. (1988)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
autoepistemic logic
logic programming
nonmonotonic logics
default rules
fixed point
modal logic
classical logic
extended logic programs
logic programs
commonsense reasoning
positive and negative
object oriented
knowledge representation