Author: Editors

Doctoral program LogiCS@TUWien: 20 PhD positions

Call for Applications: 20 PhD (university assistant, pre-doc) positions, 40 hours/week, limited for 4 years. The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training program LogiCS@TUWien – Logics for Computer Science, http://www.vcla.at/msca co-funded by the European Commission, will offer 20 full-time…

Scientific Tribute Day, Alain Colmerauer

The LIS laboratory from the university of Marseilles organizes a Scientific Tribute Day to Alain Colmeraueur on october 8th at the campus of Luminy (Marseilles). Alain Colmerauer is known as a pioneer of Artificial Intelligence and the author of the famous programming language…

ICLP 2021 Accepted Papers

Dear friends, the list of accepted papers and the link to their Arxiv version is published in https://www.cs.nmsu.edu/ALP/tplp/tplp-accepted-papers/Don’t forget to register to the conference!!!

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…

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…