Skip to main content Accessibility help
×
Home

Abstract gringo

  • MARTIN GEBSER (a1) (a2), AMELIA HARRISON (a3), ROLAND KAMINSKI (a4), VLADIMIR LIFSCHITZ (a5) and TORSTEN SCHAUB (a6) (a7)...

Abstract

This paper defines the syntax and semantics of the input language of the ASP grounder gringo. The definition covers several constructs that were not discussed in earlier work on the semantics of that language, including intervals, pools, division of integers, aggregates with non-numeric values, and lparse-style aggregate expressions. The definition is abstract in the sense that it disregards some details related to representing programs by strings of ASCII characters. It serves as a specification for gringo from Version 4.5 on.

Copyright

References

Hide All
Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F. and Schaub, T. 2012. ASP-Core-2: Input language format. Available at https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.0.pdf.
Ferraris, P. 2005. Answer sets for propositional theories. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 119–131.
Ferraris, P. and Lifschitz, V. 2005. Weight constraints as nested expressions. Theory and Practice of Logic Programming 5, 1–2, 4574.
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2011. Challenges in answer set solving. In Logic programming, knowledge representation, and nonmonotonic reasoning. Springer, 7490.
Harrison, A., Lifschitz, V., Pearce, D. and Valverde, A. 2015. Infinitary equilibrium logic and strong equivalence. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). http://www.cs.utexas.edu/users/vl/papers/iel_lpnmr.pdf; to appear.
Harrison, A., Lifschitz, V. and Yang, F. 2014. The semantics of Gringo and infinitary propositional formulas. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR).
Lifschitz, V., Pearce, D. and Valverde, A. 2001. Strongly equivalent logic programs. ACM Transactions on Computational Logic 2, 526541.
Lifschitz, V., Tang, L. R. and Turner, H. 1999. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence 25, 369389.
Truszczynski, M. 2012. Connecting first-order ASP and the logic FO(ID) through reducts. In Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, Erdem, E., Lee, J., Lierler, Y., and Pearce, D., Eds. Springer, 543559.
Type Description Title
PDF
Supplementary materials

Gebser supplementary material
Online Appendix

 PDF (208 KB)
208 KB

Abstract gringo

  • MARTIN GEBSER (a1) (a2), AMELIA HARRISON (a3), ROLAND KAMINSKI (a4), VLADIMIR LIFSCHITZ (a5) and TORSTEN SCHAUB (a6) (a7)...

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed