Keyphrases
- defeasible logic
- extended logic programs
- business rules
- forward chaining
- defeasible reasoning
- rule base
- production rules
- highly expressive
- incomplete information
- rule sets
- default logic
- classification rules
- answer sets
- neural network
- conflict resolution
- nonmonotonic reasoning
- legal reasoning
- fine grained
- logic programming
- knowledge acquisition
- association rules
- information systems
- model checking
- knowledge representation and reasoning