io-port 05900023 Calimeri, Francesco;
Ianni, Giovambattista;
Ricca, Francesco;
Alviano, Mario;
Bria, Annamaria;
Catalano, Gelsomina;
Cozza, Susanna;
Faber, Wolfgang;
Febbraro, Onofrio;
Leone, Nicola;
Manna, Marco;
Martello, Alessandra;
Panetta, Claudio;
Perri, Simona;
Reale, Kristian;
Santoro, Maria Carmela;
Sirianni, Marco;
Terracina, Giorgio;
Veltri, Pierfrancesco
The third answer set programming competition: Preliminary report of the system competition track. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 388-403 (2011).
1
io-port 70652973 Calimeri, Francesco;
Ianni, Giovambattista;
Ricca, Francesco;
Alviano, Mario;
Bria, Annamaria;
Catalano, Gelsomina;
Cozza, Susanna;
Faber, Wolfgang;
Febbraro, Onofrio;
Leone, Nicola;
Manna, Marco;
Martello, Alessandra;
Panetta, Claudio;
Perri, Simona;
Reale, Kristian;
Santoro, Maria Carmela;
Sirianni, Marco;
Terracina, Giorgio;
Veltri, Pierfrancesco
The third answer set programming competition: preliminary report of the system competition track (English)
LPNMR, 388-403 (2011).
2
A parallel ASP instantiator based on DLV (English)
DAMP, 73-82 (2010).
3
Start
Contact
Print
General Help
