Author: Editors

The s(ASP) Predicate Answer Set Programming System

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…

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…

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…