A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP - Dovier, Agostino; Pontelli, Enrico; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Information theory; Logic design; Artificial intelligence; Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Mathematics of Computing; Theory of Computation; Artificial Intelligence (incl. Robotics).