School of Informatics AUTh
T. Reynolds, P. Kefalas, “BRAVE: An OR-Parallel dialect of Prolog and its Application to AI”, Proc. 1st and 2nd International Conference in Logic Programming in Soviet Union, Springer-Verlag, LNAI 592, 1991.
P. Kefalas, T. Reynolds, “Controlling Search with meta-BRAVE”, Proc. ICLP'91 Workshop in Parallel Execution of Logic Programs, A. Beaumont and G. Gupta (Eds.), Springer-Verlag, LNCS 569, 1991.
P. Kefalas, T. Reynolds, “Hill-Climbing and Genetic Algorithms coded using OR-parallel Logic plus Meta-Control”, Proc. IJCAI'91 1st International Workshop on Parallel Processing for AI, 1991.
T. Reynolds, P. Kefalas, “OR-Parallel Prolog and Search Problems in AI”, Proc. 7th International Conference in Logic Programming, D.H.D. Warren and P. Szeredi (Eds.), MIT Press, 1990.
T. Reynolds, P. Kefalas, “OR-Parallel Logic Languages in Law Applications”, Proc. 3rd International Cong. in Law and Expert Systems, A.A. Martino (Ed.), pp. 579-594, 1989.