The semantics of Gringo and infinitary propositional formulas. (2014)

by A Harrison, V Lifschitz, F Yang
Venue:In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR).