Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms.
David A. CohenMartin C. CooperPeter JeavonsPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- horn clauses
- optimization problems
- evolutionary algorithm
- inference rules
- first order logic
- cost function
- inductive logic programming
- logic programs
- computational complexity
- conceptual clustering
- pairwise
- metaheuristic
- combinatorial optimization
- feature space
- learning algorithm
- database queries
- objective function
- keywords
- traveling salesman problem
- artificial intelligence
- machine learning
- databases