Argument Reduction of Constrained Horn Clauses Using Equality Constraints.
Ryo IkedaRyosuke SatoNaoki KobayashiPublished in: APLAS (2023)
Keyphrases
- horn clauses
- equality constraints
- quadratic programming problems
- linear constraints
- inference rules
- constrained optimization problems
- decomposition algorithm
- first order logic
- nonlinear programming
- logic programs
- complex valued
- optimal solution
- inductive logic programming
- convex quadratic optimization
- database queries
- penalty function
- machine learning
- real valued
- background knowledge
- logic programming
- linear programming
- optimization problems
- domain knowledge
- genetic algorithm
- database