By P. Cabalar and A. Provetti
Month: April 2019
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…
SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019)
It is our pleasure to announce the call for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the…