Volume 24 – Issue 1 – January 2024
Original Articles:
- The Stable Model Semantics of Datalog with Metric Temporal Operators Wałęga, Przemysław; Tena Cucala, David; Cuenca Grau, Bernardo; Kostylev, Egor V., pp 22-56
- Compositional verification in rewriting logic ÓSCAR MARTÍN, ALBERTO VERDEJO, NARCISO MARTÍ-OLIET, pp 57-109
- System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. Daniel Bresnahan, Nicholas Hippen, and Yuliya Lierler. pp 132-156
- Human Conditional Reasoning in Answer Set Programming. Chiaki Sakama. pp 157-192
Technical Note:
- Tau Prolog: A Prolog Interpreter for the Web. JOSÉ A. RIAZA. pp 1-21
Rapid Communication:
- Disjunctive Delimited Control. ALEXANDER VANDENBROUCKE and TOM SCHRIJVERS, pp 110-131.
Volume 24 – Issue 2 – March 2024.
Selected Papers from Datalog 2.0 (2022)
- Editorial. By MARIO ALVIANO and ANDREAS PIERIS
Original Articles:
- CNL2ASP: Converting Controlled Natural Language Sentences into ASP. SIMONE CARUSO, CARMINE DODARO, MARCO MARATEA, MARCO MOCHI, and FRANCESCO RICCIO, pp 196-226
- Dyadic Existential Rules. Georg Gottlob, Marco Manna, and Cinzia Marte, pp. 227-249
- Querying Data Exchange Settings Beyond Positive Queries Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina, pp. 250-278
- Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings. Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo, pp. 279-309
Selected papers from RuleML+RR202021
- Editorial. By SOTIRIS MOSCHOYIANNIS, RAFAEL PEÑALOZA, pp 310-312
Original Articles:
- Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications. By FRANCESCO CAUTERUCCIO, GIORGIO TERRACINA, pp. 313-343
- Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach. MATTEO CARDELLINI, PAOLO DE NARDI, CARMINE DODARO, GIUSEPPE GALATÀ, ANNA GIARDINI, MARCO MARATEA, IVAN PORRO, pp. 344-367
- Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL HAYA MAJID QURESHI, WOLFGANG FABER, pp. 368-393
- Distributed Subweb Specifications for Traversing the Web BART BOGAERTS, BAS KETSMAN, YOUNES ZEBOUDJ, HEBA AAMER, RUBEN TAELMAN, RUBEN VERBORGH, pp. 394-420
Addendum:
- Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling – ADDENDUM THOMAS EITER, TOBIAS GEIBINGER, NYSRET MUSLIU, JOHANNES OETSCH, PETER SKOCOVSKÝ, DARIA STEPANOVA, p. 421