Keyphrases
- horn clauses
- boolean formula
- first order logic
- convex quadratic programming
- inference rules
- inductive logic programming
- quadratic programming
- conceptual clustering
- logic programs
- set of linear equations
- database queries
- data sets
- linear systems
- weighted max sat
- highly non linear
- jigsaw puzzle
- linear constraints
- artificial intelligence
- active learning
- decision trees
- machine learning