Keyphrases
- inheritance reasoning
- default logic
- nonmonotonic logics
- expressive power
- default reasoning
- defeasible logic
- tableau calculus
- nonmonotonic reasoning
- deontic logic
- propositional calculus
- databases
- defeasible reasoning
- logic programming
- neural network
- update semantics
- theoretically sound
- modal logic
- epistemic logic
- genetic algorithm
- artificial intelligence
- legal reasoning
- information systems
- image sequences
- case based reasoning