ASP-Core-2 input language format. (English) Zbl 1472.68180
Summary: Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document, we present the ASP-Core-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.
MSC:
| 68T20 | Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) |
| 68N17 | Logic programming |
| 68T30 | Knowledge representation |
References:
| [1] | Abiteboul, S., Hull, R. and Vianu, V.1995. Foundations of Databases. Addison-Wesley. · Zbl 0848.68031 |
| [2] | Alviano, M., Calimeri, F., Faber, W., Leone, N. and Perri, S.2011. Unfounded sets and well-founded semantics of answer set programs with aggregates. Journal of Artificial Intelligence Research42, 487-527. · Zbl 1234.68367 |
| [3] | Alviano, M., Faber, W. and Gebser, M.2015. Rewriting recursive aggregates in answer set programming: Back to monotonicity. Theory and Practice of Logic Programming 15, 4-5, 559-573. · Zbl 1379.68034 |
| [4] | Brain, M., Faber, W., Maratea, M., Polleres, A., Schaub, T. and Schindlauer, R.2007. What should an asp solver output? A multiple position paper. In Proceedings of the First International SEA’07 Workshop. CEUR Workshop Proceedings, vol. 281. |
| [5] | Brewka, G., Eiter, T. and Truszczyński, M.2011. Answer set programming at a glance. Communications of the ACM 54, 12, 92-103. |
| [6] | Calimeri, F., Cozza, S., Ianni, G. and Leone, N.2011a. Finitely recursive programs: Decidability and bottom-up computation. AI Communications 24, 4, 311-334. · Zbl 1235.68223 |
| [7] | Calimeri, F., Gebser, M., Maratea, M. and Ricca, F.2016. Design and results of the Fifth Answer Set Programming Competition. Artificial Intelligence231, 151-181. · Zbl 1344.68042 |
| [8] | Calimeri, F., Ianni, G. and Ricca, F.2014. The third open answer set programming competition. TPLP 14, 1, 117-135. |
| [9] | Calimeri, F., Ianni, G., Ricca, F. and 2011b. Third ASP Competition, File and language formats. URL: http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf. |
| [10] | Dell’Armi, T., Faber, W., Ielpa, G., Leone, N. and Pfeifer, G.2003. Aggregate functions in DLV. In Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, Messina, Italy, De Vos, M. and Provetti, A., Eds, 274-288. URL: http://CEUR-WS.org/Vol-78/. |
| [11] | Denecker, M., Pelov, N. and Bruynooghe, M.2001. Ultimate well-founded and stable model semantics for logic programs with aggregates. In Proceedings of the 17th International Conference on Logic Programming, Codognet, P., Ed. Springer Verlag, 212-226. · Zbl 1053.68526 |
| [12] | Erdem, E., Gelfond, M. and Leone, N.2016. Applications of answer set programming. AI Magazine 37, 3, 53-68. |
| [13] | Faber, W., Leone, N. and Pfeifer, G.2004. Recursive aggregates in disjunctive logic programs: Semantics and complexity. In Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004), Alferes, J. J. and Leite, J., Eds. Lecture Notes in AI (LNAI), vol. 3229. Springer Verlag, 200-212. · Zbl 1111.68380 |
| [14] | Faber, W., Leone, N. and Pfeifer, G.2011. Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence 175, 1, 278-298. Special Issue: John McCarthy’s Legacy. · Zbl 1216.68263 |
| [15] | Ferraris, P.2005. Answer sets for propositional theories. In Logic Programming and Nonmonotonic Reasoning — 8th International Conference, LPNMR’05, Diamante, Italy, September 2005, Proceedings, Baral, C., Greco, G., Leone, N. and Terracina, G., Eds. Lecture Notes in Computer Science, vol. 3662. Springer Verlag, 119-131. · Zbl 1152.68408 |
| [16] | Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V. and Schaub, T.2015. Abstract Gringo. Theory and Practice of Logic Programming 15, 4-5, 449-463. · Zbl 1379.68031 |
| [17] | Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Wanko, P.2016. Theory solving made easy with clingo 5. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016 TCs), Carro, M., King, A., Saeedloei, N. and Vos, M. D., Eds. OASICS, vol. 52. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2:1-2:15. |
| [18] | Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F. and Schaub, T.2018a. Evaluation techniques and systems for answer set programming: A survey. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), Lang, J., Ed. ijcai.org, 5450-5456. |
| [19] | Gebser, M., Maratea, M. and Ricca, F.2017a. The design of the seventh answer set programming competition. In Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Balduccini, M. and Janhunen, T., Eds. Lecture Notes in Computer Science, vol. 10377. Springer, 3-9. · Zbl 1418.68029 |
| [20] | Gebser, M., Maratea, M. and Ricca, F.2017b. The sixth answer set programming competition. Journal of Artificial Intelligence Research60, 41-95. · Zbl 1418.68030 |
| [21] | Gebser, M., Obermeier, P., Schaub, T., Ratsch-Heitmann, M. and Runge, M.2018b. Routing driverless transport vehicles in car assembly with answer set programming. TPLP 18, 3-4, 520-534. |
| [22] | Gelfond, M.2002. Representing knowledge in A-Prolog. In Computational Logic. Logic Programming and Beyond,Kakas, A. C. and Sadri, F., Eds. LNCS, vol. 2408. Springer, 413-451. · Zbl 1012.68545 |
| [23] | Gelfond, M. and Lifschitz, V.1991. Classical negation in logic programs and disjunctive databases. New Generation Computing9, 365-385. · Zbl 0735.68012 |
| [24] | Gelfond, M. and Zhang, Y.2014. Vicious circle principle and logic programs with aggregates. Theory and Practice of Logic Programming 14, 4-5, 587-601. · Zbl 1309.68032 |
| [25] | Harrison, A. and Lifschitz, V.2018. Relating two dialects of answer set programming. In Proceedings of the 17th International Workshop on Non-monotonic Reasoning (NMR 2018), Fermé, E. and Villata, S., Eds, 99-108. · Zbl 1434.68074 |
| [26] | Kemp, D. B. and Stuckey, P. J.1991. Semantics of logic programs with aggregates. In Proceedings of the International Symposium on Logic Programming (ISLP’91), Saraswat, V. A. and Ueda, K., Eds. MIT Press, 387-401. |
| [27] | Krennwallner, T.2013. ASP Competition, output format. URL: https://www.mat.unical.it/aspcomp2013/files/aspoutput.txt. |
| [28] | Leone, N. and Ricca, F.2015. Answer set programming: A tour from the basics to advanced development tools and industrial applications. In Web Logic Rules - 11th International Summer School on Reasoning Web, Tutorial Lectures, Faber, W. and Paschke, A., Eds. Lecture Notes in Computer Science, vol. 9203. Springer, 308-326. |
| [29] | Lierler, Y., Maratea, M. and Ricca, F.2016. Systems, engineering environments, and competitions. AI Magazine 37, 3, 45-52. |
| [30] | Osorio, M. and Jayaraman, B.1999. Aggregation and negation-as-failure. New Generation Computing 17, 3, 255-284. |
| [31] | Pelov, N.2004. Semantics of Logic Programs with Aggregates. Ph.D. thesis, Katholieke Universiteit Leuven, Leuven, Belgium. · Zbl 1122.68385 |
| [32] | Pelov, N., Denecker, M. and Bruynooghe, M.2004. Partial stable models for logic programs with aggregates. In Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7). Lecture Notes in AI (LNAI), vol. 2923. Springer, 207-219. · Zbl 1122.68385 |
| [33] | Pelov, N., Denecker, M. and Bruynooghe, M.2007. Well-founded and stable semantics of logic programs with aggregates. Theory and Practice of Logic Programming 7, 3, 301-353. · Zbl 1111.68070 |
| [34] | Pelov, N. and Truszczyński, M.2004. Semantics of disjunctive programs with monotone aggregates - An operator-based approach. In Proceedings of the 10th International Workshop on Non-monotonic Reasoning (NMR 2004), Whistler, BC, Canada, 327-334. |
| [35] | Ross, K. A. and Sagiv, Y.1997. Monotonic aggregation in deductive databases. Journal of Computer and System Sciences 54, 1, 79-97. · Zbl 0869.68042 |
| [36] | Simons, P., Niemelä, I. and Soininen, T.2002. Extending and implementing the stable model semantics. Artificial Intelligence138, 181-234. · Zbl 0995.68021 |
| [37] | Van Gelder, A.1992. The well-founded semantics of aggregation. In Proceedings of the Eleventh Symposium on Principles of Database Systems (PODS’92). ACM Press, 127-138. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
