Keyphrases
- dynamic logic
- proof theory
- reasoning problems
- description logics
- default reasoning
- modal logic
- automated reasoning
- decision procedures
- reasoning about actions
- modal operators
- imperative programs
- first order logic
- reasoning tasks
- dl lite
- constraint satisfaction problems
- computational properties
- knowledge base
- probabilistic reasoning
- propositional dynamic logic
- ontology languages
- data complexity
- tree decomposition
- expressive power
- model checking
- semantic web
- knowledge representation