Media Advisory ACM to Publish Renowned Logic Programming Journal Entire TPLP Archive Will Now Be Open Access Via the ACM Digital Library New York, NY, June 17, 2026 – ACM, the Association for Computing Machinery, and ALP, the Association for Logic…
In Memoriam: Arnaud Nguembang Fadja March 11, 1988– February 3, 2026
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,…
CFP: LOPSTR+PPDL 2026
2026 Joint International Symposium:The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)+The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP) https://icfp26.sigplan.org/home/lopstr-ppdp-2026 Overview The 2026 Joint International Symposium: LOPSTR+PPDP brings together two long-established conferences in symbolic…
Preliminary CFP: 2026 Joint International Symposium: LOPSTR+PPDP 2026
Overview The 2026 Joint International Symposium: LOPSTR+PPDP brings together two long-established conferences in symbolic AI: The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), and The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP). This…
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…
Call For Papers: ICLP 2026
The 42nd International Conference on Logic Programming (ICLP 2026) will be held at ISCTE – Instituto Universitário de Lisboa in Lisbon, Portugal, as part of the Federated Logic Conference (FLoC) 2026, from July 20-23, 2026. DEADLINE FOR SUBMISSION JANUARY 31…