Author: Editors

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…

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…

INAP 2019: Call for Papers (Submission Deadline extended)

22nd International Conference on Applications ofDeclarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration:…

WLP 2019: Call for Papers (Submission Deadline extended)

3rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration: August 12, 2019Online Registration:…

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…