Category: Feature Articles
Extensions of Logic Programming in Maude
By Santiago Escobar, VRAIN, Universitat Politècnica de València, Spain AbstractIn 2022/2023, the logic programming community is celebrating the milestone of 50 years of evolution of logic programming languages, started in 1972 with the first version of Prolog. In this paper,…
DaRLing: a Datalog OWL 2 RL Rewriter
The Alpha Solver for Lazy-Grounding Answer-Set Programming
The ILASP System for Inductive Learning of Answer Set Programs
By Mark Law, Alessandra Russo, Krysia BrodaILASP Limited and Department of Computing, Imperial College London, UK
Polyvariant program specialisation and its application in program analysis and verification
Dynamic and Temporal Answer Set Programming on Linear Finite Traces
An Arboriculture Approach for Parallel SMT and Symbolic Model Checking
Flattering Tax
by Paolo Baldan and Roberto Bruni
Universities of Padova and Pisa
Italy
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…