Computing with Default Logic.

Pawel Cholewinski V. Wiktor Marek Miroslaw Truszczynski Artur Mikitiuk

Published in: Artif. Intell. (1999)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
nonmonotonic logics
autoepistemic logic
default rules
modal logic
fixed point
defeasible logic
classical logic
extended logic programs
database
dynamic programming
propositional logic