Iterative and Incremental Model Generation by Logic Solvers.
Oszkár SemeráthAndrás VörösDániel VarróPublished in: FASE (2016)
Keyphrases
- data driven
- incremental learning
- classical logic
- logic programming
- modal logic
- incremental clustering
- multi valued
- automated reasoning
- natural deduction
- iterative methods
- predicate logic
- sat solvers
- quantified boolean formulas
- proof theory
- delay insensitive
- probabilistic logic
- sound and complete axiomatization
- computational properties
- database
- single pass
- machine learning
- data sets