Modelling discrete optimisation problems inconstraint logic programming.
Peter BarthAlexander BockmayrPublished in: Ann. Oper. Res. (1998)
Keyphrases
- logic programming
- optimisation problems
- optimisation algorithm
- logic programs
- evolutionary computation
- defeasible argumentation
- particle swarm
- benchmark problems
- deductive databases
- knowledge representation
- nonmonotonic reasoning
- programming language
- answer set programming
- logic programming language
- answer sets
- knowledge base
- stable models
- computational logic
- test suite
- constraint logic programming
- inductive logic programming
- default logic
- database
- neural network
- ant colony
- search algorithm
- high level