ALP members Eugenio Omodeo and Alberto Policriti just finished editing abook titled “Martin Davis on Computability, Computational Logic, and Mathematical Foundations” in the Springer series “Outstanding Contributions to Logic”. The book is available at from which front and back matters…
Category: ALP ISSUE
In Memoriam: Prof. Koichi Furukawa
by Jacques Cohen,
Brandeis University, USA
Editorial December’16/January’17
Dear Colleagues, welcome to the December 2016 issue of your ALP Newsletter – our apologies for posting this a bit later than usual. The organization of ICLP 2017 is now in full swing. Melbourne Australia will be the home of…
CFP: International Conference on Logic Programming
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…
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