By Thomas Eiter TU Wien and Francesca Toni IC London The 31st edition of the International Conference of Logic Programming (ICLP 2015) took place in Cork, Ireland, from the 31st of August 2015 to the 4th of September 2015. It was colocated…
Category: ALP ISSUE
Report: 2015 LP/CP programming Contest
By Neng-Fa Zhou
City University of New York,
USA
Encoding Logic Programs in Assumption-Based Argumentation
By Claudia Schulz and Francesca Toni. Communicated by Pedro Cabalar Fernandez and Michael Fink.
Conterfactual in Critical Morality – A Summary
By Luís Moniz Pereira and Ari Saptawijaya. Communicated by Editors.
GULP school and CILC meeting report
The 30th edition of the Italian Conference on Computational Logic (CILC 2015), the annual meeting organized by the Group of researchers and Users of Logic Programming (GULP), took place at the University of Genoa from July 1st to July 3rd,…
Open panel: the future of ICLP Proceedings
Over the last few months, there has been an intense discussion within the Executive Committee of the Association for Logic Programming concerning the publication structure adopted in the International Conference for Logic Programming (ICLP) – the flagship conference of the Association. Because of the…
Editorial June/July 2015
Dear LPers, summer is here with his hot welcome. A number of interesting LP-related events are coming closer – we will have a very exciting ICLP in Cork, Ireland (co-located with CP) and LPNMR in Lexington, USA. We hope to…
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.
Editorial, March/April 2015
by Editors