Author: Editors

CP 2016 in Toulouse

The International Conference on Principles and Practice of Constraint Programming will take place in Toulouse, France, from September 5th – 9th 2016. This is the 22nd edition of the annual conference on all aspects of computing with constraints, including: theory,…

Editorial December 2015

Dear LPers, welcome to the December issue of Your newsletter. As we approach the joyous holiday season, we wish to contribute to the festivities by bringing you some exciting news from the logic programming world. First of all, we are…

What is the Semantics of Your SPARQL Extension?

By Harald Beck, Minh Dao-Tran, and Thomas Eiter Institute of Information Systems, Vienna University of Technology   Abstract We argue for the importance of formal semantics for the exploration and study of new SPARQL extensions; in particular, for RDF stream…

OOASP: Connecting Object-oriented and Logic Programming

By Andreas Falkner, Siemens AG Österreich, Vienna, Austria Anna Ryabokon, Alpen-Adria-Universität Klagenfurt, Austria Gottfried Schenner,Siemens Österreich, Vienna, Austria Kostyantyn Shchekotykhin Alpen-Adria-Universität Klagenfurt, Austria Abstract Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases – during which software engineers specify requirements…

From the Editor-in-Chief of TPLP

…The year 2016 will bring some changes to TPLP. First, we will switch to three-year term appointments for area editors and editorial advisors. Second, in January 2016 we will launch an on-line paper management system, with the goal to have all accepted papers published no later than 12 months after they were submitted… By Mirek Truszczynski, editor in chief of TPLP

CFP: Special Issue of TPLP

SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON
NEW TRENDS OF CONSTRAINT LOGIC PROGRAMMING, guest editor Agostino Dovier

Book Announcement: Constraint Solving and Planning with Picat

Constraint Solving and Planning with Picat By Neng-Fa Zhou Håkan Kjellerstrand, Jonathan Fruhman Abstract The book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial…

Editorial September 2015

Welcome to the September issue of the ALP Newsletter. The last few months have been intense with meetings and conferences, another sign that the logic programming community is alive and vibrant. In particular, the joint conference ICLP/CP was another outstanding…