Keyphrases
- description logics
- computational properties
- probability theory
- probability distribution
- query containment
- knowledge base
- quantum computation
- logic programming
- automata theoretic
- automated reasoning
- classical logic
- modal logic
- query answering
- predicate logic
- artificial intelligence
- decision procedures
- set theory
- knowledge representation