Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten ASP-Core-2 input language format. (English) Zbl 1472.68180 Theory Pract. Log. Program. 20, No. 2, 294-309 (2020). MSC: 68T20 68N17 68T30 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Theory Pract. Log. Program. 20, No. 2, 294--309 (2020; Zbl 1472.68180) Full Text: DOI arXiv
Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Ianni, Giovambattista; Leone, Nicola Function symbols in ASP: overview and perspectives. (English) Zbl 1259.68183 Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 1-24 (2011). MSC: 68T27 68N17 68-02 PDFBibTeX XMLCite \textit{M. Alviano} et al., Stud. Log. (Lond.) 31, 1--24 (2011; Zbl 1259.68183)
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola Finitely recursive programs: decidability and bottom-up computation. (English) Zbl 1235.68223 AI Commun. 24, No. 4, 311-334 (2011). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{F. Calimeri} et al., AI Commun. 24, No. 4, 311--334 (2011; Zbl 1235.68223) Full Text: Link
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola Magic sets for the bottom-up evaluation of finitely recursive programs. (English) Zbl 1258.68027 Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 71-86 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Lect. Notes Comput. Sci. 5753, 71--86 (2009; Zbl 1258.68027) Full Text: DOI
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola Computable functions in ASP: Theory and implementation. (English) Zbl 1185.68150 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 407-424 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Lect. Notes Comput. Sci. 5366, 407--424 (2008; Zbl 1185.68150) Full Text: DOI
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell’Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel The DLV system. (English) Zbl 1014.68871 Flesca, Sergio (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2424, 537-540 (2002). MSC: 68U99 68T27 68N17 PDFBibTeX XMLCite \textit{N. Leone} et al., Lect. Notes Comput. Sci. 2424, 537--540 (2002; Zbl 1014.68871) Full Text: Link
Flesca, Sergio (ed.); Greco, Sergio (ed.); Leone, Nicola (ed.); Ianni, Giovambattista (ed.) Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23–26, 2002. Proceedings. (English) Zbl 0997.00032 Lecture Notes in Computer Science 2424. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiii, 572 p. (2002). MSC: 00B25 68-06 03-06 68T27 PDFBibTeX XMLCite \textit{S. Flesca} (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings. Berlin: Springer (2002; Zbl 0997.00032) Full Text: DOI