o Member of the jury of “Prémio Científico IBM-Portugal”, 1990-2010.
o Member of the Board of Trustees and Scientific Council of IMDEA-Software, Madrid Institute for Advanced Studies in Software Development Technologies http://software.imdea.org/ 2006-
o Doctor Honoris Causa (Dr.-Ing.), from T.U. Dresden, December 2006.
Acceptance speech and talk—The Cupola of Logic in the Unity of Sciences – Towards an Evolutionary Epistemology—on the occasion of his Honorary Doctorate Degree ceremony, T.U. Dresden, Germany, December 4, 2006. Speech Slides Speech and talk Audio
o Prémio Estímulo à Excelência, Distinguished Scientist Award, from the Portuguese government, 2005.
o Elected Visiting Fellow of the “Istituto di Studi Avanzati”, U. Bologna, Academic Year 2004.
o Elected ECCAI Fellow by the European Coordinating Committee for Artificial Intelligence, 2001.
o In 1997, the Association of Logic Programming (ALP) bestowed to fifteen recognized researchers in logic programming the title Founders of Logic Programming to recognize them as pioneers in the field. The individuals receiving this honor were: Maurice Bruynooghe (Belgium), Jacques Cohen (USA), Alain Colmerauer (France), Keith Clark (UK), Veronica Dahl (Canada/Argentina), Maarten van Emden (Canada), Herve Gallaire (France), Robert Kowalski (UK), Jack Minker (USA), Fernando Pereira (USA), Luis Moniz Pereira (Portugal), Ray Reiter (Canada), Alan Robinson (USA), Peter Szeredi (Hungary), and David H. D. Warren (UK). 1997.
o Best Paper Award, AIMSA'96 conference, 1996.
o Prémio da Boa Esperança, highest Portuguese government award in science, 1994. Speech
o Logic-Deductive Sciences Award, from Gulbenkian Foundation, 1984.
· Two MSc students won the AI project prize from APPIA, the Portuguese AI Association, in 2006 and 2008.
· Two PhD students won the Prémio Científico IBM, in Portugal, in 1990 and 1993.