Call for Papers 33rd International Conference on Logic Programming (co-located with CP and SAT and following IJCAI) Melbourne, Australia August 28 – September 1, 2017 http://iclp17.a4lp.org Conference Scope Since the first conference held in Marseille in 1982, ICLP has been the premier…
Category: ALP ISSUE
On the Relationship Between Ontology-mediated Queries and Non-monotonic Datalog
By Shqiponja Ahmetaj, Magdalena Ortiz, and Mantas Šimkus. Institute of Information Systems, TU Vienna, Austria
Building Smart Spaces on the Home Manager platform
By Roberta Calegari and Enrico Denti. DISI, ALMA MATER STUDIORUM Univ. of Bologna,
Future Directions in Agent Programming
by Brian Logan
University of Nottingham, UK
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…