| 2025 | Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez |
| 2024 | A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts |
| 2024 | A Fixpoint Characterisation of Temporal Equilibrium Logic. Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan |
| 2024 | A Generalisation of Epistemic Splitting Property. Ezgi Iraz Su |
| 2024 | A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner |
| 2024 | A Sequent Calculus for Generalized Inductive Definitions. Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker |
| 2024 | A Simulation for Supply Chains Contract Execution. Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini |
| 2024 | ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | Abstract Dialectical Frameworks are Boolean Networks. Jesse Heyninck, Matthias Knorr, João Leite |
| 2024 | An ASP-Based Approach to Water Distribution System Reconstruction. Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca |
| 2024 | An ILASP-Based Approach to Repair Petri Nets. Francesco Chiariello, Antonio Ielo, Alice Tarzariol |
| 2024 | Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt |
| 2024 | Compiling Metric Temporal Answer Set Programming. Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub |
| 2024 | Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. Ringo Baumann, Hannes Strass |
| 2024 | Deductive Systems for Logic Programs with Counting: Preliminary Report. Jorge Fandinno, Vladimir Lifschitz |
| 2024 | Efficiently Grounding FOL Using Bit Vectors. Lucas Van Laer, Simon Vandevelde, Joost Vennekens |
| 2024 | Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. Mario Alviano, Luis Angel Rodriguez Reiners |
| 2024 | Integrating Structured Declarative Language (SDL) into ASP Chef. Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners, Ilaria R. Vasile |
| 2024 | LTLf2ASP: LTLf Bounded Satisfiability in ASP. Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2024 | Modelling Dialogues in a Concurrent Language for Argumentation. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
| 2024 | Monitoring and Scheduling of Semiconductor Failure Analysis Labs. Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin |
| 2024 | Multi-paradigm Logic Programming in the Theresa Swift, Michael Kifer |
| 2024 | On Forgetting in Assumption-Based Argumentation. Matti Berthold, Markus Ulbricht |
| 2024 | Policies, Penalties, and Autonomous Agents. Vineel S. K. Tummala, Daniela Inclezan |
| 2024 | Reasoning and Explanation Generation in Ad Hoc Collaboration Between Humans and Embodied AI. Hasra Dodampegama, Mohan Sridharan |
| 2024 | Semantic-Based Arguments Using Logic Programming Rewriting Systems. Esteban Guerrero, Juan Carlos Nieves |
| 2024 | Towards Explainable Weather Forecasting Through FastLAS. Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait |
| 2024 | Towards Industrial-Scale Product Configuration. Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko |
| 2024 | Towards Mass Spectrum Analysis with ASP. Nils Küchenmeister, Alex Ivliev, Markus Krötzsch |
| 2024 | Using Learning from Answer Sets for Robust Question Answering with LLM. Irfan Kareem, Katie Gallagher, Manuel A. Borroto, Francesco Ricca, Alessandra Russo |
| 2024 | tExplain: Information Extraction with Explanations. Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare |