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…
Category: ALP ISSUE
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
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.