Modal Nonmonotonic Logics: Ranges, Characterization, Computation.

V. Wiktor Marek Grigori F. Shvarts Miroslaw Truszczynski

Published in: J. ACM (1993)

Keyphrases

nonmonotonic logics
modal logic
propositional logic
default logic
nonmonotonic reasoning
defeasible logic
temporal logic
default theories
autoepistemic logic
knowledge base
state space
first order logic
qualitative and quantitative
inference rules
default reasoning