Login / Signup
Taxonomic Default Theory.
Christine Froidevaux
Published in:
ECAI (1986)
Keyphrases
</>
default theories
default logic
revision operators
default reasoning
nonmonotonic logics
autoepistemic logic
nonmonotonic reasoning
default rules
theorem prover
answer set programming
classical logic
background knowledge
belief revision
logic programming
artificial intelligence
modal logic
inference rules
databases