Nonmonotonic Reasoning, Preferential Models and Cumulative Logics.

Sarit Kraus Daniel Lehmann Menachem Magidor

Published in: Artif. Intell. (1990)

Keyphrases

nonmonotonic reasoning
conditional logic
causal inference
logic programming
default logic
nonmonotonic inference
nonmonotonic logics
default reasoning
autoepistemic logic
possibility theory
probabilistic model
database
belief revision
commonsense reasoning
experimental data
proof theoretic
machine learning