72 citations · 90 across the 7 of their papers we have counts for
7 papers
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…
Abstract Gringo
Martin Gebser, Amelia Harrison, Roland Kaminski +2
This paper defines the syntax and semantics of the input language of the ASP grounder GRINGO. The definition covers several constructs that were not discussed in earlier work on th…
On Equivalence of Infinitary Formulas under the Stable Model Semantics
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
Propositional formulas that are equivalent in intuitionistic logic, or in its extension known as the logic of here-and-there, have the same stable models. We extend this theorem to…
Relational Theories with Null Values and Non-Herbrand Stable Models
Vladimir Lifschitz, Karl Pichotta, Fangkai Yang
Generalized relational theories with null values in the sense of Reiter are first-order theories that provide a semantics for relational databases with incomplete information. In t…
Temporal Phylogenetic Networks and Logic Programming
Esra Erdem, Vladimir Lifschitz, Don Ringe
The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their…
Weight Constraints as Nested Expressions
Paolo Ferraris, Vladimir Lifschitz
We compare two recent extensions of the answer set (stable model) semantics of logic programs. One of them, due to Lifschitz, Tang and Turner, allows the bodies and heads of rules…