19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) The two best papers accepted for publication at PADL will be invited to submit an extended…
Author: Editors
Call for Participation: ICLP 2016
Call For Participation 32nd International Conference on Logic Programming …
Editorial June/July 2016
Dear LPers, Welcome to the June/July issue of the ALP Newsletter. There are many interesting news coming from the Association. We would like to say a big ‘THANK YOU’ to Manuel Carro, who is stepping down after serving as Conference…
ICCMA’17 Call for Solvers
Second International Competition on Computational Models of Argumentation (ICCMA’17) Call for Solvers http://www.dbai.tuwien.ac.at/iccma17 Argumentation is a major topic in the study of artificial intelligence. In particular, the problem of solving certain reasoning tasks on Dung’s abstract argumentation frameworks is central…
Abstract Solvers for Answer Set Programming and Beyond
by Marco Maratea
University of Genova,
Italy
MRCPSP-ENERGY, an energy-based scheduling problem
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…
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
CFP: Workshop on Constraints and Language Processing
By Veronica Dahl,
Simon Fraser University, Canada