Thanks to the great effort of Luis Moniz Pereira, we have now access to the issues of the ALP Newsletter published between 1981 and 1984. These are incredible readings! Luís Moniz Pereira, editor. Logic Programming Newsletter, Universidade Nova de Lisboa, Departamento de Informática. Issues…
Author: Editors
The Alpha Solver for Lazy-Grounding Answer-Set Programming
Antonius Weinzierl1, Bart Bogaerts2, Jori Bomanson3, Thomas Eiter1,Gerhard Friedrich4, Tomi Janhunen3;5, Tobias Kaminski1, Michael Langowski1, Lorenz Leutgeb1, Gottfried Schenner6, Richard Taupe4;61 Institute of Logic and Computation, Vienna University of Technology, Austria2 Department of Computer Science, Vrije Universiteit Brussel (VUB), Belgium3…
In memoriam: Jan Małuszyński
Our friend, colleague and mentor Jan Małuszyński, age 79, passed away in his home on June 27th, 2020, after an extended battle with cancer. Our thoughts go, in particular, to Jan’s wife Gizela and their children Ania and Chris and…
The ILASP System for Inductive Learning of Answer Set Programs
By Mark Law, Alessandra Russo, Krysia BrodaILASP Limited and Department of Computing, Imperial College London, UK Abstract The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples in the context of some…
In Memoriam: Christian Schulte
We are saddened to learn of the passing of Christian Schulte – an amazing researcher whose work has impacted many of us in the logic programming community. Maria Garcia de la Banda wrote a nice note about Christian for ACP…
CFP: WOA 2020
21st Workshop “From Objects to Agents Bologna, Italy, 22-24 June 2020 http://woa2020.apice.unibo.it Call for Papers The twenty-first edition of the Workshop “From Objects to Agents” (WOA) will be held in Bologna to serve as a forum for researchers and practitioners…
Postdoc and PhD Positions: TU Wien
The Institute of Logic and Computation at TU Wien is hiring a postdoc and a PhD student for a research collaboration with industry in the area of knowledge representation and reasoning. The goal of this collaboration is to advance the use of logic-based…
CFP: TPLP 20th Anniversary Special Issue
By Mirek Truszczynski,
University of Kentucky, USA
Polyvariant program specialisation and its application in program analysis and verification
By John P. Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Madrid, Spainjpg@ruc.dk Abstract: Specialisation is a program transformation that transforms a program with respect to given constraints that restrict its behaviour. Typically, the goal is to optimise a program, but specialisation can also…
CFP: Theory and Practice of Logic Programming: The 20th Anniversary Issue
Following the example of a highly successful and influential special issue of the Journal of Logic Programming, commemorating the 10th anniversary of the journal in 1994, the Editorial and Advisory Boards of TPLP propose to publish a special issue of…