Category: Regular columns

TPLP Changes

On behalf of the TPLP Editor in Chief, Mirek Truszczynski. Effective January 1st, 2021, the following changes will take place on the areas of TPLP: The area of “Theory” will be renamed to “Theoretical Foundations” The area of “Inductive Logic…

Call for Participation: ICLP 2019

CALL FOR PARTICIPATION – ICLP 2019 – https://www.cs.nmsu.edu/ALP/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ———————————————————- Since the first conference held in Marseille in 1982, ICLP has been the premier international event…

Promotional access to ICLP 2018 proceedings

Cambridge University press have just launched a promotional access offer to the Volume 18 – Special Issue 3-4 – July 2018 of Theory and Practice of Logic Programming. Have a nice reading! Thanks to CUP for the fundamental role for…

Feetbook Profiling (or (bi)simulation in disguise)

By Paolo Baldan   University of Padova Roberto Bruni  Universtity of Pisa   A new social network has become extremely popular. It is called Feetbook. Users share stories, anecdotes and pictures about their feet. What is (especially) peculiar is that posts…

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…

Pick the Right Fence

By Paolo Baldan and Roberto Bruni. In a park there is an area including some rare trees. Such trees are planted very regularly at the points of a grid: …

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

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…