Keyphrases
- defeasible reasoning
- nonmonotonic reasoning
- deductive databases
- logic programming
- defeasible logic
- legal reasoning
- query language
- formal semantics
- argumentation systems
- integrity constraints
- conditional logic
- default reasoning
- argumentation frameworks
- nonmonotonic logics
- fine grained
- business processes
- logic programs
- neural network