The Semantics of Gringo and Infinitary Propositional Formulas.

Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang

Browse the full KR paper archive.