8 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
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…