Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018]
2008-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
An ASP System with Functions, Lists, and Sets
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques
2010-01-01 Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola
Handling Function Symbols in the DLV Grounder
2011-01-01 Calimeri, Francesco; Cozza, S.; Leone, Nicola; Perri, Simona
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track
2011-01-01 Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] | 1-gen-2008 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola | |
An ASP System with Functions, Lists, and Sets | 1-gen-2009 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola | |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs | 1-gen-2009 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola | |
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques | 1-gen-2010 | Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola | |
Handling Function Symbols in the DLV Grounder | 1-gen-2011 | Calimeri, Francesco; Cozza, S.; Leone, Nicola; Perri, Simona | |
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track | 1-gen-2011 | Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P. |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile