The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nicola Leone" ( http://dblp.L3S.de/Authors/Nicola_Leone )

URL (Homepage):  http://www.dbai.tuwien.ac.at/staff/leone/  Author page on DBLP  Author page in RDF  Community of Nicola Leone in ASPL-2

Publication years (Num. hits)
1991-1994 (15) 1995-1996 (17) 1997 (15) 1998-1999 (22) 2000-2001 (22) 2002-2003 (23) 2004-2005 (24) 2006-2007 (16) 2008-2009 (23) 2010-2011 (25) 2012-2013 (21) 2014-2016 (20) 2017-2018 (17) 2019 (12)
Publication types (Num. hits)
article(105) incollection(4) inproceedings(157) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 37 keywords

Results
Found 273 publication records. Showing 272 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Fast Query Answering over Existential Rules. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari Enhancing magic sets with an application to ontological reasoning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari Precomputing Datalog evaluation plans in large-scale scenarios. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari Enhancing Magic Sets with an Application to Ontological Reasoning. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari An ASP-based Approach for Optimizing DLV Evaluation. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Large Scale DLV: Preliminary Results. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Enhancing DLV for Large-Scale Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca Evaluation of Disjunctive Programs in WASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Querying Large Expressive Horn Ontologies. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Calimeri, Nicola Leone, Marco Manna (eds.) Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV: Advancements and Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluigi Greco, Nicola Leone, Francesco Scarcello, Giorgio Terracina Structural Decomposition Methods: Key Notions and Database Applications. Search on Bibsonomy A Comprehensive Guide Through the Italian Database Research The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Kevin W. Hamlen, Nicola Leone (eds.) Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari First Steps towards Reasoning on Big Data with DLV. Search on Bibsonomy SEBD The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicola Leone The AI System DLV: Ontologies, Reasoning, and More. Search on Bibsonomy KDIR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri Enhancing Existential Rules by Closed-World Variables. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub Evaluation Techniques and Systems for Answer Set Programming: a Survey. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite model reasoning over existential rules. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite model reasoning over existential rules. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian Entity set expansion from the Web via ASP. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri Reasoning on anonymity in Datalog+/-. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV2. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). Search on Bibsonomy SEBD The full citation details ... 2017 DBLP  BibTeX  RDF
1Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte Document Layout Analysis for Semantic Information Extraction. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Michael Fink 0001, Nicola Leone, João Moura 0001 Semi-equilibrium models for paracoherent answer set programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Michael Gelfond, Nicola Leone Applications of Answer Set Programming. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub Grounding and Solving in Answer Set Programming. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin Driving CDCL Search. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello Hypertree Decompositions: Questions and Answers. Search on Bibsonomy PODS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca On the Application of Answer Set Programming to the Conference Paper Assignment Problem. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri Modeling and Reasoning about NTU Games via Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone On the Properties of GZ-Aggregates in Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Weronika T. Adrian, Nicola Leone, Marco Manna Ontology-driven Information Extraction. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone Complexity and Compilation of GZ-Aggregates in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone Complexity and compilation of GZ-aggregates in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca Advances in WASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. Search on Bibsonomy ICAISC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Francesco Ricca Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. Search on Bibsonomy Reasoning Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Nicola Leone, Marco Manna Semantic Views of Homogeneous Unstructured Data. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca Allotment Problem in Travel Industry: A Solution Based on ASP. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Nicola Leone Modular Paracoherent Answer Sets. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone Introduction to the special issue on the 25th annual GULP conference. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca WASP: A Native ASP Solver Based on Constraint Learning. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giorgio Terracina, Alessandra Martello, Nicola Leone Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri A graphic tool for ontology reasoning under Datalog∃. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca Development Tools for Datalog. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Query Answering over Disjunctive Datalog with Existential Quantifiers. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Giovanni Grasso 0001, Nicola Leone, Francesco Ricca Answer Set Programming: Language, Applications and Development Tools. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone The HiLeX System for Semantic Information Extraction. Search on Bibsonomy Trans. Large-Scale Data- and Knowledge-Centered Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets for disjunctive Datalog programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets for Disjunctive Datalog Programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone Team-building with answer set programming in the Gioia-Tauro seaport. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca Datalog Development Tools - (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Magic-Sets for Datalog with Existential Quantifiers. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Extending ASPIDE with User-defined Plugins. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Simona Perri The Intelligent Grounder of DLV. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Efficient Query Answering over Datalog with Existential Quantifiers. Search on Bibsonomy SEBD The full citation details ... 2012 DBLP  BibTeX  RDF
1Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Efficiently Computable Datalog∃ Programs. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Giovanni Grasso 0001, Francesco Ricca JASP: A Framework for Integrating Answer Set Programming with Java. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina Distributed Ontology Based Data Access via Logic Programming. Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Look-back Techniques for ASP Programs with Aggregates. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Finitely recursive programs: Decidability and bottom-up computation. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà A long tour from theory to practice. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone Semantics and complexity of recursive aggregates in answer set programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Manna, Francesco Scarcello, Nicola Leone On the complexity of regular-grammars with integer attributes. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Answer Set Planning Under Action Costs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone Team-building with Answer Set Programming in the Gioia-Tauro Seaport Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Unit Testing in ASPIDE Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carmine Dodaro, Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca, Marco Sirianni The Birth of a WASP: Preliminary Report on a New ASP Solver. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Giovanni Grasso 0001, Nicola Leone, Marco Manna, Francesco Ricca ASP at Work: Spin-off and Applications of the DLV System. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Unit Testing in ASPIDE. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Gianluigi Greco, Nicola Leone Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. Search on Bibsonomy SEBD The full citation details ... 2011 DBLP  BibTeX  RDF
1Francesco Ricca, Antonella Dimasi, Giovanni Grasso 0001, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone A Logic-Based System for e-Tourism. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Disjunctive ASP with Functions: Decidable Queries and Effective Computation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Disjunctive ASP with functions: Decidable queries and effective computation. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giovanni Grasso 0001, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina Efficient Application of Answer Set Programming for Advanced Data Integration. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. Search on Bibsonomy RCRA@CPAIOR The full citation details ... 2010 DBLP  BibTeX  RDF
1Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca Answer Set Programming. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina The Disjunctive Datalog System DLV. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone (eds.) Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Annamaria Bria, Wolfgang Faber 0001, Nicola Leone Normal Form Nested Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso 0001, Nicola Leone OntoDLV: An ASP-based System for Enterprise Ontologies. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone An ASP System with Functions, Lists, and Sets. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Francesco Ricca, Giorgio Terracina An ASP-Based Data Integration System. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Giovanni Grasso 0001, Salvatore Iiritano, Nicola Leone, Francesco Ricca Some DLV Applications for Knowledge Management. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 272 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license