1 citations · 1 across the 4 of their papers we have counts for
4 papers
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
Michael Gelfond, Jorge Fandinno, Evgenii Balai
This paper presents a rich knowledge representation language aimed at formalizing causal knowledge. This language is used for accurately and directly formalizing common benchmark e…
External Behavior of a Logic Program and Verification of Refactoring
Jorge Fandinno, Zachary Hansen, Yuliya Lierler +2
Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming langu…
Positive Dependency Graphs Revisited
Jorge Fandinno, Vladimir Lifschitz
Theory of stable models is the mathematical basis of answer set programming. Several results in that theory refer to the concept of the positive dependency graph of a logic program…
Causal Graph Justifications of Logic Programs
Pedro Cabalar, Jorge Fandinno, Michael Fink
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications. The…