By Ian Miguel,
University of St. Andrews,
Scotland
Author: Editors
Before the penalties or the geometry of soccer
By Paolo Baldan (1) and Roberto Bruni (2) (1) Univ. of Padova, Department of Pure and Applied Mathematics (2) Univ. of Pisa, Computer Science Department It’s the end of the extra time of the final the European football championship. It has been…
Infinitary Formulas in Answer Set Programming
By Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski. Communicated by Pedro Cabalar Fernandez and Michael Fink.
Call for Participation: CADE-2015
by Amy Felty,
University of Ottawa,
Canada
Editorial, March/April 2015
by Editors
In memoriam: German Puebla
From the Past… Workshop on Logic Programming for Intelligent Systems 1981
MetaProbLog
By Theofrastos Mantadelis, Univ of Porto, and Gerda Janssens, KU Leuven. Communicated by Vitor Santos Costa and Fabrizio Riguzzi.
Bound Founded Answer Set Programming
By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.