Facts and Fallacies in Using Genetic Algorithms for Learning Clauses in First-Order Logic

Flaviu Adrian Marginean. Facts and Fallacies in Using Genetic Algorithms for Learning Clauses in First-Order Logic. In Erick CantĂș-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller, editors, Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I. Volume 2723 of Lecture Notes in Computer Science, pages 1184-1195, Springer, 2003. [doi]

Abstract

Abstract is missing.