https://icfp20.sigplan.org/home/minikanren-2020 Thu 27 Aug 2020, Virtually Everywhere,Part of the 2020 International Conference on Functional Programminghttps://icfp20.sigplan.org/ About mKW The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren,…
In Memoriam: Jan Maluszynski
It is with a heavy heart that we announce that Professor Jan Maluszynski and passed away after fighting a fatal illness for over a year. Prof. Maluszynski was one of the pioneers of logic programming, with important contributions in a…
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…