Semantical Considerations on Nonmonotonic Logic.

Robert C. Moore

Published in: Artif. Intell. (1985)

Keyphrases

nonmonotonic logics
default logic
modal logic
propositional logic
nonmonotonic reasoning
classical logic
defeasible logic
default reasoning
default theories
neural network
formal specification
multi context systems
rational agents
control system
pairwise
genetic algorithm
machine learning