Jorge Fandinno

107 papers A* 11A 2B 10C 2Misc 1Journal 70Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	FLINGO - Instilling ASP Expressiveness into Linear Integer Constraints. CoRR Jorge Fandinno, Pedro Cabalar, Philipp Wanko, Torsten Schaub
2025	J	`jnl`	ANTHEM 2.0: Automated Reasoning for Answer Set Programming. Theory Pract. Log. Program. Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmann, Vladimir Lifschitz
2025	J	`jnl`	Anthem 2.0: Automated Reasoning for Answer Set Programming. CoRR Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
2025	J	`jnl`	Deductive Systems for Logic Programs with Counting. CoRR Jorge Fandinno, Vladimir Lifschitz
2025	J	`jnl`	Deductive Systems for Logic Programs with Counting. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz
2025	—	`ed.`	Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025. ICLP Workshops Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2025	A*	`conf`	Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence. AAAI Jorge Fandinno, Zachary Hansen
2025	A*	`conf`	Solving Epistemic Logic Programs Using Generate-and-Test with Propagation. AAAI Jorge Fandinno, Lute Lillo
2025	J	`jnl`	Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version). CoRR Jorge Fandinno, Yuliya Lierler
2025	J	`jnl`	Strong Equivalence in Answer Set Programming with Constraints. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2024	J	`jnl`	Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming. J. Artif. Intell. Res. Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2024	B	`conf`	Deductive Systems for Logic Programs with Counting: Preliminary Report. LPNMR Jorge Fandinno, Vladimir Lifschitz
2024	J	`jnl`	Locally Tight Programs. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz, Nathan Temple
2024	J	`jnl`	Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence. CoRR Jorge Fandinno, Zachary Hansen
2024	J	`jnl`	Solving Epistemic Logic Programs using Generate-and-Test with Propagation. CoRR Jorge Fandinno, Lute Lillo
2024	J	`jnl`	Syntactic ASP forgetting with forks. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2024	B	`conf`	tExplain: Information Extraction with Explanations. LPNMR Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare
2023	J	`jnl`	Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. Theory Pract. Log. Program. Jorge Fandinno, Luis Fariñas del Cerro
2023	—	`conf`	Answer Set Programming Made Easy. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
2023	J	`jnl`	Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. CoRR Michael Gelfond, Jorge Fandinno, Evgenii Balai
2023	J	`jnl`	Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. Theory Pract. Log. Program. Michael Gelfond, Jorge Fandinno, Evgenii Balai
2023	J	`jnl`	External Behavior of a Logic Program and Verification of Refactoring. CoRR Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023	J	`jnl`	External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023	A*	`conf`	Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. KR Jorge Fandinno, Vladimir Lifschitz
2023	B	`conf`	On Heuer's Procedure for Verifying Strong Equivalence. JELIA Jorge Fandinno, Vladimir Lifschitz
2023	J	`jnl`	On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2023	J	`jnl`	Positive Dependency Graphs Revisited. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz
2023	—	`conf`	Recursive Aggregates as Intensional Functions. ICLP Workshops Jorge Fandinno, Zachary Hansen
2023	A*	`conf`	Splitting Answer Set Programs with Respect to Intensionality Statements. AAAI Jorge Fandinno, Yuliya Lierler
2023	A*	`conf`	Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs. IJCAI Jorge Fandinno, Markus Hecher
2022	J	`jnl`	A polynomial reduction of forks into logic programs. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2022	J	`jnl`	Abstract argumentation and answer set programming: two faces of Nelson's logic. CoRR Jorge Fandinno, Luis Fariñas del Cerro
2022	B	`conf`	Arguing Correctness of ASP Programs with Aggregates. LPNMR Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2022	A*	`conf`	Axiomatization of Aggregates in Answer Set Programming. AAAI Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2022	J	`jnl`	Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
2022	J	`jnl`	Positive Dependency Graphs Revisited. CoRR Jorge Fandinno, Vladimir Lifschitz
2022	—	`ed.`	Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. ICLP Workshops Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari
2022	B	`conf`	Syntactic ASP Forgetting with Forks. LPNMR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2022	J	`jnl`	Thirty years of Epistemic Specifications. Theory Pract. Log. Program. Jorge Fandinno, Wolfgang Faber, Michael Gelfond
2022	J	`jnl`	Verification of Locally Tight Programs. CoRR Jorge Fandinno, Vladimir Lifschitz
2021	J	`jnl`	Answer Set Programming Made Easy. CoRR Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
2021	J	`jnl`	Planning with Incomplete Information in Quantified Answer Set Programming. CoRR Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2021	J	`jnl`	Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program. Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2021	J	`jnl`	Splitting Epistemic Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2021	J	`jnl`	Thirty years of Epistemic Specifications. CoRR Jorge Fandinno, Wolfgang Faber, Michael Gelfond
2021	J	`jnl`	Towards a Semantics for Hybrid ASP systems. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2021	A*	`conf`	Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard. AAAI Jorge Fandinno, Markus Hecher
2021	J	`jnl`	Valid attacks in argumentation frameworks with recursive attacks. Ann. Math. Artif. Intell. Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2020	—	`conf`	A System for Explainable Answer Set Programming. ICLP Technical Communications Pedro Cabalar, Jorge Fandinno, Brais Muñiz
2020	A*	`conf`	A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	J	`jnl`	A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	A	`conf`	An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	J	`jnl`	An ASP semantics for Constraints involving Conditional Aggregates. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	J	`jnl`	Autoepistemic answer set programming. Artif. Intell. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	—	`conf`	Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	A	`conf`	Explicit Negation in Linear-Dynamic Equilibrium Logic. ECAI Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal
2020	A*	`conf`	Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2020	—	`ed.`	International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. ICLP Workshops Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari
2020	J	`jnl`	Modular Answer Set Programming as a Formal Specification Language. CoRR Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
2020	J	`jnl`	Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
2020	A*	`conf`	On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	J	`jnl`	Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard. CoRR Markus Hecher, Jorge Fandinno
2020	J	`jnl`	Verifying Tight Logic Programs with anthem and Vampire. CoRR Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2020	J	`jnl`	Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2020	J	`jnl`	eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2020	J	`jnl`	eclingo: A solver for Epistemic Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2019	—	`conf`	A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. ICLP Technical Communications Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
2019	J	`jnl`	Answering the "why" in answer set programming - A survey of explanation approaches. Theory Pract. Log. Program. Jorge Fandinno, Claudia Schulz
2019	J	`jnl`	Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Forgetting auxiliary atoms in forks. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	J	`jnl`	Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. CoRR Jorge Fandinno
2019	J	`jnl`	Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. Theory Pract. Log. Program. Jorge Fandinno
2019	B	`conf`	Founded World Views with Autoepistemic Equilibrium Logic. LPNMR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Founded World Views with Autoepistemic Equilibrium Logic. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2019	B	`conf`	Lower Bound Founded Logic of Here-and-There. JELIA Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2019	J	`jnl`	On the Relation between Weak Completion Semantics and Answer Set Semantics. CoRR Emmanuelle-Anna Dietz Saldanha, Jorge Fandinno
2019	J	`jnl`	On the expressive power of collective attacks. Argument Comput. Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
2019	J	`jnl`	Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019. CoRR Jorge Fandinno, Johannes Klaus Fichte
2019	J	`jnl`	Revisiting Explicit Negation in Answer Set Programming. CoRR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	J	`jnl`	Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	B	`conf`	Splitting Epistemic Logic Programs. LPNMR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2018	J	`jnl`	Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches. CoRR Jorge Fandinno, Claudia Schulz
2018	—	`conf`	Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. FoIKS Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2018	A*	`conf`	Constructive Logic Covers Argumentation and Logic Programming. KR Jorge Fandinno, Luis Fariñas del Cerro
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2018	C	`conf`	On the Expressive Power of Collective Attacks. COMMA Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
2018	J	`jnl`	Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018. CoRR Jorge Fandinno, Johannes Klaus Fichte
2018	J	`jnl`	Splitting Epistemic Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2018	C	`conf`	Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. COMMA Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2017	J	`jnl`	Enablers and inhibitors in causal justifications of logic programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno
2017	—	`conf`	Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2017	B	`conf`	Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2017	Misc	`conf`	On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2017	—	`conf`	Valid Attacks in Argumentation Frameworks with Recursive Attacks. COMMONSENSE Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2016	J	`jnl`	Deriving Conclusions From Non-Monotonic Cause-Effect Relations. CoRR Jorge Fandinno
2016	J	`jnl`	Deriving conclusions from non-monotonic cause-effect relations. Theory Pract. Log. Program. Jorge Fandinno
2016	J	`jnl`	Enablers and Inhibitors in Causal Justifications of Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno
2016	J	`jnl`	Justifications for Programs with Disjunctive and Causal-choice Rules. CoRR Pedro Cabalar, Jorge Fandinno
2016	J	`jnl`	Justifications for programs with disjunctive and causal-choice rules. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno
2016	J	`jnl`	Towards Deriving Conclusions from Cause-effect Relations. Fundam. Informaticae Jorge Fandinno
2015	B	`conf`	Enablers and Inhibitors in Causal Justifications of Logic Programs. LPNMR Pedro Cabalar, Jorge Fandinno
2014	J	`jnl`	Causal Graph Justifications of Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Michael Fink
2014	J	`jnl`	Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Michael Fink
2013	J	`jnl`	Algebraic Approach to Causal Logic Programs. Theory Pract. Log. Program. Jorge Fandinno
2013	J	`jnl`	An Algebra of Causal Chains. CoRR Pedro Cabalar, Jorge Fandinno