We sadly announce the passing of Harold Boley, a friendly colleague, AI researcher and initiator of RuleML meetings and community. Our condolescences to his family, friends, and collaborators. The Rule ML community has written a detailed and heartfelt…
Author: Editors
TPLP Changes
On behalf of the TPLP Editor in Chief, Mirek Truszczynski. Effective January 1st, 2021, the following changes will take place on the areas of TPLP: The area of “Theory” will be renamed to “Theoretical Foundations” The area of “Inductive Logic…
DaRLing: a Datalog OWL 2 RL Rewriter
By Alessio Fiorentino, Marco Manna, and Jessica ZangariUniversity of Calabria, Rende, Italy ABSTRACT Ontology-mediated query answering (OMQA) is an emerging paradigm atthe basis of many semantic-centric applications. In this setting, a conjunctive query has to be evaluated against a knowledge…
Report on ICLP 2019
By Esra Erdem and German Vidal The 35th International Conference on Logic Programming (ICLP 2019) was held in Las Cruces, New Mexico, USA, from September 20 to September 25, 2019. Since the first conference held in Marseille in 1982,…
Preserving more of the history of logic programming (especially source code)
by Paul McJones Logic programming has a long and interesting history with a rich literature comprising newsletters and journals, monographs, and workshop and conference proceedings. Much of that literature is accessible online, at least to people with the appropriate subscriptions.…
Some More History: The 1983 LP Workshop
Our friend Luis Moniz Pereira has shared with us another great piece of logic programming history – the proceedings and posters of the Logic Programming workshop that took place in Albufeira, Portugal on June 26-July 1, 1983. http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83 M. Pereira,…
Some History of the ALP Newsletter
Thanks to the great effort of Luis Moniz Pereira, we have now access to the issues of the ALP Newsletter published between 1981 and 1984. These are incredible readings! Luís Moniz Pereira, editor. Logic Programming Newsletter, Universidade Nova de Lisboa, Departamento de Informática. Issues…
The Alpha Solver for Lazy-Grounding Answer-Set Programming
Antonius Weinzierl1, Bart Bogaerts2, Jori Bomanson3, Thomas Eiter1,Gerhard Friedrich4, Tomi Janhunen3;5, Tobias Kaminski1, Michael Langowski1, Lorenz Leutgeb1, Gottfried Schenner6, Richard Taupe4;61 Institute of Logic and Computation, Vienna University of Technology, Austria2 Department of Computer Science, Vrije Universiteit Brussel (VUB), Belgium3…
In memoriam: Jan Małuszyński
Our friend, colleague and mentor Jan Małuszyński, age 79, passed away in his home on June 27th, 2020, after an extended battle with cancer. Our thoughts go, in particular, to Jan’s wife Gizela and their children Ania and Chris and…
The ILASP System for Inductive Learning of Answer Set Programs
By Mark Law, Alessandra Russo, Krysia BrodaILASP Limited and Department of Computing, Imperial College London, UK Abstract The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples in the context of some…