Author: Editors

In memoriam: Jack Minker

By Dietmar Seipel and Carolina Ruiz. It is with great sadness that we inform the CS community of Jack Minker’s passing on April 9, 2021. Jack was a pioneer in deductive databases and the leading researcher in disjunctive deductive databases.…

Recognition CodeX 2021 Prize

The Stanford Center for Legal Informatics today announced the recipients of the 2021 CodeX Prize.  The prize this year was awarded to Robert Kowalski (AAAI Fellow), Fariba Sadri, and Marek Sergot of Imperial College in recognition of their groundbreaking work on…

RTEC: Run-Time Event Calculus

By Alexander Artikis RTEC is an open-source Event Calculus dialect optimised for data stream reasoning. It is written in Prolog and has been tested under YAP and SWI Prolog. GitHub repository: https://github.com/aartikis/RTEC Features Interval-based. Sliding window reasoning. Interval manipulation constructs…

In memoriam: Francisco Bueno

By Manuel Carro, María García de la Banda, Manuel Hermenegildo, Pedro López, José F. Morales It is with the deepest sorrow that we write these lines to share with you the news of the passing away of our very dear…

EDITORIAL, Vol 33, DEC 2020

Dear LPers, we have reached the end of 2020 – which has been in many ways a challenging year. In spite of the challenges, the ALP community has continued to move forward. We have completed the elections of new members…

In memoriam: Harold Boley

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…

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,…