2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
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…
cs.LO2022★ 2 cited
Verification of Locally Tight Programs
Jorge Fandinno, Vladimir Lifschitz, Nathan Temple
Program completion is a translation from the language of logic programs into the language of first-order theories. Its original definition has been extended to programs that includ…