By Daniel Morillo Torres, Federico Barber, and Miguel A. Salido Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain Abstract The study of scheduling problems is one of the core areas in the planning and development of any…
Month: June 2016
SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON COMPUTATIONAL LOGIC FOR VERIFICATION
The last decade has witnessed a growing interest in the use of computational logic methods for program validation and verification. For instance, verification problems for imperative and object oriented languages can be expressed using Constraint Logic Programming (CLP) and related…
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: …
CFP: Logic-Based Program Synthesis and Transformation – LOPSTR 2016
By Pedro Lopez and Manuel Hermenegildo
IMDEA, Spain