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.

PDF

In Proceedings of European Conference on Logics in Artificial Intelligence, 2021.

@inproceedings{natural20, title={Transforming Gringo Rules into Formulas in a Natural Way}, author={Vladimir Lifschitz}, booktitle={Proceedings of European Conference on Logics in Artificial Intelligence}, month={ }, url="http://www.cs.utexas.edu/users/ai-labpub-view.php?PubID=127862", year={2021} }