ErgoAI is an advanced and scalable object-oriented platform for knowledge representation and reasoning. ErgoAI was developed by Coherent Knowledge Systems as an enterprise-level extension of the well-known Flora-2 system that is now open-sourced. ErgoAI subsumes Flora-2 for all purposes. Language…
Category: ALP ISSUE
Using Level-Based Multiple Reasoning in a Web-Based Intelligent System for the Diagnosis of Farmed Fish Diseases using LPA Prolog
Correspondence: [email protected] Farmed fish disease diagnosis is an important problem in the fish farming industry, affecting quality of production and financial losses. In this paper, we present a web-based intelligent system that tackles the problem of fish disease diagnosis. To…
Planning as Theorem Proving with Heuristics
Planning as theorem proving in situation calculus was abandoned 50 years ago as an impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) planner that searches for a plan in a tree of situations using the A*…
In Memoriam: Steffen Holldobler
It is with a heavy heart that we join many colleagues in remembering a groundbreaking researcher in the field of logic, deduction and knowledge representation and reasoning, Prof. Steffen Hölldobler. Prof. Hölldobler passed away in May 2023. He will be…
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
Maarten van Emden (Dec. 31, 1937 – Jan. 4, 2023) Bio by Eva van Emden: Maarten was born on December 31, 1937, in Velp, the Netherlands. His early childhood was spent in the Dutch East Indies, although he also attended…
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…
Editorial Vol. 34, No. 1, August 2022
Dear LPers, Welcome back to a long overdue update from your favorite ALP. Apologies for the long delay – many changes have taken place and we are now ready to entertain you again with all the interesting news from the world of…
Collection of theses in Computational Logic
The ALP website is trying to build the list of theses (bachelor, master, PhD) in Computational Logic. See, for instance, PhD Dissertations Master’s Theses Please, consider to report your work for inclusion in the list by sending the…
A New, Embeddable In-Browser Ciao Playground
We are excited to announce a new, embeddable playground for Ciao Prolog that runs locally in your browser thanks to WebAssembly: https://ciao-lang.org/playground/ The Ciao Prolog Playground offers a very easy way to run and share Prolog code, directly from any modern…