Author: Editors

Some More History: The 1983 LP Workshop

Our friend Luis Moniz Pereira has shared with us another great piece of logic programming history – the proceedings and posters of the Logic Programming workshop that took place in Albufeira, Portugal on June 26-July 1, 1983. http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83 M. Pereira,…

Some History of the ALP Newsletter

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…

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…

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…