ALP has just completed the elections for new EC members and President. The new ALP EC members are: Pedro Cabalar Martin Gebser Laura Giordano Theresa Swift Enrico Pontelli was elected as new President. Congratulations to all and thanks to the…
Author: adovier
Extensions of Logic Programming in Maude
By Santiago Escobar, VRAIN, Universitat Politècnica de València, Spain AbstractIn 2022/2023, the logic programming community is celebrating the milestone of 50 years of evolution of logic programming languages, started in 1972 with the first version of Prolog. In this paper,…
In memoriam: Martin Davis
By Eugenio Omodeo and Alberto Policriti with a foreword by Domenico Cantone. Martin Davis (March 8, 1928-January 1, 2023) and his beloved wife Virginia passed away yesterday. They had been married for over 71 years. Martin was one of the…