| 2024 | Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. | Ringo Baumann, Hannes Strass |
| 2024 | A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. | Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner |
| 2024 | Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. | Mario Alviano, Luis Angel Rodriguez Reiners |
| 2024 | Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. | Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt |
| 2024 | Integrating Structured Declarative Language (SDL) into ASP Chef. | Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners, Ilaria R. Vasile |
| 2022 | Knowledge-Based Support for Adhesive Selection. | Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens |
| 2022 | QMaxSATpb: A Certified MaxSAT Solver. | Dieter Vandesande, Wolf De Wulf, Bart Bogaerts |
| 2022 | xASP: An Explanation Generation System for Answer Set Programming. | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
| 2022 | Towards Causality-Based Conflict Resolution in Answer Set Programs. | Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner |
| 2022 | Gradient-Based Supported Model Computation in Vector Spaces. | Akihiro Takemura, Katsumi Inoue |
| 2022 | A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images. | Marco Scarfone, Pierangela Bruno, Francesco Calimeri |
| 2022 | Interlinking Logic Programs and Argumentation Frameworks. | Chiaki Sakama, Tran Cao Son |
| 2022 | Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. | Masood Feyzbakhsh Rankooh, Tomi Janhunen |
| 2022 | Pinpointing Axioms in Ontologies via ASP. | Rafael Pealoza, Francesco Ricca |
| 2022 | Computing Smallest MUSes of Quantified Boolean Formulas. | Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Jrvisalo |
| 2022 | A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. | Liu Liu, Mirek Truszczynski, Yuliya Lierler |
| 2022 | Mining Sequences in Phone Recordings with Answer Set Programming. | Francesca Alessandra Lisi, Gioacchino Sterlicchio |
| 2022 | Learning to Rank the Distinctiveness of Behaviour in Serial Offending. | Mark Law, Thophile Sautory, Ludovico Mitchener, Kari Davies, Matthew J. Tonkin, Jessica Woodhams, Dalal Alrajeh |
| 2022 | Towards Provenance in Heterogeneous Knowledge Bases. | Matthias Knorr, Carlos Viegas Damsio, Ricardo Gonalves, Joo Leite |
| 2022 | Explainability via Short Formulas: the Case of Propositional Logic with Implementation. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2022 | State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. | Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | Semantics for Conditional Literals via the SM Operator. | Zachary Hansen, Yuliya Lierler |
| 2022 | Clingraph: ASP-Based Visualization. | Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann |
| 2022 | Inference to the Stable Explanations. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani |
| 2022 | Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |