A genetic approach to computing independent AND parallelism in logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1240 LNCS, Issue , 1997, Pages 566-575

  Vela, Camino R ^a   Alonso, Cesar ^a   Varela, Ramiro ^a   Puente, Jorge ^a  

^a UNIVERSITY OF OVIEDO   (Spain)

Author keywords

Evolutive optimization; Genetic algorithms; Independent AND parallelism; Parallel logic programming

Indexed keywords

COMPUTATION THEORY; GENETIC ALGORITHMS; LOGIC PROGRAMMING; NEURAL NETWORKS;

COMMON SOURCE; GENETIC APPROACH; HEURISTIC STRATEGY; INDEPENDENT AND PARALLELISMS; LOGIC PROGRAMS; PARALLEL LOGIC PROGRAMMING; PARTIAL ORDER; SUBGOALS;

COMPUTER CIRCUITS;

EID: 84902204352     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0032516     Document Type: Conference Paper

References (15)

1. [Con83] Conery, J. S. The AND/OR Process Model for Parallel Interpretation of Logic Programs. Ph. D. Th.. Dpto. Inf. and Comp. Science. Univ. California. Irvine. 1983.
2. [DeG84] DeGroot, D. Restricted AND-Parallelism. Procs. of the Int. Conf. on Fifth Generation Comp. Systems. North Holland. pp. 471-478. 1984.
3. [De189] Delcher, A. and Kasif, S. Some Result on the Complexity of Exploiting Data Dependency in Parallel Logic Programs. JLP, Vol. 6, pp. 229-241. 1989.
4. [Go189] Goldbcrg, D. E. Genetic Algorithms in Search, Optimization & Machine Learning. Addison-Wesley, 1989.
5. [Kalgl] Kale, L. V. The REDUCE-OR Process Model for Parallel Interpretation of Logic Programs. The Journal of Logic Prog. Vol. 11, pp. 55-84. 1991.
6. [Lawgl] Lawrence, D. Handbook of Genetic Algorithms. Van Nostrand Reinhold, 1991.
7. [Mar95] Marfn, F. J.; Sandoval, F. Disefuo de Redes Neuronales Artificiales Mediante Algoritmos Geneticos. Computar Neuronal. Ed: Senen Barro y Jose Mira, Universidad de Santiago, pp 385-424. 1995.
8. [Mic94] Michalewicz, Z. Genetic Algorithms + Data Structures = Evolution Programs. Second, Etended Edition, Springer-Verlag. 1994.
9. [Mut90] Muthukumar, K. and Hermenegildo, M. The CDG, UDG, and MEL Methods for Automatic Compile-Time Parallelization of Logic Programs for Independent And-Parallelism. ICLP'90, pp. 221-237. MIT Press, Jun. 1990.
10. [Rie96] Riesco Pelaez, F. Optimization of the Initial Generation In the Solving of the Travelling Salesman Problem with a Genetic Algorithm. (ITHURS' 96), pp. 161-167. 1996.
11. [Var94] Varela, R. El Modelo RPS para la Gestidn del Paralelismo AND Independiente en Programas Legicos. Proccexiings of the 1994 Joint Conf. on Declarative Prog.ng GULP-PRODE'94, pp. 251-265. 1994.
12. [Var95a] Varela, R., Sierra, E., Jimenez, L. y Vela, C. R. Combinacidn de Soluciones Parciales en Programacidn Ldgica Paralela. C-AEPIA'95. Alicante. 1995.
13. [Var95b] Varela, R. Un Modelo para el Calculo Paralelo de Deducciones en Legica de Predicados. Tesis Doctoral. Dpto. de Matemaiticas, Univ. Oviedo. 1995.
14. [Var96a] Varela, R. and Vela, C. R. AND/OR Trees for Parallel Deductions, ITHURS'96. Leen, Spain. July 1996.
15. [Var96b] Varela, R.; Vela, C. R. and Puente, J. Efficient Producer/Consumer Parallelism in Logic Programming. APPIA-GULP-PRODE'96. San Sebastian.. July 1996.