Why nonmonotonic logic?

Steven O. Kimbrough Fred Adams

Published in: Decis. Support Syst. (1988)

Keyphrases

nonmonotonic logics
propositional logic
default logic
modal logic
nonmonotonic reasoning
default theories
defeasible logic
decision making
formal specification
logic programming
information systems
general purpose
first order logic
belief revision
default reasoning