Modal Nonmonotonic Logics: Ranges, Characterization, Computation.

V. Wiktor Marek Grigori F. Shvarts Miroslaw Truszczynski

Published in: KR (1991)

Keyphrases

nonmonotonic logics
modal logic
nonmonotonic reasoning
default logic
propositional logic
default theories
belief revision
defeasible logic
autoepistemic logic
machine learning
logic programming
temporal logic
neural network
high level
formal specification
default reasoning