DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications.
Benjamin N. GrosofPublished in: AAAI/IAAI (1999)
Keyphrases
- logic programs
- default rules
- logic programming
- default logic
- logic programs with negation
- nonmonotonic reasoning
- default reasoning
- default theories
- commonsense reasoning
- stable models
- answer set programming
- possibility theory
- answer sets
- background knowledge
- fixpoint
- deductive databases
- positive examples
- reasoning tasks
- nonmonotonic logics
- autoepistemic logic
- belief revision
- classical logic
- computational properties
- probabilistic reasoning
- event calculus
- partial order
- machine learning