Formalizing Nonmonotonic Reasoning Systems.

David W. Etherington

Published in: Artif. Intell. (1987)

Keyphrases

nonmonotonic reasoning
default reasoning
logic programming
default logic
belief revision
nonmonotonic logics
commonsense reasoning
machine learning
distributed systems
relational databases
defeasible logic
conditional logic
abductive reasoning
proof theoretic