Jorge Fandinno

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 85

Top Topics

Computing Paradigm

Epistemic Logic

Dependency Graphs

Top Venues

Theory Pract. Log. Program.

Publications

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP forgetting with forks. Artif. Intell. 326 (2024)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming. J. Artif. Intell. Res. 80 (2024)
Jorge Fandinno, Luis Fariñas del Cerro
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. Theory Pract. Log. Program. 23 (2) (2023)
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
Answer Set Programming Made Easy. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Jorge Fandinno, Markus Hecher
Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs. IJCAI (2023)
Michael Gelfond, Jorge Fandinno, Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. Theory Pract. Log. Program. 23 (4) (2023)
Michael Gelfond, Jorge Fandinno, Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. CoRR (2023)
Jorge Fandinno, Vladimir Lifschitz
Positive Dependency Graphs Revisited. Theory Pract. Log. Program. 23 (5) (2023)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
External Behavior of a Logic Program and Verification of Refactoring. CoRR (2023)
Jorge Fandinno, Vladimir Lifschitz
On Heuer's Procedure for Verifying Strong Equivalence. JELIA (2023)
Jorge Fandinno, Yuliya Lierler
Splitting Answer Set Programs with Respect to Intensionality Statements. AAAI (2023)
Jorge Fandinno, Zachary Hansen
Recursive Aggregates as Intensional Functions. ICLP Workshops (2023)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms 16 (4) (2023)
Jorge Fandinno, Vladimir Lifschitz
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. KR (2023)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. 23 (4) (2023)
Jorge Fandinno, Luis Fariñas del Cerro
Abstract argumentation and answer set programming: two faces of Nelson's logic. CoRR (2022)
Jorge Fandinno, Vladimir Lifschitz
Positive Dependency Graphs Revisited. CoRR (2022)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
Arguing Correctness of ASP Programs with Aggregates. LPNMR (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
A polynomial reduction of forks into logic programs. Artif. Intell. 308 (2022)
Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms 15 (6) (2022)
Jorge Fandinno, Vladimir Lifschitz
Verification of Locally Tight Programs. CoRR (2022)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
Axiomatization of Aggregates in Answer Set Programming. AAAI (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP Forgetting with Forks. LPNMR (2022)
Jorge Fandinno, Wolfgang Faber, Michael Gelfond
Thirty years of Epistemic Specifications. Theory Pract. Log. Program. 22 (6) (2022)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
Towards a Semantics for Hybrid ASP systems. CoRR (2021)
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program. 21 (5) (2021)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. Theory Pract. Log. Program. 21 (3) (2021)
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
Answer Set Programming Made Easy. CoRR (2021)
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
Planning with Incomplete Information in Quantified Answer Set Programming. CoRR (2021)
Jorge Fandinno, Wolfgang Faber, Michael Gelfond
Thirty years of Epistemic Specifications. CoRR (2021)
Jorge Fandinno, Markus Hecher
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard. AAAI (2021)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Valid attacks in argumentation frameworks with recursive attacks. Ann. Math. Artif. Intell. 89 (1-2) (2021)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal
Explicit Negation in Linear-Dynamic Equilibrium Logic. ECAI (2020)
Markus Hecher, Jorge Fandinno
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
An ASP semantics for Constraints involving Conditional Aggregates. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR (2020)
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and Vampire. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI (2020)
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
eclingo: A solver for Epistemic Logic Programs. CoRR (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Brais Muñiz
A System for Explainable Answer Set Programming. ICLP Technical Communications (2020)
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
Modular Answer Set Programming as a Formal Specification Language. CoRR (2020)
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. 20 (6) (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Autoepistemic answer set programming. Artif. Intell. 289 (2020)
Jorge Fandinno, Johannes Klaus Fichte
Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019. CoRR (2019)
Emmanuelle-Anna Dietz Saldanha, Jorge Fandinno
On the Relation between Weak Completion Semantics and Answer Set Semantics. CoRR (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. CoRR (2019)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274 (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. LPNMR (2019)
Jorge Fandinno, Claudia Schulz
Answering the "why" in answer set programming - A survey of explanation approaches. Theory Pract. Log. Program. 19 (2) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. ICLP Technical Communications (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Founded World Views with Autoepistemic Equilibrium Logic. CoRR (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR (2019)
Jorge Fandinno
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. CoRR (2019)
Jorge Fandinno
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. Theory Pract. Log. Program. 19 (5-6) (2019)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Lower Bound Founded Logic of Here-and-There. JELIA (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Founded World Views with Autoepistemic Equilibrium Logic. LPNMR (2019)
Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
On the expressive power of collective attacks. Argument Comput. 10 (2) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting auxiliary atoms in forks. Artif. Intell. 275 (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. CoRR (2018)
Jorge Fandinno, Luis Fariñas del Cerro
Constructive Logic Covers Argumentation and Logic Programming. KR (2018)
Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
On the Expressive Power of Collective Attacks. COMMA (2018)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. FoIKS (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR (2018)
Jorge Fandinno, Johannes Klaus Fichte
Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018. CoRR (2018)
Jorge Fandinno, Claudia Schulz
Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches. CoRR (2018)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. COMMA (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. 18 (3-4) (2018)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Valid Attacks in Argumentation Frameworks with Recursive Attacks. COMMONSENSE (2017)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR (2017)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA (2017)
Pedro Cabalar, Jorge Fandinno
Enablers and inhibitors in causal justifications of logic programs. Theory Pract. Log. Program. 17 (1) (2017)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR (2017)
Jorge Fandinno
Deriving Conclusions From Non-Monotonic Cause-Effect Relations. CoRR (2016)
Pedro Cabalar, Jorge Fandinno
Justifications for programs with disjunctive and causal-choice rules. Theory Pract. Log. Program. 16 (5-6) (2016)
Pedro Cabalar, Jorge Fandinno
Enablers and Inhibitors in Causal Justifications of Logic Programs. CoRR (2016)
Pedro Cabalar, Jorge Fandinno
Justifications for Programs with Disjunctive and Causal-choice Rules. CoRR (2016)
Jorge Fandinno
Deriving conclusions from non-monotonic cause-effect relations. Theory Pract. Log. Program. 16 (5-6) (2016)
Jorge Fandinno
Towards Deriving Conclusions from Cause-effect Relations. Fundam. Informaticae 147 (1) (2016)
Pedro Cabalar, Jorge Fandinno
Enablers and Inhibitors in Causal Justifications of Logic Programs. LPNMR (2015)
Pedro Cabalar, Jorge Fandinno, Michael Fink
Causal Graph Justifications of Logic Programs. CoRR (2014)
Pedro Cabalar, Jorge Fandinno, Michael Fink
Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. 14 (4-5) (2014)
Pedro Cabalar, Jorge Fandinno
An Algebra of Causal Chains. CoRR (2013)
Jorge Fandinno
Algebraic Approach to Causal Logic Programs. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)