Journal: TPLP

Volume 24, Issue 2

193 -- 195Mario Alviano, Andreas Pieris. Selected Papers from Datalog 2.0 2022
196 -- 226Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio. CNL2ASP: Converting Controlled Natural Language Sentences into ASP
227 -- 249Georg Gottlob, Marco Manna, Cinzia Marte. Dyadic Existential Rules
250 -- 278Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Querying Data Exchange Settings Beyond Positive Queries
279 -- 309Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo. Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings
310 -- 312Sotiris Moschoyiannis, Rafael Peñaloza. Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)
313 -- 343Francesco Cauteruccio, Giorgio Terracina. Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications
344 -- 367Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro. Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
368 -- 393Haya Majid Qureshi, Wolfgang Faber 0001. Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
394 -- 420Bart Bogaerts 0001, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh. Distributed Subweb Specifications for Traversing the Web
421 -- 0Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova 0001. Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM

Volume 24, Issue 1

1 -- 21José A. Riaza. Tau Prolog: A Prolog Interpreter for the Web
22 -- 56Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev. The Stable Model Semantics of Datalog with Metric Temporal Operators
57 -- 109Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet. Compositional Verification in Rewriting Logic
110 -- 131Alexander Vandenbroucke, Tom Schrijvers. Disjunctive Delimited Control
132 -- 156Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
157 -- 192Chiaki Sakama. Human Conditional Reasoning in Answer Set Programming