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…
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,