Dear friends, the list of accepted papers and the link to their Arxiv version is published in https://logicprogramming.org/tplp/tplp-accepted-papers/Don’t forget to register to the conference!!!
Alain Colmerauer’s life and work: a movie
We are glad to share with the ALP community the link to a preview of the movie about the co-inventor of PROLOG and one of the fathers of our favourite research field. Have a nice view
FACULTY POSITION IN KU LEUVEN
PROFESSOR OF DECLARATIVE METHODS FOR COGNITIVE ROBOTICSKU Leuven Campus Diepenbeek There is a vacancy for a full-time academic position (tenured or tenure track) in the Computer Science Department at KU Leuven in the area of declarative methods for cognitive robotics.…
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…