Deductive Generalization in a Default Logic Setting.

Philippe Besnard Éric Grégoire

Published in: Nonmonotonic and Inductive Logic (1991)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
autoepistemic logic
nonmonotonic logics
logic programming
default rules
fixed point
modal logic
defeasible logic
object oriented
classical logic
description logics
incomplete information