Keyphrases
- description logics
- expressive description logics
- abductive reasoning
- terminological reasoning
- logic programming
- background knowledge
- execution environment
- reasoning tasks
- causal networks
- belief revision
- quantified boolean formulas
- propositional knowledge base
- machine learning
- logic programs
- incomplete information
- dl lite