By Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti
Category: ALP ISSUE
LP System announcement: InterProlog Studio
By Miguel Calejo
In Memoriam: Alan Robinson
It is with heavy hearts that we share with the rest of the ALP Community the news of the passing of Alan Robinson. Alan was, with no doubts, one of the founding fathers and leaders of logic programming. Among the…
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…
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: …
Editorial, March 2016
Dear LPers, Welcome to the March 2016 issue of your ALP newsletter. The operation and success of our Newsletter is due to the contributions of a dedicated group of people, that compose its Editorial Board. The Board is renewed every…
Probabilistic Logic Programming Tutorial
By Fabrizio Riguzzi and Giuseppe Cota University of Ferrara, Italy Introduction Probabilistic Logic Programming (PLP) introduces probabilistic reasoning in Logic Programs in order to represent uncertain information. It is receiving an increased attention due to its applications in particular in…