3 citations · 6 across the 5 of their papers we have counts for
5 papers
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…
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…
Proving Infinitary Formulas
Amelia Harrison, Vladimir Lifschitz, Julian Michael
The infinitary propositional logic of here-and-there is important for the theory of answer set programming in view of its relation to strongly equivalent transformations of logic p…
First-Order Modular Logic Programs and their Conservative Extensions
Amelia Harrison, Yuliya Lierler
Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, whic…
On the Semantics of Gringo
Amelia Harrison, Vladimir Lifschitz, Fangkai Yang
Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local var…