Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal paradigm for addressing the…
CFP: 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)
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…
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