Category: ALP ISSUE

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…

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…

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…

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…

Promotional access to ICLP 2018 proceedings

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…