Three-Valued Nonmonotonic Logic.

Published in: ISMVL (1993)

Keyphrases

nonmonotonic logics
modal logic
default logic
propositional logic
nonmonotonic reasoning
defeasible logic
default theories
logic programming
database
image segmentation
expert systems
belief revision
temporal logic
modal operators