Brave Nonmonotonic Inference and Its Kinds.

Alexander Bochman

Published in: Ann. Math. Artif. Intell. (2003)

Keyphrases

nonmonotonic inference
nonmonotonic reasoning
default logic
conditional logic
default reasoning
answer set programming
databases
pairwise
software engineering