% csauthors.net - beta - BibTeX bibliography of Nicola Leone
@inproceedings{conf/caise/AhlsenDJLLRRSTBCSVVV91,
title = {The KIWIS Knowledge Base Management System.},
year = {1991},
booktitle = {CAiSE},
author = {{Matts Ahlsén} and {Alessandro D'Atri} and {Paul Johannesson} and {Els Laenens} and {Nicola Leone} and {Pasquale Rullo} and {P. Rossi} and {François Staes} and {Laura Tarantino} and {L. Van Beirendonck} and {L. Van Cadsand} and {W. Van Santvliet} and {J. Vanslembrouck} and {Brigitte Verdonk} and {Dirk Vermeir}},
publisher = {Springer},
booktitle = {Advanced Information Systems Engineering, CAiSE'91, Trondheim, Norway, May 13-15, 1991, Proceedings}
}
@inproceedings{conf/caise/LeoneMRR92,
title = {The Basic Query Machine of the KIWIS System.},
year = {1992},
booktitle = {CAiSE},
author = {{Nicola Leone} and {Antonella Mecchia} and {Giuseppe Rossi} and {Pasquale Rullo}},
publisher = {Springer},
booktitle = {Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings}
}
@inproceedings{conf/ecai/LeoneR92,
title = {Stable Model Semantics and its Computation for Ordered Logic Programs.},
year = {1992},
booktitle = {ECAI},
author = {{Nicola Leone} and {Pasquale Rullo}},
publisher = {John Wiley and Sons},
booktitle = {10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings.}
}
@article{journals/cj/LeoneR92,
title = {An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries.},
year = {1992},
journal = {Comput. J.},
author = {{Nicola Leone} and {Pasquale Rullo}}
}
@article{journals/is/LeoneR92,
title = {Safe computation of the well-founded semantics of Datalog queries.},
year = {1992},
journal = {Inf. Syst.},
author = {{Nicola Leone} and {Pasquale Rullo}}
}
@article{journals/tkde/GrecoLR92,
title = {COMPLEX: An Object-Oriented Logic Programming System.},
year = {1992},
journal = {IEEE Trans. Knowl. Data Eng.},
author = {{Sergio Greco} and {Nicola Leone} and {Pasquale Rullo}}
}
@inproceedings{conf/agp/LeoneR93,
title = {Adding Set Terms to Ordered Logic Programs.},
year = {1993},
booktitle = {GULP},
author = {{Nicola Leone} and {Pasquale Rullo}},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993}
}
@inproceedings{conf/ismis/LeonePR93,
title = {Updating Logic Programs.},
year = {1993},
booktitle = {ISMIS},
author = {{Nicola Leone} and {Luigi Palopoli 001} and {Massimo Romeo}},
publisher = {Springer},
booktitle = {Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings}
}
@inproceedings{conf/sebd/LeoneMMS93,
title = {Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase.},
year = {1993},
booktitle = {SEBD},
author = {{Nicola Leone} and {Fabio Messina} and {Tommaso Mostardi} and {Carlo Siciliano}},
publisher = {Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030 Rende (CS))},
booktitle = {Convegno SEBD'93, Proceedings of the Conference on Advanced Database Systems (Atti del convegno su Sistemi Evoluti per Basi di Dati), SEBD 1993, Hotel Capo Suvero, Gizzeria, Italy, 14-16 June, 1993}
}
@incollection{journals/lncs/LeoneRRS93,
title = {Effective Implementation of Negation in Database Logic Query Languages.},
year = {1993},
booktitle = {LOGIDATA+: Deductive Databases with Complex Objects},
author = {{Nicola Leone} and {Massimo Romeo} and {Pasquale Rullo} and {Domenico Saccà}},
publisher = {Springer},
booktitle = {LOGIDATA+: Deductive Databases with Complex Objects}
}
@article{journals/logcom/LeoneR93,
title = {Ordered Logic Programming with Sets.},
year = {1993},
journal = {J. Log. Comput.},
author = {{Nicola Leone} and {Pasquale Rullo}}
}
@article{journals/ngc/LeoneR93,
title = {Well-Founded Semantics and Stratification for Ordered Logic Programs.},
year = {1993},
journal = {New Gener. Comput.},
author = {{Nicola Leone} and {Giuseppe Rossi}}
}
@inproceedings{conf/agp/BuccafurriLR94,
title = {A non-deterministic semantics for ordered logic programs.},
year = {1994},
booktitle = {GULP-PRODE (1)},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1}
}
@inproceedings{conf/sebd/AngiulliLMR94,
title = {Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote.},
year = {1994},
booktitle = {SEBD},
author = {{Fabrizio Angiulli} and {Nicola Leone} and {Fabio Messina} and {Massimo Romeo}},
publisher = {Editrice Esculapio Progetto Leonardo, via U. Terracini, 30, 40131 Bologna},
booktitle = {Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", SEBD 1994, Rimini, Italy, 1994}
}
@article{journals/fuin/LeonePR94,
title = {Modifying Intensional Logic Knowledge.},
year = {1994},
journal = {Fundam. Informaticae},
author = {{Nicola Leone} and {Luigi Palopoli 001} and {Massimo Romeo}}
}
@inproceedings{conf/agp/ScarcelloLP95,
title = {Curbing Theories: Fixpoint Semantics and Complexity Issues.},
year = {1995},
booktitle = {GULP-PRODE},
author = {{Francesco Scarcello} and {Nicola Leone} and {Luigi Palopoli 001}},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995}
}
@inproceedings{conf/dexa/BuccafurriLPR95,
title = {Disjunctive Ordered Logic},
year = {1995},
booktitle = {DEXA},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Luigi Palopoli 001} and {Pasquale Rullo}},
publisher = {Springer},
booktitle = {Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings}
}
@inproceedings{conf/ictai/LeoneR95,
title = {BQM: a system integrating logic, objects, and non-monotonic reasoning.},
year = {1995},
booktitle = {ICTAI},
author = {{Nicola Leone} and {Pasquale Rullo}},
publisher = {IEEE Computer Society},
booktitle = {Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995}
}
@inproceedings{conf/lpnmr/EiterGL95,
title = {Complexity Results for Abductive Logic Programming.},
year = {1995},
booktitle = {LPNMR},
author = {{Thomas Eiter} and {Georg Gottlob} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings}
}
@inproceedings{conf/mfcs/GottlobLV95,
title = {Second Order Logic and the Weak Exponential Hierarchies.},
year = {1995},
booktitle = {MFCS},
author = {{Georg Gottlob} and {Nicola Leone} and {Helmut Veith}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}
}
@inproceedings{conf/slp/LeoneS95,
title = {Declarative and Fixpoint Characterizations of Disjunctive Stable Models.},
year = {1995},
booktitle = {ILPS},
author = {{Nicola Leone} and {Francesco Scarcello}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995}
}
@inproceedings{conf/wlp/EiterL95,
title = {On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.},
year = {1995},
booktitle = {WLP},
author = {{Thomas Eiter} and {Nicola Leone}},
booktitle = {11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270.}
}
@article{journals/jlp/LeonePR95,
title = {A Language for Updating Logic Programs and its Implementation.},
year = {1995},
journal = {J. Log. Program.},
author = {{Nicola Leone} and {Luigi Palopoli 001} and {Massimo Romeo}}
}
@inproceedings{conf/agp/BuccafurriLR96,
title = {Computing Disjunctive Ordered Logic.},
year = {1996},
booktitle = {APPIA-GULP-PRODE},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996}
}
@inproceedings{conf/agp/EiterLS96,
title = {Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.},
year = {1996},
booktitle = {APPIA-GULP-PRODE},
author = {{Thomas Eiter} and {Nicola Leone} and {Domenico Saccà}},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996}
}
@inproceedings{conf/dexa/LeoneRS96,
title = {On the Computation of Disjunctive Stable Models.},
year = {1996},
booktitle = {DEXA},
author = {{Nicola Leone} and {Pasquale Rullo} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings}
}
@inproceedings{conf/lid/EiterLS96,
title = {The Expressive Power of Partial Models in Disjunctive Deductive Databases.},
year = {1996},
booktitle = {Logic in Databases},
author = {{Thomas Eiter} and {Nicola Leone} and {Domenico Saccà}},
publisher = {Springer},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings}
}
@inproceedings{conf/lid/LeoneRS96,
title = {Stable Model Checking for Disjunctive Logic Programs.},
year = {1996},
booktitle = {Logic in Databases},
author = {{Nicola Leone} and {Pasquale Rullo} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings}
}
@article{journals/aicom/BuccafuriLS96,
title = {On the Expressive Power of Ordered Logic.},
year = {1996},
journal = {AI Commun.},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Francesco Scarcello}}
}
@article{journals/jlp/BuccafurriLR96,
title = {Stable Models and Their Computation for Logic Programming with Inheritance and True Negation.},
year = {1996},
journal = {J. Log. Program.},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}}
}
@inproceedings{conf/agp/BuccafurriLR97,
title = {Adding Weak Constraints to Disjunctive Datalog.},
year = {1997},
booktitle = {APPIA-GULP-PRODE},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}
}
@inproceedings{conf/agp/EiterLMPS97,
title = {The Architecture of a Disjunctive Deductive Database System.},
year = {1997},
booktitle = {APPIA-GULP-PRODE},
author = {{Thomas Eiter} and {Nicola Leone} and {Cristinel Mateis} and {Gerald Pfeifer} and {Francesco Scarcello}},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}
}
@inproceedings{conf/lpkr/GrecoLS97,
title = {DATALOG with Nested Rules.},
year = {1997},
booktitle = {LPKR},
author = {{Sergio Greco} and {Nicola Leone} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers}
}
@inproceedings{conf/lpnmr/BuccafurriLR97,
title = {Strong and Weak Constraints in Disjunctive Datalog.},
year = {1997},
booktitle = {LPNMR},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings}
}
@inproceedings{conf/lpnmr/EiterLMPS97,
title = {A Deductive System for Non-Monotonic Reasoning.},
year = {1997},
booktitle = {LPNMR},
author = {{Thomas Eiter} and {Nicola Leone} and {Cristinel Mateis} and {Gerald Pfeifer} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings}
}
@inproceedings{conf/wlp/CitrignoEFGKLMPS97,
title = {The dlv System: Model Generator and Advanced Frontends (system description).},
year = {1997},
booktitle = {WLP},
author = {{Simona Citrigno} and {Thomas Eiter} and {Wolfgang Faber 001} and {Georg Gottlob} and {Christoph Koch 001} and {Nicola Leone} and {Cristinel Mateis} and {Gerald Pfeifer} and {Francesco Scarcello}},
publisher = {Ludwig Maximilians Universität München},
booktitle = {Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10.}
}
@article{journals/ai/EiterGL97,
title = {Semantics and Complexity of Abduction from Default Theories.},
year = {1997},
journal = {Artif. Intell.},
author = {{Thomas Eiter} and {Georg Gottlob} and {Nicola Leone}}
}
@article{journals/amai/EiterLS97,
title = {On the Partial Semantics for Disjunctive Deductive Databases.},
year = {1997},
journal = {Ann. Math. Artif. Intell.},
author = {{Thomas Eiter} and {Nicola Leone} and {Domenico Saccà}}
}
@article{journals/dke/LeonePR97,
title = {Efficient Evaluation of a Class of Ordered Logic Programs.},
year = {1997},
journal = {Data Knowl. Eng.},
author = {{Nicola Leone} and {Clara Pizzuti} and {Pasquale Rullo}}
}
@article{journals/iandc/LeoneRS97,
title = {Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation.},
year = {1997},
journal = {Inf. Comput.},
author = {{Nicola Leone} and {Pasquale Rullo} and {Francesco Scarcello}}
}
@article{journals/logcom/EiterGL97,
title = {On the Indiscernibility of Individuals in Logic Programming.},
year = {1997},
journal = {J. Log. Comput.},
author = {{Thomas Eiter} and {Georg Gottlob} and {Nicola Leone}}
}
@article{journals/tcs/EiterGL97,
title = {Abduction from Logic Programs: Semantics and Complexity.},
year = {1997},
journal = {Theor. Comput. Sci.},
author = {{Thomas Eiter} and {Georg Gottlob} and {Nicola Leone}}
}
@article{journals/tkde/LeoneRMR97,
title = {A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning.},
year = {1997},
journal = {IEEE Trans. Knowl. Data Eng.},
author = {{Nicola Leone} and {Pasquale Rullo} and {Antonella Mecchia} and {Giuseppe Rossi}}
}
@article{journals/tods/LakshmananLRS97,
title = {ProbView: A Flexible Probabilistic Database System.},
year = {1997},
journal = {ACM Trans. Database Syst.},
author = {{Laks V. S. Lakshmanan} and {Nicola Leone} and {Robert B. Ross} and {V. S. Subrahmanian}}
}
@inproceedings{conf/fmldo/LeonePS98,
title = {On the Complexity of Search Queries.},
year = {1998},
booktitle = {FMLDO},
author = {{Nicola Leone} and {Luigi Palopoli 001} and {Domenico Saccà}},
publisher = {Kluwer},
booktitle = {Fundamentals of Information Systems - Papers from the Seventh Workshop on Foundations of Models and Languages for Data and Objects, Ostfriesland, Germany, October 5-9, 1998}
}
@inproceedings{conf/fqas/EiterLMPS98,
title = {Progress Report on the Disjunctive Deductive Database System dlv.},
year = {1998},
booktitle = {FQAS},
author = {{Thomas Eiter} and {Nicola Leone} and {Cristinel Mateis} and {Gerald Pfeifer} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings}
}
@inproceedings{conf/kr/BuccafurriLR98,
title = {Disjunctive Ordered Logic: Semantics and Expressiveness.},
year = {1998},
booktitle = {KR},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.}
}
@inproceedings{conf/kr/EiterLMPS98,
title = {The KR System dlv: Progress Report, Comparisons and Benchmarks.},
year = {1998},
booktitle = {KR},
author = {{Thomas Eiter} and {Nicola Leone} and {Cristinel Mateis} and {Gerald Pfeifer} and {Francesco Scarcello}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.}
}
@article{journals/tcs/EiterLS98,
title = {Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.},
year = {1998},
journal = {Theor. Comput. Sci.},
author = {{Thomas Eiter} and {Nicola Leone} and {Domenico Saccà}}
}
@inproceedings{conf/aiia/LeonePR99,
title = {Local Search Techniques for Disjunctive Logic Programs.},
year = {1999},
booktitle = {AI*IA},
author = {{Nicola Leone} and {Simona Perri} and {Pasquale Rullo}},
publisher = {Springer},
booktitle = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings}
}
@inproceedings{conf/dexa/GottlobLS99,
title = {On Tractable Queries and Constraints.},
year = {1999},
booktitle = {DEXA},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings}
}
@inproceedings{conf/ijcai/KochL99,
title = {Stable Model Checking Made Easy.},
year = {1999},
booktitle = {IJCAI},
author = {{Christoph Koch 001} and {Nicola Leone}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}
}
@inproceedings{conf/lpnmr/FaberLP99,
title = {Pushing Goal Derivation in DLP Computations.},
year = {1999},
booktitle = {LPNMR},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings}
}
@article{journals/ai/BuccafurriEGL99,
title = {Enhancing Model Checking in Verification by AI Techniques.},
year = {1999},
journal = {Artif. Intell.},
author = {{Francesco Buccafurri} and {Thomas Eiter} and {Georg Gottlob} and {Nicola Leone}}
}
@article{journals/aicom/EiterFLP99,
title = {The Diagnosis Frontend of the dlv System.},
year = {1999},
journal = {AI Commun.},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}}
}
@article{journals/amai/BuccafurriLR99,
title = {Semantics and Expressiveness of Disjunctive Ordered Logic.},
year = {1999},
journal = {Ann. Math. Artif. Intell.},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}}
}
@article{journals/apal/GottlobLV99,
title = {Succinctness as a Source of Complexity in Logical Formalisms.},
year = {1999},
journal = {Ann. Pure Appl. Log.},
author = {{Georg Gottlob} and {Nicola Leone} and {Helmut Veith}}
}
@article{journals/ngc/GottlobLS99,
title = {On the Complexity of Some Inductive Logic Programming Problems.},
year = {1999},
journal = {New Gener. Comput.},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}}
}
@inproceedings{conf/cl/EiterFLPP00,
title = {Planning under Incomplete Knowledge.},
year = {2000},
booktitle = {Computational Logic},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Axel Polleres}},
publisher = {Springer},
booktitle = {Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}
}
@inproceedings{conf/wlp/EiterFLPP00,
title = {Using the dlv System for Planning and Diagnostic Reasoning.},
year = {2000},
booktitle = {WLP},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Axel Polleres}},
booktitle = {14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000.}
}
@article{journals/ai/GottlobLS00,
title = {A comparison of structural CSP decomposition methods.},
year = {2000},
journal = {Artif. Intell.},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}}
}
@article{journals/corr/cs-AI-0003036,
title = {DLV - A System for Declarative Problem Solving},
year = {2000},
journal = {CoRR},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Christoph Koch 001} and {Nicola Leone} and {Gerald Pfeifer}}
}
@article{journals/tkde/BuccafurriLR00,
title = {Enhancing Disjunctive Datalog by Constraints.},
year = {2000},
journal = {IEEE Trans. Knowl. Data Eng.},
author = {{Francesco Buccafurri} and {Nicola Leone} and {Pasquale Rullo}}
}
@inproceedings{conf/aiia/LeonePS01,
title = {Abduction with Penalization in Logic Programming.},
year = {2001},
booktitle = {AI*IA},
author = {{Nicola Leone} and {Simona Perri} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings}
}
@inproceedings{conf/asp/EiterFLP01,
title = {Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.},
year = {2001},
booktitle = {Answer Set Programming},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001}
}
@inproceedings{conf/ijcai/FaberLP01,
title = {Experimenting with Heuristics for Answer Set Programming.},
year = {2001},
booktitle = {IJCAI},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001}
}
@inproceedings{conf/lpar/FranconiPLPS01,
title = {Census Data Repair: a Challenging Application of Disjunctive Logic Programming.},
year = {2001},
booktitle = {LPAR},
author = {{Enrico Franconi} and {Antonio Laureti Palma} and {Nicola Leone} and {Simona Perri} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings}
}
@inproceedings{conf/lpnmr/DellArmiFIKLPP01,
title = {System Description: DLV.},
year = {2001},
booktitle = {LPNMR},
author = {{Tina Dell'Armi} and {Wolfgang Faber 001} and {Giuseppe Ielpa} and {Christoph Koch 001} and {Nicola Leone} and {Simona Perri} and {Gerald Pfeifer}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings}
}
@inproceedings{conf/lpnmr/EiterFLPP01,
title = {System Description: The DLVK Planning System.},
year = {2001},
booktitle = {LPNMR},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Axel Polleres}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings}
}
@inproceedings{conf/lpnmr/FaberLP01,
title = {Optimizing the Computation of Heuristics for Answer Set Programming Systems.},
year = {2001},
booktitle = {LPNMR},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings}
}
@inproceedings{conf/lpnmr/LeonePS01,
title = {Improving ASP Instantiators by Join-Ordering Methods.},
year = {2001},
booktitle = {LPNMR},
author = {{Nicola Leone} and {Simona Perri} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings}
}
@inproceedings{conf/mfcs/GottlobLS01,
title = {Hypertree Decompositions: A Survey.},
year = {2001},
booktitle = {MFCS},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings}
}
@inproceedings{conf/sebd/LeonePS01,
title = {Join Ordering Techniques for Knowledge Base Systems.},
year = {2001},
booktitle = {SEBD},
author = {{Nicola Leone} and {Simona Perri} and {Francesco Scarcello}},
booktitle = {Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, SEBD 2001, Venezia, Italy, 27-29 Giugno 2001}
}
@article{journals/corr/cs-LO-0111010,
title = {Abduction with Penalization in Logic Programming},
year = {2001},
journal = {CoRR},
author = {{Giovambattista Ianni} and {Nicola Leone} and {Simona Perri} and {Francesco Scarcello}}
}
@article{journals/jacm/GottlobLS01,
title = {The complexity of acyclic conjunctive queries.},
year = {2001},
journal = {J. ACM},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}}
}
@article{journals/jcss/BuccafurriEGL01,
title = {On ACTL Formulas Having Linear Counterexamples.},
year = {2001},
journal = {J. Comput. Syst. Sci.},
author = {{Francesco Buccafurri} and {Thomas Eiter} and {Georg Gottlob} and {Nicola Leone}}
}
@inproceedings{conf/jelia/EiterFLPP02a,
title = {The DLVK Planning System: Progress Report.},
year = {2002},
booktitle = {JELIA},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Axel Polleres}},
publisher = {Springer},
booktitle = {Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings}
}
@inproceedings{conf/jelia/LeonePFCDEGIIKPP02,
title = {The DLV System.},
year = {2002},
booktitle = {JELIA},
author = {{Nicola Leone} and {Gerald Pfeifer} and {Wolfgang Faber 001} and {Francesco Calimeri} and {Tina Dell'Armi} and {Thomas Eiter} and {Georg Gottlob} and {Giovambattista Ianni} and {Giuseppe Ielpa} and {Christoph Koch 001} and {Simona Perri} and {Axel Polleres}},
publisher = {Springer},
booktitle = {Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings}
}
@inproceedings{conf/nmr/CalimeriFLP02,
title = {Pruning operators for answer set programming systems.},
year = {2002},
booktitle = {NMR},
author = {{Francesco Calimeri} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}},
booktitle = {9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings}
}
@inproceedings{conf/sebd/LeoneMS02,
title = {Cost-based Query Decompositions.},
year = {2002},
booktitle = {SEBD},
author = {{Nicola Leone} and {Alfredo Mazzitelli} and {Francesco Scarcello}},
booktitle = {Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, SEBD 2002, Portoferraio, Isola d'Elba, Italy, 19-21 Giugno 2002}
}
@article{journals/ai/GelfondL02,
title = {Knowledge Representation and Logic Programming.},
year = {2002},
journal = {Artif. Intell.},
author = {{Michael Gelfond} and {Nicola Leone}}
}
@article{journals/ai/GelfondL02a,
title = {Logic programming and knowledge representation - The A-Prolog perspective.},
year = {2002},
journal = {Artif. Intell.},
author = {{Michael Gelfond} and {Nicola Leone}}
}
@article{journals/jcss/GottlobLS02,
title = {Hypertree Decompositions and Tractable Queries.},
year = {2002},
journal = {J. Comput. Syst. Sci.},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}}
}
@article{journals/tcs/GottlobLS02,
title = {Computing LOGCFL certificates.},
year = {2002},
journal = {Theor. Comput. Sci.},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}}
}
@article{journals/tplp/BuccafurriFL02,
title = {Disjunctive Logic Programs with Inheritance.},
year = {2002},
journal = {Theory Pract. Log. Program.},
author = {{Francesco Buccafurri} and {Wolfgang Faber 001} and {Nicola Leone}}
}
@inproceedings{conf/asp/DellArmiFILP03,
title = {Aggregate Functions in DLV.},
year = {2003},
booktitle = {Answer Set Programming},
author = {{Tina Dell'Armi} and {Wolfgang Faber 001} and {Giuseppe Ielpa} and {Nicola Leone} and {Gerald Pfeifer}},
publisher = {CEUR-WS.org},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003}
}
@inproceedings{conf/ijcai/DellArmiFILP03,
title = {Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.},
year = {2003},
booktitle = {IJCAI},
author = {{Tina Dell'Armi} and {Wolfgang Faber 001} and {Giuseppe Ielpa} and {Nicola Leone} and {Gerald Pfeifer}},
publisher = {Morgan Kaufmann},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}
}
@article{journals/ai/EiterFLPP03,
title = {A logic programming approach to knowledge-state planning, II: The DLVK system.},
year = {2003},
journal = {Artif. Intell.},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Axel Polleres}}
}
@article{journals/ai/KochLP03,
title = {Enhancing disjunctive logic programming systems by SAT checkers.},
year = {2003},
journal = {Artif. Intell.},
author = {{Christoph Koch 001} and {Nicola Leone} and {Gerald Pfeifer}}
}
@article{journals/jair/EiterFLPP03,
title = {Answer Set Planning Under Action Costs.},
year = {2003},
journal = {J. Artif. Intell. Res.},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Axel Polleres}}
}
@article{journals/jcss/GottlobLS03,
title = {Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.},
year = {2003},
journal = {J. Comput. Syst. Sci.},
author = {{Georg Gottlob} and {Nicola Leone} and {Francesco Scarcello}}
}
@article{journals/tplp/EiterFLP03,
title = {Computing preferred answer sets by meta-interpretation in answer set programming.},
year = {2003},
journal = {Theory Pract. Log. Program.},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}}
}
@inproceedings{conf/iclp/CumboFGL04,
title = {Enhancing the Magic-Set Method for Disjunctive Datalog Programs.},
year = {2004},
booktitle = {ICLP},
author = {{Chiara Cumbo} and {Wolfgang Faber 001} and {Gianluigi Greco} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}
}
@inproceedings{conf/jelia/CalimeriCCFLPP04,
title = {New DLV Features for Data Integration.},
year = {2004},
booktitle = {JELIA},
author = {{Francesco Calimeri} and {Manuela Citrigno} and {Chiara Cumbo} and {Wolfgang Faber 001} and {Nicola Leone} and {Simona Perri} and {Gerald Pfeifer}},
publisher = {Springer},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}
}
@inproceedings{conf/jelia/FaberLP04,
title = {Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.},
year = {2004},
booktitle = {JELIA},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer}},
publisher = {Springer},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}
}
@inproceedings{conf/lpnmr/DellArmiFILPP04,
title = {System Description: DLV with Aggregates.},
year = {2004},
booktitle = {LPNMR},
author = {{Tina Dell'Armi} and {Wolfgang Faber 001} and {Giuseppe Ielpa} and {Nicola Leone} and {Simona Perri} and {Gerald Pfeifer}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings}
}
@inproceedings{conf/lpnmr/LeoneLT04,
title = {DLVDB: Adding Efficient Data Management Features to ASP.},
year = {2004},
booktitle = {LPNMR},
author = {{Nicola Leone} and {Vincenzino Lio} and {Giorgio Terracina}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings}
}
@inproceedings{conf/nmr/LeonePS04,
title = {BackJumping techniques for rules instantiation in the DLV system.},
year = {2004},
booktitle = {NMR},
author = {{Nicola Leone} and {Simona Perri} and {Francesco Scarcello}},
booktitle = {10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings}
}
@inproceedings{conf/sebd/GrecoLS04,
title = {On Weighted Hypertree Decompositions.},
year = {2004},
booktitle = {SEBD},
author = {{Gianluigi Greco} and {Nicola Leone} and {Francesco Scarcello}},
booktitle = {Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, SEBD 2004, S. Margherita di Pula, Cagliari, Italy, June 21-23, 2004}
}
@article{journals/aicom/PerriL04,
title = {Parametric connectives in Disjunctive Logic Programming.},
year = {2004},
journal = {AI Commun.},
author = {{Simona Perri} and {Nicola Leone}}
}
@article{journals/corr/cs-AI-0404012,
title = {Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)},
year = {2004},
journal = {CoRR},
author = {{Francesco Calimeri} and {Nicola Leone}}
}
@article{journals/tkde/LeoneSS04,
title = {Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.},
year = {2004},
journal = {IEEE Trans. Knowl. Data Eng.},
author = {{Nicola Leone} and {Francesco Scarcello} and {V. S. Subrahmanian}}
}
@article{journals/tocl/EiterFLPP04,
title = {A logic programming approach to knowledge-state planning: Semantics and complexity.},
year = {2004},
journal = {ACM Trans. Comput. Log.},
author = {{Thomas Eiter} and {Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Axel Polleres}}
}
@inproceedings{conf/asp/RuffoloLMSZ05,
title = {Exploiting ASP for Semantic Information Extraction.},
year = {2005},
booktitle = {Answer Set Programming},
author = {{Massimo Ruffolo} and {Nicola Leone} and {Marco Manna} and {Domenico Saccà} and {Amedeo Zavatto}},
publisher = {CEUR-WS.org},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005}
}
@inproceedings{conf/ijcai/CalimeriFLP05,
title = {Declarative and Computational Properties of Logic Programs with Aggregates.},
year = {2005},
booktitle = {IJCAI},
author = {{Francesco Calimeri} and {Wolfgang Faber 001} and {Nicola Leone} and {Simona Perri}},
publisher = {Professional Book Center},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}
}
@inproceedings{conf/ijcai/FaberLR05,
title = {Heuristics for Hard ASP Programs.},
year = {2005},
booktitle = {IJCAI},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Professional Book Center},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}
}
@inproceedings{conf/lpnmr/LeoneEFFGGGKILLLNRRST05,
title = {Data Integration: a Challenging ASP Application.},
year = {2005},
booktitle = {LPNMR},
author = {{Nicola Leone} and {Thomas Eiter} and {Wolfgang Faber 001} and {Michael Fink 001} and {Georg Gottlob} and {Luigi Granata} and {Gianluigi Greco} and {Edyta Kalka} and {Giovambattista Ianni} and {Domenico Lembo} and {Maurizio Lenzerini} and {Vincenzino Lio} and {Bartosz Nowicki} and {Riccardo Rosati 001} and {Marco Ruzzi} and {Witold Staniszkis} and {Giorgio Terracina}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings}
}
@inproceedings{conf/lpnmr/RiccaLBDGG05,
title = {A DLP System with Object-Oriented Features.},
year = {2005},
booktitle = {LPNMR},
author = {{Francesco Ricca} and {Nicola Leone} and {Valerio De Bonis} and {Tina Dell'Armi} and {Stefania Galizia} and {Giovanni Grasso 002}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings}
}
@inproceedings{conf/sebd/LeoneEFFGG05,
title = {Boosting Information Integration: The INFOMIX System.},
year = {2005},
booktitle = {SEBD},
author = {{Nicola Leone} and {Thomas Eiter} and {Wolfgang Faber 001} and {Michael Fink 001} and {Georg Gottlob} and {Gianluigi Greco}},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005}
}
@inproceedings{conf/sigmod/LeoneGILTEFFGRLLRKNS05,
title = {The INFOMIX system for advanced integration of incomplete and inconsistent data.},
year = {2005},
booktitle = {SIGMOD Conference},
author = {{Nicola Leone} and {Gianluigi Greco} and {Giovambattista Ianni} and {Vincenzino Lio} and {Giorgio Terracina} and {Thomas Eiter} and {Wolfgang Faber 001} and {Michael Fink 001} and {Georg Gottlob} and {Riccardo Rosati 001} and {Domenico Lembo} and {Maurizio Lenzerini} and {Marco Ruzzi} and {Edyta Kalka} and {Bartosz Nowicki} and {Witold Staniszkis}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 14-16, 2005}
}
@article{journals/ia/FaberLR05,
title = {Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.},
year = {2005},
journal = {Intelligenza Artificiale},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Francesco Ricca}}
}
@article{journals/tplp/PerriSL05,
title = {Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.},
year = {2005},
journal = {Theory Pract. Log. Program.},
author = {{Simona Perri} and {Francesco Scarcello} and {Nicola Leone}}
}
@inproceedings{conf/bpm/GualtieriDL06,
title = {Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features.},
year = {2006},
booktitle = {Business Process Management Workshops},
author = {{Andrea Gualtieri} and {Tina Dell'Armi} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings}
}
@inproceedings{conf/ismis/TerracinaLLP06,
title = {Adding Efficient Data Management to Logic Programming Systems.},
year = {2006},
booktitle = {ISMIS},
author = {{Giorgio Terracina} and {Nicola Leone} and {Vincenzino Lio} and {Claudio Panetta}},
publisher = {Springer},
booktitle = {Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings}
}
@inproceedings{conf/jelia/RuffoloMGLS06,
title = {A Logic-Based Tool for Semantic Information Extraction.},
year = {2006},
booktitle = {JELIA},
author = {{Massimo Ruffolo} and {Marco Manna} and {Lorenzo Gallucci} and {Nicola Leone} and {Domenico Saccà}},
publisher = {Springer},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings}
}
@inproceedings{conf/sebd/RuffoloGLMS06,
title = {Towards a Semantic Information Extraction Approach from Unstructured Documents.},
year = {2006},
booktitle = {SEBD},
author = {{Massimo Ruffolo} and {Lorenzo Gallucci} and {Nicola Leone} and {Marco Manna} and {Domenico Saccà}},
booktitle = {Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, SEBD 2006, Portonovo (Ancona), Italy, 18-21 June 2006}
}
@article{journals/aicom/RiccaFL06,
title = {A backjumping technique for Disjunctive Logic Programming.},
year = {2006},
journal = {AI Commun.},
author = {{Francesco Ricca} and {Wolfgang Faber 001} and {Nicola Leone}}
}
@article{journals/fuin/CalimeriFPL06,
title = {Pruning Operators for Disjunctive Logic Programming Systems.},
year = {2006},
journal = {Fundam. Informaticae},
author = {{Francesco Calimeri} and {Wolfgang Faber 001} and {Gerald Pfeifer} and {Nicola Leone}}
}
@article{journals/tocl/LeonePFEGPS06,
title = {The DLV system for knowledge representation and reasoning.},
year = {2006},
journal = {ACM Trans. Comput. Log.},
author = {{Nicola Leone} and {Gerald Pfeifer} and {Wolfgang Faber 001} and {Thomas Eiter} and {Georg Gottlob} and {Simona Perri} and {Francesco Scarcello}}
}
@inproceedings{conf/lpnmr/FaberL07,
title = {On the Complexity of Answer Set Programming with Aggregates.},
year = {2007},
booktitle = {LPNMR},
author = {{Wolfgang Faber 001} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings}
}
@inproceedings{conf/lpnmr/FaberLMR07,
title = {Experimenting with Look-Back Heuristics for Hard ASP Programs.},
year = {2007},
booktitle = {LPNMR},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Marco Maratea} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings}
}
@inproceedings{conf/lpnmr/Leone07,
title = {Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.},
year = {2007},
booktitle = {LPNMR},
author = {{Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings}
}
@article{journals/amai/FaberLPR07,
title = {On look-ahead heuristics in disjunctive logic programming.},
year = {2007},
journal = {Ann. Math. Artif. Intell.},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Gerald Pfeifer} and {Francesco Ricca}}
}
@article{journals/amai/PerriSCL07,
title = {Enhancing DLV instantiator by backjumping techniques.},
year = {2007},
journal = {Ann. Math. Artif. Intell.},
author = {{Simona Perri} and {Francesco Scarcello} and {Gelsomina Catalano} and {Nicola Leone}}
}
@article{journals/japll/RiccaL07,
title = {Disjunctive logic programming with types and objects: The DLV+ system.},
year = {2007},
journal = {J. Appl. Log.},
author = {{Francesco Ricca} and {Nicola Leone}}
}
@article{journals/jcss/FaberGL07,
title = {Magic Sets and their application to data integration.},
year = {2007},
journal = {J. Comput. Syst. Sci.},
author = {{Wolfgang Faber 001} and {Gianluigi Greco} and {Nicola Leone}}
}
@article{journals/jcss/ScarcelloGL07,
title = {Weighted hypertree decompositions and optimal query plans.},
year = {2007},
journal = {J. Comput. Syst. Sci.},
author = {{Francesco Scarcello} and {Gianluigi Greco} and {Nicola Leone}}
}
@inproceedings{conf/aaai/FaberGL08,
title = {Magic Sets for Data Integration.},
year = {2008},
booktitle = {AAAI},
author = {{Wolfgang Faber 001} and {Gianluigi Greco} and {Nicola Leone}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008}
}
@inproceedings{conf/birthday/GrecoPLRS08,
title = {Logic Programming in DataLog: A Long Tour from Theory to Practice.},
year = {2008},
booktitle = {Il Milione},
author = {{Sergio Greco} and {Luigi Palopoli 001} and {Nicola Leone} and {Pasquale Rullo} and {Domenico Saccà}},
publisher = {CEUR-WS.org},
booktitle = {Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008.}
}
@inproceedings{conf/iclp/CalimeriCIL08,
title = {Computable Functions in ASP: Theory and Implementation.},
year = {2008},
booktitle = {ICLP},
author = {{Francesco Calimeri} and {Susanna Cozza} and {Giovambattista Ianni} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings}
}
@inproceedings{conf/iclp/LeoneF08,
title = {The DLV Project: A Tour from Theory and Research to Applications and Market.},
year = {2008},
booktitle = {ICLP},
author = {{Nicola Leone} and {Wolfgang Faber 001}},
publisher = {Springer},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings}
}
@inproceedings{conf/rcra/TerracinaFPL08,
title = {Experiencing ASP with Real World Applications.},
year = {2008},
booktitle = {RCRA},
author = {{Giorgio Terracina} and {Erika De Francesco} and {Claudio Panetta} and {Nicola Leone}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008.}
}
@inproceedings{conf/rr/TerracinaFPL08,
title = {Enhancing a DLP System for Advanced Database Applications.},
year = {2008},
booktitle = {RR},
author = {{Giorgio Terracina} and {Erika De Francesco} and {Claudio Panetta} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings}
}
@article{journals/amai/GiunchigliaLM08,
title = {On the relation among answer set solvers.},
year = {2008},
journal = {Ann. Math. Artif. Intell.},
author = {{Enrico Giunchiglia} and {Nicola Leone} and {Marco Maratea}}
}
@article{journals/jal/MarateaRFL08,
title = {Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.},
year = {2008},
journal = {J. Algorithms},
author = {{Marco Maratea} and {Francesco Ricca} and {Wolfgang Faber 001} and {Nicola Leone}}
}
@article{journals/tplp/FaberPLDI08,
title = {Design and implementation of aggregate functions in the DLV system.},
year = {2008},
journal = {Theory Pract. Log. Program.},
author = {{Wolfgang Faber 001} and {Gerald Pfeifer} and {Nicola Leone} and {Tina Dell'Armi} and {Giuseppe Ielpa}}
}
@article{journals/tplp/TerracinaLLP08,
title = {Experimenting with recursive queries in database and logic programming systems.},
year = {2008},
journal = {Theory Pract. Log. Program.},
author = {{Giorgio Terracina} and {Nicola Leone} and {Vincenzino Lio} and {Claudio Panetta}}
}
@incollection{reference/wiley/FaberLR08,
title = {Answer Set Programming.},
year = {2008},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Francesco Ricca}},
publisher = {John Wiley & Sons, Inc.},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering}
}
@inproceedings{conf/lpnmr/BriaFL09,
title = {nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.},
year = {2009},
booktitle = {LPNMR},
author = {{Annamaria Bria} and {Wolfgang Faber 001} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}
}
@inproceedings{conf/lpnmr/CalimeriCIL09,
title = {Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.},
year = {2009},
booktitle = {LPNMR},
author = {{Francesco Calimeri} and {Susanna Cozza} and {Giovambattista Ianni} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}
}
@inproceedings{conf/lpnmr/CalimeriCIL09a,
title = {An ASP System with Functions, Lists, and Sets.},
year = {2009},
booktitle = {LPNMR},
author = {{Francesco Calimeri} and {Susanna Cozza} and {Giovambattista Ianni} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}
}
@inproceedings{conf/lpnmr/GrassoILR09,
title = {Some DLV Applications for Knowledge Management.},
year = {2009},
booktitle = {LPNMR},
author = {{Giovanni Grasso 001} and {Salvatore Iiritano} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}
}
@inproceedings{conf/lpnmr/IelpaILR09,
title = {An ASP-Based System for e-Tourism.},
year = {2009},
booktitle = {LPNMR},
author = {{Salvatore Maria Ielpa} and {Salvatore Iiritano} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}
}
@inproceedings{conf/lpnmr/Leone09,
title = {Exploiting ASP in Real-World Applications: Main Strengths and Challenges.},
year = {2009},
booktitle = {LPNMR},
author = {{Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}
}
@inproceedings{conf/lpnmr/LeoneRT09,
title = {An ASP-Based Data Integration System.},
year = {2009},
booktitle = {LPNMR},
author = {{Nicola Leone} and {Francesco Ricca} and {Giorgio Terracina}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}
}
@article{journals/fuin/BriaFL09,
title = {Normal Form Nested Programs.},
year = {2009},
journal = {Fundam. Informaticae},
author = {{Annamaria Bria} and {Wolfgang Faber 001} and {Nicola Leone}}
}
@article{journals/logcom/RiccaGSDGL09,
title = {OntoDLV: An ASP-based System for Enterprise Ontologies.},
year = {2009},
journal = {J. Log. Comput.},
author = {{Francesco Ricca} and {Lorenzo Gallucci} and {Roman Schindlauer} and {Tina Dell'Armi} and {Giovanni Grasso 001} and {Nicola Leone}}
}
@inproceedings{conf/aaai/CalimeriCIL10,
title = {Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.},
year = {2010},
booktitle = {AAAI},
author = {{Francesco Calimeri} and {Susanna Cozza} and {Giovambattista Ianni} and {Nicola Leone}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010}
}
@incollection{conf/agp/BonattiCLR10,
title = {Answer Set Programming.},
year = {2010},
booktitle = {25 Years GULP},
author = {{Piero A. Bonatti} and {Francesco Calimeri} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP}
}
@inproceedings{conf/cpaior/Alviano0L10,
title = {Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.},
year = {2010},
booktitle = {RCRA@CPAIOR},
author = {{Mario Alviano} and {Wolfgang Faber 001} and {Nicola Leone}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010}
}
@inproceedings{conf/datalog/AlvianoFLPPT10,
title = {The Disjunctive Datalog System DLV.},
year = {2010},
booktitle = {Datalog},
author = {{Mario Alviano} and {Wolfgang Faber 001} and {Nicola Leone} and {Simona Perri} and {Gerald Pfeifer} and {Giorgio Terracina}},
publisher = {Springer},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers}
}
@inproceedings{conf/padl/GrassoILLRS10,
title = {An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.},
year = {2010},
booktitle = {PADL},
author = {{Giovanni Grasso 001} and {Salvatore Iiritano} and {Nicola Leone} and {Vincenzino Lio} and {Francesco Ricca} and {Francesco Scalise}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings}
}
@inproceedings{conf/padl/LeoneRRT10,
title = {Efficient Application of Answer Set Programming for Advanced Data Integration.},
year = {2010},
booktitle = {PADL},
author = {{Nicola Leone} and {Francesco Ricca} and {Luca Agostino Rubino} and {Giorgio Terracina}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings}
}
@article{journals/fuin/RiccaDGIIML10,
title = {A Logic-Based System for e-Tourism.},
year = {2010},
journal = {Fundam. Informaticae},
author = {{Francesco Ricca} and {Antonella Dimasi} and {Giovanni Grasso 001} and {Salvatore Maria Ielpa} and {Salvatore Iiritano} and {Marco Manna} and {Nicola Leone}}
}
@article{journals/tplp/AlvianoFL10,
title = {Disjunctive ASP with functions: Decidable queries and effective computation.},
year = {2010},
journal = {Theory Pract. Log. Program.},
author = {{Mario Alviano} and {Wolfgang Faber 001} and {Nicola Leone}}
}
@inproceedings{conf/birthday/GrassoLMR11,
title = {ASP at Work: Spin-off and Applications of the DLV System.},
year = {2011},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning},
author = {{Giovanni Grasso 001} and {Nicola Leone} and {Marco Manna} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday}
}
@inproceedings{conf/cilc/DodaroAFLRS11,
title = {The Birth of a WASP: Preliminary Report on a New ASP Solver.},
year = {2011},
booktitle = {CILC},
author = {{Carmine Dodaro} and {Mario Alviano} and {Wolfgang Faber 001} and {Nicola Leone} and {Francesco Ricca} and {Marco Sirianni}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}
}
@inproceedings{conf/inap/FebbraroLRR11,
title = {Unit Testing in ASPIDE.},
year = {2011},
booktitle = {INAP/WLP},
author = {{Onofrio Febbraro} and {Nicola Leone} and {Kristian Reale} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers}
}
@inproceedings{conf/lpnmr/AlvianoGL11,
title = {Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.},
year = {2011},
booktitle = {LPNMR},
author = {{Mario Alviano} and {Gianluigi Greco} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}
}
@inproceedings{conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11,
title = {The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.},
year = {2011},
booktitle = {LPNMR},
author = {{Francesco Calimeri} and {Giovambattista Ianni} and {Francesco Ricca} and {Mario Alviano} and {Annamaria Bria} and {Gelsomina Catalano} and {Susanna Cozza} and {Wolfgang Faber 001} and {Onofrio Febbraro} and {Nicola Leone} and {Marco Manna} and {Alessandra Martello} and {Claudio Panetta} and {Simona Perri} and {Kristian Reale} and {Maria Carmela Santoro} and {Marco Sirianni} and {Giorgio Terracina} and {Pierfrancesco Veltri}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}
}
@inproceedings{conf/sebd/BarilaroLRT11,
title = {Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.},
year = {2011},
booktitle = {SEBD},
author = {{Rosamaria Barilaro} and {Nicola Leone} and {Francesco Ricca} and {Giorgio Terracina}},
booktitle = {Sistemi Evoluti per Basi di Dati - SEBD 2011, Proceedings of the Nineteenth Italian Symposium on Advanced Database Systems, Maratea, Italy, June 26-29, 2011}
}
@article{journals/ai/FaberPL11,
title = {Semantics and complexity of recursive aggregates in answer set programming.},
year = {2011},
journal = {Artif. Intell.},
author = {{Wolfgang Faber 001} and {Gerald Pfeifer} and {Nicola Leone}}
}
@article{journals/aicom/CalimeriCIL11,
title = {Finitely recursive programs: Decidability and bottom-up computation.},
year = {2011},
journal = {AI Commun.},
author = {{Francesco Calimeri} and {Susanna Cozza} and {Giovambattista Ianni} and {Nicola Leone}}
}
@article{journals/fuin/FaberLMR11,
title = {Look-back Techniques for ASP Programs with Aggregates.},
year = {2011},
journal = {Fundam. Informaticae},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Marco Maratea} and {Francesco Ricca}}
}
@article{journals/ia/GrecoLPRS11,
title = {A long tour from theory to practice.},
year = {2011},
journal = {Intelligenza Artificiale},
author = {{Sergio Greco} and {Nicola Leone} and {Luigi Palopoli 001} and {Pasquale Rullo} and {Domenico Saccà}}
}
@article{journals/jair/AlvianoCFLP11,
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.},
year = {2011},
journal = {J. Artif. Intell. Res.},
author = {{Mario Alviano} and {Francesco Calimeri} and {Wolfgang Faber 001} and {Nicola Leone} and {Simona Perri}}
}
@article{journals/jcss/MannaSL11,
title = {On the complexity of regular-grammars with integer attributes.},
year = {2011},
journal = {J. Comput. Syst. Sci.},
author = {{Marco Manna} and {Francesco Scarcello} and {Nicola Leone}}
}
@inproceedings{conf/birthday/FaberLP12,
title = {The Intelligent Grounder of DLV.},
year = {2012},
booktitle = {Correct Reasoning},
author = {{Wolfgang Faber 001} and {Nicola Leone} and {Simona Perri}},
publisher = {Springer},
booktitle = {Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz}
}
@inproceedings{conf/cilc/FebbraroLRR12,
title = {Extending ASPIDE with User-defined Plugins.},
year = {2012},
booktitle = {CILC},
author = {{Onofrio Febbraro} and {Nicola Leone} and {Kristian Reale} and {Francesco Ricca}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}
}
@inproceedings{conf/datalog/AlvianoLMTV12,
title = {Magic-Sets for Datalog with Existential Quantifiers.},
year = {2012},
booktitle = {Datalog},
author = {{Mario Alviano} and {Nicola Leone} and {Marco Manna} and {Giorgio Terracina} and {Pierfrancesco Veltri}},
publisher = {Springer},
booktitle = {Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings}
}
@inproceedings{conf/datalog/FebbraroGLRR12,
title = {Datalog Development Tools - (Extended Abstract).},
year = {2012},
booktitle = {Datalog},
author = {{Onofrio Febbraro} and {Giovanni Grasso 001} and {Nicola Leone} and {Kristian Reale} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings}
}
@inproceedings{conf/kr/FebbraroLGR12,
title = {JASP: A Framework for Integrating Answer Set Programming with Java.},
year = {2012},
booktitle = {KR},
author = {{Onofrio Febbraro} and {Nicola Leone} and {Giovanni Grasso 001} and {Francesco Ricca}},
publisher = {AAAI Press},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012}
}
@inproceedings{conf/kr/LeoneMTV12,
title = {Efficiently Computable Datalog∃ Programs.},
year = {2012},
booktitle = {KR},
author = {{Nicola Leone} and {Marco Manna} and {Giorgio Terracina} and {Pierfrancesco Veltri}},
publisher = {AAAI Press},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012}
}
@inproceedings{conf/rr/BarilaroLRT12,
title = {Distributed Ontology Based Data Access via Logic Programming.},
year = {2012},
booktitle = {RR},
author = {{Rosamaria Barilaro} and {Nicola Leone} and {Francesco Ricca} and {Giorgio Terracina}},
publisher = {Springer},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings}
}
@inproceedings{conf/sebd/LeoneMTV12,
title = {Efficient Query Answering over Datalog with Existential Quantifiers.},
year = {2012},
booktitle = {SEBD},
author = {{Nicola Leone} and {Marco Manna} and {Giorgio Terracina} and {Pierfrancesco Veltri}},
publisher = {Edizioni Libreria Progetto, Padova, Italy},
booktitle = {Twentieth Italian Symposium on Advanced Database Systems, SEBD 2012, Venice, Italy, June 24-27, 2012, Proceedings}
}
@article{journals/ai/AlvianoFGL12,
title = {Magic Sets for disjunctive Datalog programs.},
year = {2012},
journal = {Artif. Intell.},
author = {{Mario Alviano} and {Wolfgang Faber 001} and {Gianluigi Greco} and {Nicola Leone}}
}
@article{journals/tlsdkcs/MannaORAL12,
title = {The HiLeX System for Semantic Information Extraction.},
year = {2012},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
author = {{Marco Manna} and {Ermelinda Oro} and {Massimo Ruffolo} and {Mario Alviano} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Transactions on Large-Scale Data- and Knowledge-Centered Systems V}
}
@article{journals/tplp/AlvianoFLM12,
title = {Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.},
year = {2012},
journal = {Theory Pract. Log. Program.},
author = {{Mario Alviano} and {Wolfgang Faber 001} and {Nicola Leone} and {Marco Manna}}
}
@article{journals/tplp/RiccaGAMLIL12,
title = {Team-building with answer set programming in the Gioia-Tauro seaport.},
year = {2012},
journal = {Theory Pract. Log. Program.},
author = {{Francesco Ricca} and {Giovanni Grasso 001} and {Mario Alviano} and {Marco Manna} and {Vincenzino Lio} and {Salvatore Iiritano} and {Nicola Leone}}
}
@inproceedings{conf/lpnmr/AlvianoDFLR13,
title = {WASP: A Native ASP Solver Based on Constraint Learning.},
year = {2013},
booktitle = {LPNMR},
author = {{Mario Alviano} and {Carmine Dodaro} and {Wolfgang Faber 001} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings}
}
@inproceedings{conf/lpnmr/TerracinaML13,
title = {Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System.},
year = {2013},
booktitle = {LPNMR},
author = {{Giorgio Terracina} and {Alessandra Martello} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings}
}
@inproceedings{conf/rr/GrassoLR13,
title = {Answer Set Programming: Language, Applications and Development Tools.},
year = {2013},
booktitle = {RR},
author = {{Giovanni Grasso 001} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings}
}
@inproceedings{conf/sebd/AlvianoFLM13,
title = {Query Answering over Disjunctive Datalog with Existential Quantifiers.},
year = {2013},
booktitle = {SEBD},
author = {{Mario Alviano} and {Wolfgang Faber 001} and {Nicola Leone} and {Marco Manna}},
publisher = {Curran Associates},
booktitle = {21st Italian Symposium on Advanced Database Systems, SEBD 2013, Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013.}
}
@inproceedings{conf/sebd/FebbraroGLRR13,
title = {Development Tools for Datalog.},
year = {2013},
booktitle = {SEBD},
author = {{Onofrio Febbraro} and {Giovanni Grasso 001} and {Nicola Leone} and {Kristian Reale} and {Francesco Ricca}},
publisher = {Curran Associates},
booktitle = {21st Italian Symposium on Advanced Database Systems, SEBD 2013, Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013.}
}
@inproceedings{conf/sebd/FebbraroLRTV13,
title = {A graphic tool for ontology reasoning under Datalog∃.},
year = {2013},
booktitle = {SEBD},
author = {{Onofrio Febbraro} and {Nicola Leone} and {Francesco Ricca} and {Giorgio Terracina} and {Pierfrancesco Veltri}},
publisher = {Curran Associates},
booktitle = {21st Italian Symposium on Advanced Database Systems, SEBD 2013, Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013.}
}
@article{journals/tplp/FaberL13,
title = {Introduction to the special issue on the 25th annual GULP conference.},
year = {2013},
journal = {Theory Pract. Log. Program.},
author = {{Wolfgang Faber 001} and {Nicola Leone}}
}
@inproceedings{conf/jelia/AmendolaEL14,
title = {Modular Paracoherent Answer Sets.},
year = {2014},
booktitle = {JELIA},
author = {{Giovanni Amendola} and {Thomas Eiter} and {Nicola Leone}},
publisher = {Springer},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings}
}
@inproceedings{conf/icaisc/AdrianLLMS15,
title = {Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.},
year = {2015},
booktitle = {ICAISC},
author = {{Weronika T. Adrian} and {Nicola Leone} and {Antoni Ligeza} and {Marco Manna} and {Mateusz Slazynski}},
publisher = {Springer},
booktitle = {Artificial Intelligence and Soft Computing - 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-28, 2015, Proceedings, Part II}
}
@inproceedings{conf/lpnmr/AlvianoDLR15,
title = {Advances in WASP.},
year = {2015},
booktitle = {LPNMR},
author = {{Mario Alviano} and {Carmine Dodaro} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings}
}
@inproceedings{conf/rr/AdrianLM15,
title = {Semantic Views of Homogeneous Unstructured Data.},
year = {2015},
booktitle = {RR},
author = {{Weronika T. Adrian} and {Nicola Leone} and {Marco Manna}},
publisher = {Springer},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings}
}
@inproceedings{conf/rr/DodaroLNR15,
title = {Allotment Problem in Travel Industry: A Solution Based on ASP.},
year = {2015},
booktitle = {RR},
author = {{Carmine Dodaro} and {Nicola Leone} and {Barbara Nardi} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings}
}
@inproceedings{conf/rweb/LeoneR15,
title = {Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications.},
year = {2015},
booktitle = {Reasoning Web},
author = {{Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures}
}
@article{journals/corr/AdrianLM15,
title = {Ontology-driven Information Extraction.},
year = {2015},
journal = {CoRR},
author = {{Weronika T. Adrian} and {Nicola Leone} and {Marco Manna}}
}
@article{journals/tplp/AlvianoL15,
title = {Complexity and compilation of GZ-aggregates in answer set programming.},
year = {2015},
journal = {Theory Pract. Log. Program.},
author = {{Mario Alviano} and {Nicola Leone}}
}
@inproceedings{conf/aiia/AmendolaDLR16,
title = {On the Application of Answer Set Programming to the Conference Paper Assignment Problem.},
year = {2016},
booktitle = {AI*IA},
author = {{Giovanni Amendola} and {Carmine Dodaro} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings}
}
@inproceedings{conf/ijcai/AlvianoL16,
title = {On the Properties of GZ-Aggregates in Answer Set Programming.},
year = {2016},
booktitle = {IJCAI},
author = {{Mario Alviano} and {Nicola Leone}},
publisher = {IJCAI/AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016}
}
@inproceedings{conf/ijcai/AmendolaGLV16,
title = {Modeling and Reasoning about NTU Games via Answer Set Programming.},
year = {2016},
booktitle = {IJCAI},
author = {{Giovanni Amendola} and {Gianluigi Greco} and {Nicola Leone} and {Pierfrancesco Veltri}},
publisher = {IJCAI/AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016}
}
@inproceedings{conf/pods/GottlobGLS16,
title = {Hypertree Decompositions: Questions and Answers.},
year = {2016},
booktitle = {PODS},
author = {{Georg Gottlob} and {Gianluigi Greco} and {Nicola Leone} and {Francesco Scarcello}},
publisher = {ACM},
booktitle = {Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016}
}
@article{journals/ai/AmendolaEFLM16,
title = {Semi-equilibrium models for paracoherent answer set programs.},
year = {2016},
journal = {Artif. Intell.},
author = {{Giovanni Amendola} and {Thomas Eiter} and {Michael Fink 001} and {Nicola Leone} and {João Moura 001}}
}
@article{journals/aim/ErdemGL16,
title = {Applications of Answer Set Programming.},
year = {2016},
journal = {AI Mag.},
author = {{Esra Erdem 001} and {Michael Gelfond} and {Nicola Leone}}
}
@article{journals/aim/KaufmannLPS16,
title = {Grounding and Solving in Answer Set Programming.},
year = {2016},
journal = {AI Mag.},
author = {{Benjamin Kaufmann} and {Nicola Leone} and {Simona Perri} and {Torsten Schaub}}
}
@article{journals/corr/DodaroGLMRS16a,
title = {Driving CDCL Search.},
year = {2016},
journal = {CoRR},
author = {{Carmine Dodaro} and {Philip Gasteiger} and {Nicola Leone} and {Benjamin Musitsch} and {Francesco Ricca} and {Konstantin Schekotihin}}
}
@article{journals/tplp/DodaroGLMRS16,
title = {Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).},
year = {2016},
journal = {Theory Pract. Log. Program.},
author = {{Carmine Dodaro} and {Philip Gasteiger} and {Nicola Leone} and {Benjamin Musitsch} and {Francesco Ricca} and {Konstantin Schekotihin}}
}
@inproceedings{conf/aaai/AmendolaDFLR17,
title = {On the Computation of Paracoherent Answer Sets.},
year = {2017},
booktitle = {AAAI},
author = {{Giovanni Amendola} and {Carmine Dodaro} and {Wolfgang Faber 001} and {Nicola Leone} and {Francesco Ricca}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.}
}
@inproceedings{conf/aiia/AdrianLMM17,
title = {Document Layout Analysis for Semantic Information Extraction.},
year = {2017},
booktitle = {AI*IA},
author = {{Weronika T. Adrian} and {Nicola Leone} and {Marco Manna} and {Cinzia Marte}},
publisher = {Springer},
booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings}
}
@inproceedings{conf/iclp/AdrianMLAA17,
title = {Entity set expansion from the Web via ASP.},
year = {2017},
booktitle = {ICLP (Technical Communications)},
author = {{Weronika T. Adrian} and {Marco Manna} and {Nicola Leone} and {Giovanni Amendola} and {Marek Adrian}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia}
}
@inproceedings{conf/iclp/AmendolaLMV17,
title = {Reasoning on anonymity in Datalog+/-.},
year = {2017},
booktitle = {ICLP (Technical Communications)},
author = {{Giovanni Amendola} and {Nicola Leone} and {Marco Manna} and {Pierfrancesco Veltri}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia}
}
@inproceedings{conf/lpnmr/AlvianoCDFLPRVZ17,
title = {The ASP System DLV2.},
year = {2017},
booktitle = {LPNMR},
author = {{Mario Alviano} and {Francesco Calimeri} and {Carmine Dodaro} and {Davide Fuscà} and {Nicola Leone} and {Simona Perri} and {Francesco Ricca} and {Pierfrancesco Veltri} and {Jessica Zangari}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings}
}
@inproceedings{conf/sebd/AmendolaLM17,
title = {Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper).},
year = {2017},
booktitle = {SEBD},
author = {{Giovanni Amendola} and {Nicola Leone} and {Marco Manna}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 25th Italian Symposium on Advanced Database Systems, Squillace Lido (Catanzaro), Italy, June 25-29, 2017.}
}
@article{journals/tplp/AmendolaLM17,
title = {Finite model reasoning over existential rules.},
year = {2017},
journal = {Theory Pract. Log. Program.},
author = {{Giovanni Amendola} and {Nicola Leone} and {Marco Manna}}
}
@incollection{books/sp/18/GrecoLST18,
title = {Structural Decomposition Methods: Key Notions and Database Applications.},
year = {2018},
booktitle = {A Comprehensive Guide Through the Italian Database Research},
author = {{Gianluigi Greco} and {Nicola Leone} and {Francesco Scarcello} and {Giorgio Terracina}},
publisher = {Springer International Publishing},
booktitle = {A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years.}
}
@inproceedings{conf/ic3k/AlloccaACCFFGLL18,
title = {Reasoning over Ontologies with DLV.},
year = {2018},
booktitle = {IC3K},
author = {{Carlo Allocca} and {Mario Alviano} and {Francesco Calimeri} and {Roberta Costabile} and {Alessio Fiorentino} and {Davide Fuscà} and {Stefano Germano} and {Giovanni Laboccetta} and {Nicola Leone} and {Marco Manna} and {Simona Perri} and {Kristian Reale} and {Francesco Ricca} and {Pierfrancesco Veltri} and {Jessica Zangari}},
publisher = {Springer},
booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management - 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers}
}
@inproceedings{conf/ic3k/Leone18,
title = {The AI System DLV: Ontologies, Reasoning, and More.},
year = {2018},
booktitle = {KDIR},
author = {{Nicola Leone}},
publisher = {SciTePress},
booktitle = {Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, Volume 1: KDIR, Seville, Spain, September 18-20, 2018.}
}
@inproceedings{conf/ijcai/AmendolaLM18,
title = {Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.},
year = {2018},
booktitle = {IJCAI},
author = {{Giovanni Amendola} and {Nicola Leone} and {Marco Manna}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/ijcai/AmendolaLMV18,
title = {Enhancing Existential Rules by Closed-World Variables.},
year = {2018},
booktitle = {IJCAI},
author = {{Giovanni Amendola} and {Nicola Leone} and {Marco Manna} and {Pierfrancesco Veltri}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/ijcai/GebserLMPRS18,
title = {Evaluation Techniques and Systems for Answer Set Programming: a Survey.},
year = {2018},
booktitle = {IJCAI},
author = {{Martin Gebser} and {Nicola Leone} and {Marco Maratea} and {Simona Perri} and {Francesco Ricca} and {Torsten Schaub}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/sebd/LeonePRVZ18,
title = {First Steps towards Reasoning on Big Data with DLV.},
year = {2018},
booktitle = {SEBD},
author = {{Nicola Leone} and {Simona Perri} and {Francesco Ricca} and {Pierfrancesco Veltri} and {Jessica Zangari}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 26th Italian Symposium on Advanced Database Systems, Castellaneta Marina (Taranto), Italy, June 24-27, 2018.}
}
@article{journals/ki/AdrianACCDFFLMP18,
title = {The ASP System DLV: Advancements and Applications.},
year = {2018},
journal = {Künstliche Intell.},
author = {{Weronika T. Adrian} and {Mario Alviano} and {Francesco Calimeri} and {Bernardo Cuteri} and {Carmine Dodaro} and {Wolfgang Faber 001} and {Davide Fuscà} and {Nicola Leone} and {Marco Manna} and {Simona Perri} and {Francesco Ricca} and {Pierfrancesco Veltri} and {Jessica Zangari}}
}
@inproceedings{conf/cilc/AlloccaCCFLMPZ19,
title = {An ASP-based Approach for Optimizing DLV Evaluation.},
year = {2019},
booktitle = {CILC},
author = {{Carlo Allocca} and {Francesco Calimeri} and {Roberta Costabile} and {Alessio Fiorentino} and {Nicola Leone} and {Marco Manna} and {Simona Perri} and {Jessica Zangari}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019.}
}
@inproceedings{conf/cilc/LeoneAACCCCFFGL19,
title = {Large Scale DLV: Preliminary Results.},
year = {2019},
booktitle = {CILC},
author = {{Nicola Leone} and {Carlo Allocca} and {Mario Alviano} and {Francesco Calimeri} and {Cristina Civili} and {Roberta Costabile} and {Bernardo Cuteri} and {Alessio Fiorentino} and {Davide Fuscà} and {Stefano Germano} and {Giovanni Laboccetta} and {Marco Manna} and {Simona Perri} and {Kristian Reale} and {Francesco Ricca} and {Pierfrancesco Veltri} and {Jessica Zangari}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019.}
}
@inproceedings{conf/lpnmr/AlvianoADLMR19,
title = {Evaluation of Disjunctive Programs in WASP.},
year = {2019},
booktitle = {LPNMR},
author = {{Mario Alviano} and {Giovanni Amendola} and {Carmine Dodaro} and {Nicola Leone} and {Marco Maratea} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings}
}
@inproceedings{conf/lpnmr/BertolucciCDLMM19,
title = {An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.},
year = {2019},
booktitle = {LPNMR},
author = {{Riccardo Bertolucci} and {Alessio Capitanelli} and {Carmine Dodaro} and {Nicola Leone} and {Marco Maratea} and {Fulvio Mastrogiovanni} and {Mauro Vallati}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings}
}
@inproceedings{conf/lpnmr/LeoneAACCCFFGLC19,
title = {Enhancing DLV for Large-Scale Reasoning.},
year = {2019},
booktitle = {LPNMR},
author = {{Nicola Leone} and {Carlo Allocca} and {Mario Alviano} and {Francesco Calimeri} and {Cristina Civili} and {Roberta Costabile} and {Alessio Fiorentino} and {Davide Fuscà} and {Stefano Germano} and {Giovanni Laboccetta} and {Bernardo Cuteri} and {Marco Manna} and {Simona Perri} and {Kristian Reale} and {Francesco Ricca} and {Pierfrancesco Veltri} and {Jessica Zangari}},
publisher = {Springer},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings}
}
@inproceedings{conf/sebd/AlloccaACCCCFFG19,
title = {Querying Large Expressive Horn Ontologies.},
year = {2019},
booktitle = {SEBD},
author = {{Carlo Allocca} and {Mario Alviano} and {Francesco Calimeri} and {Cristina Civili} and {Roberta Costabile} and {Bernardo Cuteri} and {Alessio Fiorentino} and {Davide Fuscà} and {Stefano Germano} and {Giovanni Laboccetta} and {Nicola Leone} and {Marco Manna} and {Simona Perri} and {Kristian Reale} and {Francesco Ricca} and {Pierfrancesco Veltri} and {Jessica Zangari}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 27th Italian Symposium on Advanced Database Systems, Castiglione della Pescaia (Grosseto), Italy, June 16-19, 2019.}
}
@article{journals/tocl/LeoneMTV19,
title = {Fast Query Answering over Existential Rules.},
year = {2019},
journal = {ACM Trans. Comput. Log.},
author = {{Nicola Leone} and {Marco Manna} and {Giorgio Terracina} and {Pierfrancesco Veltri}}
}
@article{journals/tplp/AlvianoLVZ19,
title = {Enhancing Magic Sets with an Application to Ontological Reasoning.},
year = {2019},
journal = {Theory Pract. Log. Program.},
author = {{Mario Alviano} and {Nicola Leone} and {Pierfrancesco Veltri} and {Jessica Zangari}}
}
@article{journals/tplp/FiorentinoLMPZ19,
title = {Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.},
year = {2019},
journal = {Theory Pract. Log. Program.},
author = {{Alessio Fiorentino} and {Nicola Leone} and {Marco Manna} and {Simona Perri} and {Jessica Zangari}}
}
@article{journals/tplp/CalimeriFGIKKLM20,
title = {ASP-Core-2 Input Language Format.},
year = {2020},
journal = {Theory Pract. Log. Program.},
author = {{Francesco Calimeri} and {Wolfgang Faber 001} and {Martin Gebser} and {Giovambattista Ianni} and {Roland Kaminski} and {Thomas Krennwallner} and {Nicola Leone} and {Marco Maratea} and {Francesco Ricca} and {Torsten Schaub}}
}
@article{journals/tplp/CostabileCCMLM20,
title = {A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification.},
year = {2020},
journal = {Theory Pract. Log. Program.},
author = {{Roberta Costabile} and {Gelsomina Catalano} and {Bernardo Cuteri} and {Maria Concetta Morelli} and {Nicola Leone} and {Marco Manna}}
}
@article{journals/tplp/BertolucciCDLMM21,
title = {Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.},
year = {2021},
journal = {Theory Pract. Log. Program.},
author = {{Riccardo Bertolucci} and {Alessio Capitanelli} and {Carmine Dodaro} and {Nicola Leone} and {Marco Maratea} and {Fulvio Mastrogiovanni} and {Mauro Vallati}}
}
@inproceedings{conf/cilc/BarbaraBGIILL0P22,
title = {A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels.},
year = {2022},
booktitle = {CILC},
author = {{Vito Barbara} and {Dimitri Buelli} and {Massimo Guarascio 001} and {Stefano Ierace} and {Salvatore Iiritano} and {Giovanni Laboccetta} and {Nicola Leone} and {Giuseppe Manco 001} and {Valerio Pesenti} and {Alessandro Quarta} and {Francesco Ricca} and {Ettore Ritacco}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022.}
}
@inproceedings{conf/datalog/LeoneMMP22,
title = {A Formal Comparison between Datalog-based Languages for Stream Reasoning.},
year = {2022},
booktitle = {Datalog},
author = {{Nicola Leone} and {Marco Manna} and {Maria Concetta Morelli} and {Simona Perri}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022.}
}
@inproceedings{conf/padl/RealeCLR22,
title = {Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.},
year = {2022},
booktitle = {PADL},
author = {{Kristian Reale} and {Francesco Calimeri} and {Nicola Leone} and {Francesco Ricca}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings}
}
@article{journals/corr/abs-2208-12726,
title = {A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).},
year = {2022},
journal = {CoRR},
author = {{Nicola Leone} and {Marco Manna} and {Maria Concetta Morelli} and {Simona Perri}}
}
@article{journals/algorithms/CalimeriLMPPRRZ23,
title = {ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.},
year = {2023},
month = {March},
journal = {Algorithms},
author = {{Francesco Calimeri} and {Nicola Leone} and {Giovanni Melissari} and {Francesco Pacenza} and {Simona Perri} and {Kristian Reale} and {Francesco Ricca} and {Jessica Zangari}}
}
@article{journals/tplp/BarbaraGLMQRR23,
title = {Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels.},
year = {2023},
month = {July},
journal = {Theory Pract. Log. Program.},
author = {{Vito Barbara} and {Massimo Guarascio 001} and {Nicola Leone} and {Giuseppe Manco 001} and {Alessandro Quarta} and {Francesco Ricca} and {Ettore Ritacco}}
}