Learning Strategies for Mechanised Building of Decision Procedures.
Mateja JamnikPredrag JanicicPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- learning strategies
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- online learning
- active learning
- conjunctive queries
- satisfiability problem
- presburger arithmetic
- temporal logic
- graphical models
- probabilistic model
- data sources
- decision trees
- databases
- instructional materials
- quantified boolean formulas
- data sets