On the input language of ASP grounder gringo

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5753 LNAI, Issue , 2009, Pages 502-508

  Gebser, Martin ^a   Kaminski, Roland ^a   Ostrowski, Max ^a   Schaub, Torsten ^a   Thiele, Sven ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET SEMANTICS; LOGIC PROGRAMS; MODELING LANGUAGES; PROGRAM DEVELOPERS;

COMPUTER SIMULATION LANGUAGES; LOGIC PROGRAMMING;

LINGUISTICS;

EID: 70349880718     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04238-6_49     Document Type: Conference Paper

References (26)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Gebser,M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczýnski, M.: The first answer set programming system competition. In: [25], pp. 3-17
3. Schlipf, J.: The expressive powers of the logic programming semantics. Journal of Computer and System Sciences 51, 64-86 (1995)
4. Marek, V., Truszczýnski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375-398. Springer, Heidelberg (1999)
5. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25(3-4), 241-273 (1999)
6. Gelfond, M., Leone, N.: Logic programming and knowledge representation -the A-Prolog perspective. Artificial Intelligence 138(1-2), 3-38 (2002)
7. Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence 138(1-2), 39-54 (2002)
8. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3), 499-562 (2006)
9. Syrjänen, T.: Lparse 1.0 user's manual, http://www.tcs.hut.fi/ Software/smodels/lparse.ps.gz
10. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user's guide to gringo, clasp, clingo, and iclingo, http://potassco.sourceforge.net
11. Gebser, M., Schaub, T., Thiele, S.: GrinGo: A new grounder for answer set programming. In: [25], pp. 266-271
12. Syrjänen, T.: Omega-restricted logic programs. In: Eiter, T., Faber, W., Truszczýnski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.2173, pp. 267-279. Springer, Heidelberg (2001)
13. Faber, W., Pfeifer, G., Leone, N., Dell'Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theory and Practice of Logic Programming 8(5-6), 545-580 (2008)
14. Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.3662, pp. 119-131. Springer, Heidelberg (2005)
15. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181-234 (2002)
16. Ferraris, P., Lifschitz, V.: Weight constraints as nested expressions. Theory and Practice of Logic Programming 5(1-2), 45-74 (2005)
17. Terracina, G., De Francesco, E., Panetta, C., Leone, N.: Experiencing ASP with real world applications. In: Proceedings of the Fifteenth RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 (2008)
18. Gebser,M., Janhunen, T., Ostrowski,M., Schaub, T., Thiele, S.: A versatile intermediate language for answer set programming. In: Proceedings of the Twelfth International Workshop on Nonmonotonic Reasoning (NMR 2008), pp. 150-159 (2008)
19. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: [26], pp. 190-205
20. Mileo, A., Merico, D., Bisiani, R.: A logic programming approach to home monitoring for risk prevention in assisted living. In: [26], pp. 145-159
21. Boenn, G., Brain, M., de Vos, M., Fitch, J.: Automatic composition of melodic and harmonic music by answer set programming. In: [26], pp. 160-174
22. Gebser, M., Schaub, T., Thiele, S., Usadel, B., Veber, P.: Detecting inconsistencies in large biological networks with answer set programming. In: [26], pp. 130-144
23. Kim, T., Lee, J., Palla, R.: Circumscriptive event calculus as answer set programming. In: Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 2009). AAAI Press, Menlo Park (to appear, 2009)
24. Thielscher, M.: Answer set programming for single-player games in general game playing. In: Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP 2009). Springer, Heidelberg (to appear, 2009)
25. Baral, C., Brewka, G., Schlipf, J. (eds.): LPNMR 2007. LNCS (LNAI), vol.4483. Springer, Heidelberg (2007)
26. Garcia de la Banda, M., Pontelli, E. (eds.): ICLP 2008. LNCS, vol.5366. Springer, Heidelberg (2008)