Login / Signup
Splitting a Default Theory.
Hudson Turner
Published in:
AAAI/IAAI, Vol. 1 (1996)
Keyphrases
</>
default theories
default logic
default reasoning
nonmonotonic reasoning
nonmonotonic logics
revision operators
answer set programming
default rules
modal logic
autoepistemic logic
logic programming
classical logic
knowledge representation
constraint satisfaction
expert systems
artificial intelligence
database