CALL FOR PARTICIPATION – ICLP 2019 – https://logicprogramming.org/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ———————————————————- Since the first conference held in Marseille in 1982, ICLP has been the premier international event…
Category: ALP ISSUE
Editorial, Volume 32, No. 2, August 2019
Are you back in office after vacation? Or are your still holding your feet into the sea or climbing mountains? In both cases, you can enjoy reading the contents of your favorite newsletter. We have three feature articles: Dynamic and…
Dynamic and Temporal Answer Set Programming on Linear Finite Traces
By Pedro Cabalar and Torsten Schaub,University of Corunna, Spain and University of Potsdam, Germany Download Paper
An Arboriculture Approach for Parallel SMT and Symbolic Model Checking
by M. Marescotti, A.E.J. Hyvärinen, N. SharyginaFormal Verification and Security LabUniversità della Svizzera ItalianaSwitzerland FULL PAPER Abstract: The inherent complexity of parallel computing makes development, resource monitoring, and debugging for parallel constraint-solving-based applications difficult. This paper presents SMTS, a framework for parallelizing sequential constraint…
Flattering Tax
by Paolo Baldan and Roberto Bruni
Universities of Padova and Pisa
Italy
Editorial, Volume 32, No. 1, April/May 2019
Welcome to the new issue of your favorite Newsletter. First of all, on behalf of the entire crew of the ALP Newsletter, we would like to apologize for some of the recent delays in getting the newsletter out. Administrative duties…
In Memoriam: Ramon Otero
By P. Cabalar and A. Provetti
Conference Report: RuleML+RR
by C. Benzmüller, X. Parent, and F. Ricca
Learning & Reasoning for Logic-Based Complex Event Recognition
Alexander Artikis Nikos Katzouris Institute of Informatics, National Center for Scientific Research (NCSR) “Demokritos”, Athens, GreeceUniversity of Pireaus, Pireaus, Greece Abstract Complex Event Recognition (CER) refers to the detection of special events of interest in a multitude of large, heterogeneous…
The Alpha Solver for Lazy-Grounding Answer-Set Programming
By A. Weinzierl, B. Bogaerts, J. Bomanson, T. Eiter, G. Friedrich, T. Janhunen, T. Kaminski, M. Langowski, L. Leutgeb, G. Schenner and R. Taupe Abstract. The grounding bottleneck is a longstanding issue of Answer Set Programming (ASP), a well-known Logic…