Dr. Sergio Antoy, a distinguished and long-serving Professor of Computer Science at Portland State University, has passed away. A respected researcher and dedicated educator, Sergio was a leading figure in the field of programming languages and functional logic programming. Sergio…
Category: ALP ISSUE
CILC 2025 Report
By Dario Guidotti, Laura Pandolfo, and Luca PulinaUniversity of Sassari, via Roma 151, Sassari, 07100, Italy The Italian Conference on Computational Logic (CILC) is the annual event of the Italian Association for Logic Programming (GULP – Gruppo Ricercatori e Utenti…
Systems Description: ErgoAI
Using Level-Based Multiple Reasoning in a Web-Based Intelligent System for the Diagnosis of Farmed Fish Diseases using LPA Prolog
Planning as Theorem Proving with Heuristics
In Memoriam: Steffen Holldobler
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: 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…