A Dynamic Logic for Learning Theory.
Alexandru BaltagNina GierasimczukAybüke ÖzgünAna Lucia Vargas SandovalSonja SmetsPublished in: DALI@TABLEAUX (2017)
Keyphrases
- learning theory
- dynamic logic
- modal logic
- computational learning theory
- reasoning about actions
- imperative programs
- theoretical computer science
- concept classes
- concept class
- automata theory
- widely applicable
- propositional dynamic logic
- learning theories
- database systems
- generalization bounds
- pac learning
- theoretical analysis