VOLUME 1-2 Special Issue on ICLP 2026
- Laura Giordano, Wolfgang Faber, Ricardo Rocha, Vitos Santos Costa. Introduction. 1-7.
- M. Alviano, L. Grillo, N. Leone, F. Lo Scudo. Logic-Guided Data Extraction with Answer Set Programming and Large Language Models. 8-25.
- G. Amato, F. Scozzari. Experimental evaluation of optimal abstract operators for sharing and linearity analysis. 26-45
- R. Bankosegger, T. Eiter, J. Oetsch. Answer-Set-Programming-based Abstractions for Reinforcement Learning 46-63
- R. Brancas, V. Manquinho, R. Martins. ProDebug: An Automated Debugging System for Prolog 64-79
- A. Charalambidis, G. Chatziagapis, B. Kostopoulos, P. Rondogiannis. Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs 80-94
- A. Charalambidis, B. Kostopoulos, P. Rondogiannis. From Time to Space: The Impact of Linearity in Higher-Order Datalog 95-111
- A. Cuteri, G. Mazzotta, F. Ricca. 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation 112-129
- M. Dieguez, S. Hahn, T. Schaub, I. Stephan. Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics 130-146
- J. Fandinno, Y. Lierler, T. Schaub. Parametric Modular Answer Set Programs Made Declarative 147-162
- J. Fandinno, P. Cabalar, T. Schaub, P. Wanko. flingo – Instilling ASP Expressive- ness into Linear Integer Constraints 163-179
- S. Hahn, A. Nemes, J. Romero, T. Schaub. Meta Programming for Linear-time Temporal Answer Set Programming 180-196
- A. Ielo, F. Doria, S. Castellanos-Paez, M. Maratea, F. Percassi, M. Vallati. Long- term Power Grid Planning via Answer Set Programming 197–214
- D. Ferreiro, D. Jurjo-Rivas, M. Ciccalè, J. Morales, P. López-García, M. Hermenegildo. Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks 215-234
- Ludäscher. Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica
- Y. A. Liu, J. Idogun, S. D, Stoller, Y. Tong. Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference 235–252
- F. Pennino, B. Raimondi, M. Rondelli, A. Gurioli, M. Gabbrielli. From Reasoning to Code: GRPO Optimization for Underrepresented Languages 253–266
- A.F. Rader, A. Russo. Accelerating NeurASP with vectorization and caching 267–282
- E. Skvortsov, Y. Xia, O. Garg, S. Bowers, B. Ludascher. Diamonds are forever 283–301
- Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Bohuslav Krena, Jakub Nemec, Javier Romero, Tomás Vojnar. Event Calculus Meets Hybrid ASP 302–319
- E. Yanakieva, A. Bieniusa, S. Dumbrava. A Datalog Framework for Conflict-Free Replicated Data Types, 320–337
VOLUME 3-4 Special Issue on LPNMR 2024
- CARMINE DODARO and MARIA VANINA MARTINEZ. Preface. 338-339.
- Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko. Towards Industrial-scale Product Configuration. 340-370
- Nils Küchenmeister, Alex Ivliev, Markus Krötzsch, Towards Mass Spectrum Analysis with ASP, 371-393
- Samuele Pollaci, Babis Kostopoulos, Marc Denecker, and Bart Bogaerts A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. 394-427.
- Vineel Tummala, Daniela Inclezan, Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties. 428-457.
- Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming, 458-486
- Manuel Alejandro Borroto-Santana, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo. Question Answering with LLMs and Learning from Answer Sets, 487-511
- Michael Kifer, Theresa Swift. Multi-paradigm Logic Programming in the ErgoAI System, 512-552
- Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub. Implementing Metric Temporal Answer Set Programming, 553-618