| 2026 | KR | A Normal Form for Rules Containing Arithmetic Operations. | Jorge Fandinno, Yuliya Lierler, Vladimir Lifschitz |
| 2025 | AAAI | Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence. | Jorge Fandinno, Zachary Hansen |
| 2025 | AAAI | Solving Epistemic Logic Programs Using Generate-and-Test with Propagation. | Jorge Fandinno, Lute Lillo |
| 2024 | LPNMR | tExplain: Information Extraction with Explanations. | Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muiz, Joel Sare |
| 2024 | LPNMR | Deductive Systems for Logic Programs with Counting: Preliminary Report. | Jorge Fandinno, Vladimir Lifschitz |
| 2023 | AAAI | Splitting Answer Set Programs with Respect to Intensionality Statements. | Jorge Fandinno, Yuliya Lierler |
| 2023 | ICLP | Recursive Aggregates as Intensional Functions. | Jorge Fandinno, Zachary Hansen |
| 2023 | IJCAI | Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs. | Jorge Fandinno, Markus Hecher |
| 2023 | JELIA | On Heuer's Procedure for Verifying Strong Equivalence. | Jorge Fandinno, Vladimir Lifschitz |
| 2023 | KR | Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. | Jorge Fandinno, Vladimir Lifschitz |
| 2022 | AAAI | Axiomatization of Aggregates in Answer Set Programming. | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
| 2022 | LPNMR | Syntactic ASP Forgetting with Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2022 | LPNMR | Arguing Correctness of ASP Programs with Aggregates. | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
| 2021 | AAAI | Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard. | Jorge Fandinno, Markus Hecher |
| 2020 | ECAI | Explicit Negation in Linear-Dynamic Equilibrium Logic. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Prez, Concepcin Vidal |
| 2020 | ECAI | An ASP Semantics for Constraints Involving Conditional Aggregates. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2020 | ICLP | Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2020 | IJCAI | Forgetting Auxiliary Atoms in Forks (Extended Abstract). | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2020 | IJCAI | On the Splitting Property for Epistemic Logic Programs (Extended Abstract). | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2020 | KR | A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2019 | JELIA | Lower Bound Founded Logic of Here-and-There. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2019 | LPNMR | Splitting Epistemic Logic Programs. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2019 | LPNMR | Founded World Views with Autoepistemic Equilibrium Logic. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2018 | COMMA | Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. | Claudette Cayrol, Jorge Fandinno, Luis Farias del Cerro, Marie-Christine Lagasquie-Schiex |
| 2018 | COMMA | On the Expressive Power of Collective Attacks. | Wolfgang Dvork, Jorge Fandinno, Stefan Woltran |
| 2018 | KR | Constructive Logic Covers Argumentation and Logic Programming. | Jorge Fandinno, Luis Farias del Cerro |
| 2017 | EPIA | On the Properties of Atom Definability and Well-Supportedness in Logic Programming. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2017 | LPNMR | Forgetting Auxiliary Atoms in Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2017 | LPNMR | Gelfond-Zhang Aggregates as Propositional Formulas. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2015 | LPNMR | Enablers and Inhibitors in Causal Justifications of Logic Programs. | Pedro Cabalar, Jorge Fandinno |