Login / Signup
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