Proving Quantified Literals in Defeasible Logic.
David BillingtonPublished in: Australian Joint Conference on Artificial Intelligence (1997)
Keyphrases
- defeasible logic
- universally quantified
- defeasible reasoning
- extended logic programs
- rule base
- business rules
- knowledge representation and reasoning
- legal reasoning
- nonmonotonic reasoning
- situation calculus
- default logic
- databases
- real time
- horn clauses
- reverse engineering
- answer sets
- artificial intelligence
- neural network