Arnaud Nguembang Fadja, Head of Machine Learning at semvox GmbH, CEO of System Afrik Information Technology and adjunct research fellow of the University of Ferrara, died February 3, 2026 of illness at the age of 38.Arnaud was born in Douala,…
Author: adovier
zelph: an open-source semantic network reasoning engine
zelph is an open-source semantic network reasoning engine that performs bottom-up forward chaining over a unified graph. Its key characteristic is radical homoiconicity: rules, predicates, numbers, and facts are all nodes in the same subject–predicate–object graph. Computation emerges from rule-driven…
ALP Elections results
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
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…