Jorge Fandinno

According to our database, Jorge Fandinno authored at least 64 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Syntactic ASP forgetting with forks.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., January, 2024

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

J. Artif. Intell. Res., 2024

Solving Epistemic Logic Programs using Generate-and-Test with Propagation.

Jorge Fandinno, Lute Lillo

CoRR, 2024

Deductive Systems for Logic Programs with Counting: Preliminary Report.

Jorge Fandinno, Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

tExplain: Information Extraction with Explanations.

Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Positive Dependency Graphs Revisited.

Jorge Fandinno, Vladimir Lifschitz

Theory Pract. Log. Program., September, 2023

Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach.

Michael Gelfond, Jorge Fandinno, Evgenii Balai

Theory Pract. Log. Program., July, 2023

External Behavior of a Logic Program and Verification of Refactoring.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple

Theory Pract. Log. Program., July, 2023

On the Semantics of Hybrid ASP Systems Based on Clingo.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Algorithms, April, 2023

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic.

Jorge Fandinno, Luis Fariñas del Cerro

Theory Pract. Log. Program., March, 2023

Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs.

Jorge Fandinno, Vladimir Lifschitz

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

On Heuer's Procedure for Verifying Strong Equivalence.

Jorge Fandinno, Vladimir Lifschitz

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs.

Jorge Fandinno, Markus Hecher

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Recursive Aggregates as Intensional Functions.

Jorge Fandinno, Zachary Hansen

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Answer Set Programming Made Easy.

Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

Splitting Answer Set Programs with Respect to Intensionality Statements.

Jorge Fandinno, Yuliya Lierler

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Thirty years of Epistemic Specifications.

Jorge Fandinno, Wolfgang Faber, Michael Gelfond

Theory Pract. Log. Program., 2022

Verification of Locally Tight Programs.

Jorge Fandinno, Vladimir Lifschitz

CoRR, 2022

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs.

Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran

Algorithms, 2022

A polynomial reduction of forks into logic programs.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., 2022

Arguing Correctness of ASP Programs with Aggregates.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Axiomatization of Aggregates in Answer Set Programming.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Planning with Incomplete Information in Quantified Answer Set Programming.

Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son

Theory Pract. Log. Program., 2021

Splitting Epistemic Logic Programs.

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Theory Pract. Log. Program., 2021

Towards a Semantics for Hybrid ASP systems.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

CoRR, 2021

Valid attacks in argumentation frameworks with recursive attacks.

Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

Ann. Math. Artif. Intell., 2021

Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard.

Jorge Fandinno, Markus Hecher

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Verifying Tight Logic Programs with anthem and vampire.

Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Theory Pract. Log. Program., 2020

Modular Answer Set Programming as a Formal Specification Language.

Pedro Cabalar, Jorge Fandinno, Yuliya Lierler

Theory Pract. Log. Program., 2020

eclingo : A Solver for Epistemic Logic Programs.

Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub

Theory Pract. Log. Program., 2020

A System for Explainable Answer Set Programming.

Pedro Cabalar, Jorge Fandinno, Brais Muñiz

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Autoepistemic answer set programming.

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Artif. Intell., 2020

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

On the Splitting Property for Epistemic Logic Programs (Extended Abstract).

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Forgetting Auxiliary Atoms in Forks (Extended Abstract).

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning.

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

An ASP Semantics for Constraints Involving Conditional Aggregates.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Explicit Negation in Linear-Dynamic Equilibrium Logic.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Answering the "why" in answer set programming - A survey of explanation approaches.

Jorge Fandinno, Claudia Schulz

Theory Pract. Log. Program., 2019

Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting.

Jorge Fandinno

Theory Pract. Log. Program., 2019

Revisiting Explicit Negation in Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Theory Pract. Log. Program., 2019

Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019.

Jorge Fandinno, Johannes Klaus Fichte

CoRR, 2019

On the Relation between Weak Completion Semantics and Answer Set Semantics.

Emmanuelle-Anna Dietz Saldanha, Jorge Fandinno

CoRR, 2019

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

On the expressive power of collective attacks.

Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran

Argument Comput., 2019

Gelfond-Zhang aggregates as propositional formulas.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Artif. Intell., 2019

Forgetting auxiliary atoms in forks.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., 2019

Founded World Views with Autoepistemic Equilibrium Logic.

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Lower Bound Founded Logic of Here-and-There.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce

Theory Pract. Log. Program., 2018

Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018.

Jorge Fandinno, Johannes Klaus Fichte

CoRR, 2018

Constructive Logic Covers Argumentation and Logic Programming.

Jorge Fandinno, Luis Fariñas del Cerro

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports.

Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

Proceedings of the Foundations of Information and Knowledge Systems, 2018

Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports.

Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

Proceedings of the Computational Models of Argument, 2018

2017

Enablers and inhibitors in causal justifications of logic programs.

Pedro Cabalar, Jorge Fandinno

Theory Pract. Log. Program., 2017

On the Properties of Atom Definability and Well-Supportedness in Logic Programming.

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Deriving conclusions from non-monotonic cause-effect relations.

Jorge Fandinno

Theory Pract. Log. Program., 2016

Justifications for programs with disjunctive and causal-choice rules.

Pedro Cabalar, Jorge Fandinno

Theory Pract. Log. Program., 2016

Towards Deriving Conclusions from Cause-effect Relations.

Jorge Fandinno

Fundam. Informaticae, 2016

2015

Explaining Preferences and Preferring Explanations.

Pedro Cabalar, Jorge Fandiño

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Causal Graph Justifications of Logic Programs.

Pedro Cabalar, Jorge Fandinno, Michael Fink

Theory Pract. Log. Program., 2014

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes.

Pedro Cabalar, Jorge Fandiño, Michael Fink

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Algebraic Approach to Causal Logic Programs.

Jorge Fandinno

Theory Pract. Log. Program., 2013

An Algebra of Causal Chains.

Pedro Cabalar, Jorge Fandinno

CoRR, 2013