Keyphrases
- defeasible logic
- default logic
- defeasible reasoning
- extended logic programs
- rule base
- nonmonotonic reasoning
- propositional logic
- legal reasoning
- knowledge representation and reasoning
- first order logic
- business rules
- fixed point
- modal logic
- logic programming
- database
- horn clauses
- rough sets
- general purpose
- fuzzy logic