Keyphrases
- linear complexity
- defeasible logic
- default logic
- defeasible reasoning
- propositional logic
- extended logic programs
- nonmonotonic reasoning
- rule base
- business rules
- first order logic
- knowledge representation and reasoning
- logic programming
- neural network
- database
- modal logic
- relational databases
- default reasoning
- fine grained
- legal reasoning
- decision trees
- machine learning