Login / Signup

Propositional Dynamic Logic with Quantification over Regular Computation Sequences.

Igor Sedlár
Published in: LFCS (2022)
Keyphrases
  • propositional dynamic logic
  • hidden markov models
  • reasoning about actions
  • dynamic logic
  • data sets
  • association rules
  • relational databases
  • quantitative evaluation
  • variable length
  • efficient computation