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,…
Category: ALP ISSUE
In Memoriam: Maarten van Emden
In memoriam: Martin Davis
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 fathers of Computability, to which he contributed with a model of Post–Turing…
Editorial Vol. 34, No. 1, August 2022
Collection of theses in Computational Logic
A New, Embeddable In-Browser Ciao Playground
SECOND CALL FOR APPLICATIONS FOR DOCTORAL CANDIDATES
FACULTY POSITION IN KU LEUVEN
In memoriam: Jack Minker
By Dietmar Seipel and Carolina Ruiz. It is with great sadness that we inform the CS community of Jack Minker’s passing on April 9, 2021. Jack was a pioneer in deductive databases and the leading researcher in disjunctive deductive databases.…