Conservative Expansion Concepts for Default Theories.

Grigoris Antoniou Cara MacNish Norman Y. Foo

Published in: PRICAI (1996)

Keyphrases

default theories
default logic
nonmonotonic logics

answer set programming
default reasoning
database

graphical models
revision operators
data model

background knowledge
autoepistemic logic
default rules