Keyphrases
- description logics
- fuzzy description logics
- abductive reasoning
- incremental learning
- upper bound
- logic programming
- background knowledge
- causal networks
- knowledge base
- abductive logic programming
- propositional knowledge base
- belief revision
- description logic alc
- reasoning tasks
- plan recognition
- computational properties
- modal logic
- logic programs
- semi supervised
- relational databases