Keyphrases
- defeasible logic
- forward chaining
- backward chaining
- defeasible reasoning
- logic programming
- extended logic programs
- knowledge representation and reasoning
- nonmonotonic reasoning
- rule base
- business rules
- nonmonotonic logics
- default logic
- knowledge representation
- expert systems
- legal reasoning
- error rate
- data mining
- logic programs
- high level
- knowledge base
- theorem proving
- fine grained
- access control
- programming language
- artificial intelligence
- machine learning
- real time