Semantical Considerations on Nonmonotonic Logic.

Robert C. Moore

Published in: IJCAI (1983)

Keyphrases

nonmonotonic logics
modal logic
default logic
propositional logic
nonmonotonic reasoning
classical logic
default theories
defeasible logic
neural network
logic programming
formal specification
rational agents
artificial intelligence
programming language
modal operators