By Kyle Marple, Elmer Salazar Zhuo Chen, and Gopal Gupta Department of Computer Science The University of Texas at Dallas Abstract: We present the s(ASP) system that computes stable models of normal logic programs, i.e., logic programs extended with…
Book Announcement: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
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