984 citations · 1.7k across the 12 of their papers we have counts for
1 paper · 2 filters
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…