Cambridge University press have just launched a promotional access offer to the Volume 18 – Special Issue 3-4 – July 2018 of Theory and Practice of Logic Programming. Have a nice reading! Thanks to CUP for the fundamental role for…
Author: Editors
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.…
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…
Luxembourg Logic for AI Summit
Early registration deadline is on August 09 2018. Registration is open via EasyChair
System Announcement: EZSMT
by Yuliya Lierler
University of Nebraska Omaha
USA
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…
Call for Participation: RuleML+RR 2018
By Amal Tawakuli