Login / Signup

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic.

Linh Anh Nguyen
Published in: Fundam. Informaticae (2016)
Keyphrases
  • propositional dynamic logic
  • upper bound
  • description logics
  • query processing
  • modal logic
  • database
  • expressive power
  • functional dependencies
  • prefetching
  • access patterns
  • reasoning about actions