Category: Asyncronous News

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…

CFP: Logic Programming and Non-monotonic Reasoning 2019

15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 http://sju.edu/lpnmr/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop AIMS AND SCOPE  LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning.…

ALP Elections Results

It’s a pleasure to announce that Esra Erdem (Sabanci University, Istanbul) German Vidal (Universitat Politècnica de València) Nicola Leone (UNICAL, Rende) have been elected in the Executive Committee of ALP Newsletter (period 2018-2022). They will work for our favuourite research…

Call for Papers: 12th International Rule Challenge 2018

Call for Papers: 12th International Rule Challenge 2018 http://2018.ruleml-rr.org/challenge.html NOTE: Extended submission deadline: July 31, 2018 Topics The International Rule Challenge 2018 is one of the highlights of the RuleML+RR 2018 conference and seeks to provide competition among innovative rule-oriented…

CFP: ICLP-DC 2018 Doctoral Consortium

ICLP-DC 2018 –  14th Doctoral Consortium (DC) on Logic Programming https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html   Call for Applications The 14th Doctoral Consortium (DC) on Logic Programming will be held in conjunction with ICLP 2018 and FLoC 2018. It provides a forum for students…

CFP: CICLOPS 2018

CICLOPS 2017: Call for Papers and Talk Proposals 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems  18 July 2018 Oxford, UK https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/ Co-located with ICLP’18 and FLoC.  Important Dates  Paper submission: 29 April 2018 Author Notification: 11 May…