Towards Description and Optimization of Abstract Machines in an Extension of Prolog.
José F. MoralesManuel CarroManuel V. HermenegildoPublished in: LOPSTR (2006)
Keyphrases
- high level
- global optimization
- optimization algorithm
- optimization problems
- expert systems
- knowledge base
- programming language
- neural network
- abstract machine
- knowledge representation
- special case
- query processing
- logic programming
- web services
- constrained optimization
- learning machines
- joint optimization
- discrete optimization
- prolog programs