Transforming Gringo Rules into Formulas in a Natural Way (2021)
Research on the input language of the ASP grounder gringo uses a translation that converts rules in the input language of gringo into first-order formulas. That translation often transforms short rules into formulas that are syntactically complex. In this note we identify a class of rules that can be transformed into formulas in a simpler, more natural way. The new translation contributes to our understanding of the relationship between the language of gringo and first-order languages.
In Proceedings of European Conference on Logics in Artificial Intelligence, 2021.

Vladimir Lifschitz Faculty vl [at] cs utexas edu