by Brian Logan
University of Nottingham, UK
Author: Editors
Lecturer/Senior Lecturer openings in Artificial Intelligence and Machine Learning at Imperial College London
By Francesca Toni
Imperial College, UK
Call for Participation: Practical Aspects of Declarative Languages (PADL’17)
19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) Program posted: http://bit.ly/PADL-2017 Registration site: http://popl17.sigplan.org/attending/registration Early registration deadline: December 17th, 2016 Accommodation: http://popl17.sigplan.org/attending/accommodation Conference Description Declarative languages build on…
Editorial September/October 2016
Dear LPers, Welcome to the September/October issue of the ALP Newsletter. As we post this issue, we hope many of you are enjoying the 2016 edition of ICLP in the Big Apple. New York City is welcoming our community with a…
Planning with Task-oriented Knowledge Acquisition for A Service Robot
by Kai Chen, Fangkai Yang, and Xiaoping Chen
University of Science and Technology of China and
Schlumberger Ltd.
Conference Report: CILC 2016
By Camillo Fiorentini, Alberto Momigliano
Horn Clause Transformation for Program Verification
By Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti
LP System announcement: InterProlog Studio
By Miguel Calejo
In Memoriam: Alan Robinson
It is with heavy hearts that we share with the rest of the ALP Community the news of the passing of Alan Robinson. Alan was, with no doubts, one of the founding fathers and leaders of logic programming. Among the…
TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal paradigm for addressing the…