Login / Signup
More on Stratified Default Theories.
Nicole Bidoit
Christine Froidevaux
Published in:
ECAI (1988)
Keyphrases
</>
default theories
default logic
autoepistemic logic
answer set programming
nonmonotonic logics
revision operators
default rules
nonmonotonic reasoning
logic programming
fixed point
classical logic
database