Keyphrases
- ripple down rules
- knowledge acquisition
- logic programming
- computational properties
- knowledge representation formalisms
- knowledge base
- knowledge representation
- inductive learning
- nonmonotonic reasoning
- automated reasoning
- classical logic
- description logics
- machine translation
- multi valued
- reasoning tasks
- logic programs
- proof theory
- abductive reasoning
- incremental knowledge acquisition
- defeasible logic
- default reasoning
- modal logic
- action theories
- artificial intelligence
- query translation
- pattern recognition
- inductive logic programming