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…
…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
SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON
NEW TRENDS OF CONSTRAINT LOGIC PROGRAMMING, guest editor Agostino Dovier
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…
By John Gallagher
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…
By Thomas Eiter TU Wien and Francesca Toni IC London The 31st edition of the International Conference of Logic Programming (ICLP 2015) took place in Cork, Ireland, from the 31st of August 2015 to the 4th of September 2015. It was colocated…
By Neng-Fa Zhou
City University of New York,
By Claudia Schulz and Francesca Toni. Communicated by Pedro Cabalar Fernandez and Michael Fink.
By Luís Moniz Pereira and Ari Saptawijaya. Communicated by Editors.