1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2019
Relating Two Dialects of Answer Set Programming
Amelia Harrison, Vladimir Lifschitz
The input language of the answer set solver clingo is based on the definition of a stable model proposed by Paolo Ferraris. The semantics of the ASP-Core language, developed by the…
cs.LO2017★ 1 cited
Program Completionin the Input Language of GRINGO
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that co…