Inference Flexibility in Horn Clause Knowledge Bases and the Simplex Method.
Jinchang WangPublished in: J. Autom. Reason. (1993)
Keyphrases
- simplex method
- horn clauses
- knowledge base
- linear programming
- linear program
- linear fractional
- logic programs
- inference rules
- primal dual
- first order logic
- convergence rate
- column generation
- logic programming
- inductive logic programming
- interior point methods
- optimal solution
- database queries
- bayesian networks
- background knowledge
- domain knowledge
- np hard