Keyphrases
- logic programming
- multiple inheritance
- nonmonotonic reasoning
- nonmonotonic logics
- modal logic
- defeasible logic
- default logic
- databases
- disjunctive logic programming
- autoepistemic logic
- multi context systems
- database
- default rules
- data sets
- expert systems
- video sequences
- case study
- information retrieval
- machine learning
- neural network
- strong equivalence