Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica Enhancing magic sets with an application to ontological reasoning. (English) Zbl 1434.68560 Theory Pract. Log. Program. 19, No. 5-6, 654-670 (2019). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 19, No. 5--6, 654--670 (2019; Zbl 1434.68560) Full Text: DOI arXiv
Alviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola Magic sets for disjunctive Datalog programs. (English) Zbl 1251.68051 Artif. Intell. 187-188, 156-192 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Artif. Intell. 187--188, 156--192 (2012; Zbl 1251.68051) Full Text: DOI arXiv
Manna, M.; Scarcello, F.; Leone, N. On the complexity of regular-grammars with integer attributes. (English) Zbl 1218.68093 J. Comput. Syst. Sci. 77, No. 2, 393-421 (2011). Reviewer: Alex Nabebin (Moskva) MSC: 68Q42 68Q25 68Q45 PDFBibTeX XMLCite \textit{M. Manna} et al., J. Comput. Syst. Sci. 77, No. 2, 393--421 (2011; Zbl 1218.68093) Full Text: DOI
Alviano, Mario; Faber, Wolfgang; Leone, Nicola Disjunctive ASP with functions: decidable queries and effective computation. (English) Zbl 1209.68086 Theory Pract. Log. Program. 10, No. 4-6, 497-512 (2010). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 10, No. 4--6, 497--512 (2010; Zbl 1209.68086) Full Text: DOI arXiv
Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco On the relation among answer set solvers. (English) Zbl 1165.68333 Ann. Math. Artif. Intell. 53, No. 1-4, 169-204 (2008). MSC: 68N17 68T20 68T27 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Ann. Math. Artif. Intell. 53, No. 1--4, 169--204 (2008; Zbl 1165.68333) 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
Perri, Simona; Scarcello, Francesco; Catalano, Gelsomina; Leone, Nicola Enhancing DLV instantiator by backjumping techniques. (English) Zbl 1138.68019 Ann. Math. Artif. Intell. 51, No. 2-4, 195-228 (2007). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{S. Perri} et al., Ann. Math. Artif. Intell. 51, No. 2--4, 195--228 (2007; Zbl 1138.68019) Full Text: DOI
Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Ricca, Francesco On look-ahead heuristics in disjunctive logic programming. (English) Zbl 1138.68018 Ann. Math. Artif. Intell. 51, No. 2-4, 229-266 (2007). MSC: 68N17 68T27 68T20 PDFBibTeX XMLCite \textit{W. Faber} et al., Ann. Math. Artif. Intell. 51, No. 2--4, 229--266 (2007; Zbl 1138.68018) Full Text: DOI
Ricca, Francesco; Leone, Nicola Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system. (English) Zbl 1122.68029 J. Appl. Log. 5, No. 3, 545-573 (2007). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{F. Ricca} and \textit{N. Leone}, J. Appl. Log. 5, No. 3, 545--573 (2007; Zbl 1122.68029) Full Text: DOI
Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola Magic Sets and their application to data integration. (English) Zbl 1115.68047 J. Comput. Syst. Sci. 73, No. 4, 584-609 (2007). MSC: 68N17 PDFBibTeX XMLCite \textit{W. Faber} et al., J. Comput. Syst. Sci. 73, No. 4, 584--609 (2007; Zbl 1115.68047) Full Text: DOI
Koch, Christoph; Leone, Nicola; Pfeifer, Gerald Enhancing disjunctive logic programming systems by SAT checkers. (English) Zbl 1082.68525 Artif. Intell. 151, No. 1-2, 177-212 (2003). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{C. Koch} et al., Artif. Intell. 151, No. 1--2, 177--212 (2003; Zbl 1082.68525) Full Text: DOI
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system. (English) Zbl 1079.68619 Artif. Intell. 144, No. 1-2, 157-211 (2003). MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 144, No. 1--2, 157--211 (2003; Zbl 1079.68619) Full Text: DOI
Gelfond, Michael; Leone, Nicola Logic programming and knowledge representation—The A-Prolog perspective. (English) Zbl 0995.68022 Artif. Intell. 138, No. 1-2, 3-38 (2002). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Gelfond} and \textit{N. Leone}, Artif. Intell. 138, No. 1--2, 3--38 (2002; Zbl 0995.68022) Full Text: DOI
Eiter, Thomas; Leone, Nicola; Saccá, Domenico Expressive power and complexity of partial models for disjunctive deductive databases. (English) Zbl 0913.68053 Theor. Comput. Sci. 206, No. 1-2, 181-218 (1998). MSC: 68P15 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theor. Comput. Sci. 206, No. 1--2, 181--218 (1998; Zbl 0913.68053) Full Text: DOI
Eiter, Thomas; Gottlob, Georg; Leone, Nicola Semantics and complexity of abduction from default theories. (English) Zbl 1017.03515 Artif. Intell. 90, No. 1-2, 177-223 (1997). MSC: 03B70 68T27 68Q25 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 90, No. 1--2, 177--223 (1997; Zbl 1017.03515) Full Text: DOI
Eiter, Thomas; Gottlob, Georg; Leone, Nicola Abduction from logic programs: Semantics and complexity. (English) Zbl 0893.68022 Theor. Comput. Sci. 189, No. 1-2, 129-177 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theor. Comput. Sci. 189, No. 1--2, 129--177 (1997; Zbl 0893.68022) Full Text: DOI
Leone, Nicola; Rullo, Pasquale; Scarcello, Francesco Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. (English) Zbl 0879.68019 Inf. Comput. 135, No. 2, 69-112 (1997). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{N. Leone} et al., Inf. Comput. 135, No. 2, 69--112 (1997; Zbl 0879.68019) Full Text: DOI Link
Eiter, Thomas; Gottlob, Georg; Leone, Nicola Complexity results for abductive logic programming. (English) Zbl 1496.68332 Marek, V. W. (ed.) et al., Logic programming and nonmonotonic reasoning. Third international conference, LPNMR ’95, Lexington, KY, USA, June 26–28, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 928, 1-14 (1995). MSC: 68T30 68N17 68Q25 68Q55 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 928, 1--14 (1995; Zbl 1496.68332) Full Text: DOI
Leone, N.; Rossi, G. Well-founded semantics and stratification for ordered logic programs. (English) Zbl 0798.68029 New Generation Comput. 12, No. 1, 91-121 (1993). MSC: 68N17 68T30 68Q55 PDFBibTeX XMLCite \textit{N. Leone} and \textit{G. Rossi}, New Generation Comput. 12, No. 1, 91--121 (1993; Zbl 0798.68029) Full Text: DOI