| 2011 |
|---|
| 25 | Finitely recursive programs: Decidability and bottom-up computation. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. AI Commun. (24): 311-334 (2011). Web SearchBibTeXDownload |
| 24 | Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri. J. Artif. Intell. Res. (JAIR) (42): 487-527 (2011). Web SearchBibTeXDownload |
| 23 | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri. LPNMR 2011, 388-403. Web SearchBibTeXDownload |
| 2010 |
|---|
| 22 | Answer Set Programming. Wolfgang Faber, Francesco Calimeri, Nicola Leone, Francesco Ricca. 25 Years GULP 2010, 159-182. Web SearchBibTeXDownload |
| 21 | Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. AAAI 2010. Web SearchBibTeXDownload |
| 2009 |
|---|
| 20 | Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. LPNMR 2009, 71-86. Web SearchBibTeXDownload |
| 19 | An ASP System with Functions, Lists, and Sets. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. LPNMR 2009, 483-489. Web SearchBibTeXDownload |
| 2008 |
|---|
| 18 | Computable Functions in ASP: Theory and Implementation. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. ICLP 2008, 407-424. Web SearchBibTeXDownload |
| 2007 |
|---|
| 17 | External sources of knowledge and value invention in logic programming. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni. Ann. Math. Artif. Intell. (50): 333-361 (2007). Web SearchBibTeXDownload |
| 2006 |
|---|
| 16 | Template programs for Disjunctive Logic Programming: An operational semantics. Francesco Calimeri, Giovambattista Ianni. AI Commun. (19): 193-206 (2006). Web SearchBibTeXDownload |
| 15 | Pruning Operators for Disjunctive Logic Programming Systems. Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone. Fundam. Inform. (71): 183-214 (2006). Web SearchBibTeXDownload |
| 14 | Decidable Fragments of Logic Programming with Value Invention. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni. JELIA 2006, 95-110. Web SearchBibTeXDownload |
| 2005 |
|---|
| 13 | Declarative and Computational Properties of Logic Programs with Aggregates. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri. IJCAI 2005, 406-411. Web SearchBibTeXDownload |
| 12 | External Sources of Computation for Answer Set Solvers. Francesco Calimeri, Giovambattista Ianni. LPNMR 2005, 105-118. Web SearchBibTeXDownload |
| 2004 |
|---|
| 11 | Parametric external predicates for the DLV System. Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro. CoRR (cs.AI/0404011) (2004). Web SearchBibTeXDownload |
| 10 | Toward the Implementation of Functions in the DLV System (Preliminary Technical Report). Francesco Calimeri, Nicola Leone. CoRR (cs.AI/0404012) (2004). Web SearchBibTeXDownload |
| 9 | New DLV Features for Data Integration. Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer. JELIA 2004, 698-701. Web SearchBibTeXDownload |
| 8 | A System with Template Answer Set Programs. Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro. JELIA 2004, 693-697. Web SearchBibTeXDownload |
| 7 | Enhancing answer set programming with templates. Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri. NMR 2004, 233-239. Web SearchBibTeXDownload |
| 6 | An agent system reasoning about the web and the user. Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia. WWW (Alternate Track Papers & Posters) 2004, 492-493. Cited by 1Web SearchBibTeXDownload |
| 2003 |
|---|
| 5 | OntoDLP: a Logic Formalism for Knowledge Representation. Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo. Answer Set Programming 2003. Web SearchBibTeXDownload |
| 4 | Reasoning about the Semantic Web using Answer Set Programming. Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia. APPIA-GULP-PRODE 2003, 324-336. Web SearchBibTeX |
| 3 | Enhancing Disjunctive Logic Programming for Ontology Specification. Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo. APPIA-GULP-PRODE 2003, 63-74. Web SearchBibTeX |
| 2002 |
|---|
| 2 | The DLV System. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres. JELIA 2002, 537-540. Cited by 34Web SearchBibTeXDownload |
| 1 | Pruning operators for answer set programming systems. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. NMR 2002, 200-209. Web SearchBibTeX |
