Keyphrases
- defeasible reasoning
- nonmonotonic reasoning
- logic programming
- deductive databases
- defeasible logic
- formal semantics
- legal reasoning
- query language
- conditional logic
- argumentation systems
- integrity constraints
- information systems
- logic programs
- natural language
- default reasoning
- nonmonotonic logics
- object oriented
- rule base
- machine learning
- multi agent