Category: ALP ISSUE

PhD positions in Bath (UK)

At least 10 fully-funded studentships are available now and annually for the next five years at the UKRI Centre for Doctoral Training in Accountable, Responsible and Transparent AI (ART-AI) at the University of Bath. Our 4 year PhD programme will…

Workshop Report: TAASP 2018

Workshop Report: Trends and Applications of Answer Set Programming  (TAASP) 2018 By Stefan Woltran, TUWIEN, Austria The TAASP workshop series is jointly organized by research groups at Alpen-Adria-Universität  Klagenfurt, Technische Universität Wien, and Universität Potsdam. TAASP 2018 was the second…

The SAT Compiler in Picat

By Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) Abstract SAT solvers’ performance has drastically improved during the past 20 years, thanks to the inventions of techniques from conflict-driven clause learning, backjumping, variable and value selection heuristics, to random restarts.…

System Announcement: PROJECTOR

PROJECTOR is an automated rewriting system for non-ground logic programs under answer set semantics. It is designed to improve the performance of answer set programing solutions. Its ideas stem from relational database query optimization techniques. PROJECTOR version 1.0.0 is available…

Editorial, Volume 31, No. 2, July/August 2018

Dear Logic Programming Colleagues, welcome to a new issue of your favorite ALP Newsletter! First of all, we need to apologize for the slight delay in the recent publications of the newsletter – new administrative appointments have taken a toll…

Feetbook Profiling (or (bi)simulation in disguise)

By Paolo Baldan   University of Padova Roberto Bruni  Universtity of Pisa   A new social network has become extremely popular. It is called Feetbook. Users share stories, anecdotes and pictures about their feet. What is (especially) peculiar is that posts…

PSOA RuleML Bridges Graph and Relational Databases

By Harold Boley University of New Brunswick, Fredericton, Canada ABSTRACT In PSOA RuleML, Graph Databases and Relational Databases are bridged conceptually, with interoperation paths through its metamodel of three orthogonal dimensions, as well as programmatically, with transition rules realized in…