Decidability for Justification Logics Revisited.
Samuel BucheliRoman KuznetsThomas StuderPublished in: TbiLLC (2011)
Keyphrases
- decision procedures
- modal logic
- description logics
- expressive power
- computational properties
- query answering
- inference rules
- number restrictions
- propositional calculus
- artificial intelligence
- classical logic
- query containment
- theorem proving
- proof theory
- type checking
- nonmonotonic logics
- real time
- expert systems
- genetic algorithm