Geometric decision procedures and the VC dimension of linear arithmetic theories.
Dmitry ChistikovChristoph HaaseAlessio MansuttiPublished in: LICS (2022)
Keyphrases
- decision procedures
- vc dimension
- modal logic
- concept classes
- sample complexity
- automated reasoning
- theorem proving
- sample size
- lower bound
- upper bound
- conjunctive queries
- inductive inference
- generalization bounds
- integrity constraints
- data management
- inference rules
- concept class
- learning problems
- probability distribution
- expert systems