default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicola Leone
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j84]Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza
, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari:
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16(3): 159 (2023)- [j83]Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. Theory Pract. Log. Program. 23(4): 748-764 (2023) - [i32]Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. CoRR abs/2305.10113 (2023) - 2022
- [c160]Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. CILC 2022: 247-253 - [c159]Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri:
A Formal Comparison between Datalog-based Languages for Stream Reasoning. Datalog 2022: 151-165 - [c158]Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL 2022: 154-161 - [i31]Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri:
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). CoRR abs/2208.12726 (2022) - 2021
- [j82]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Theory Pract. Log. Program. 21(3): 372-401 (2021) - 2020
- [j81]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - [j80]Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna:
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. Theory Pract. Log. Program. 20(6): 864-879 (2020) - [e7]Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents] - [i30]Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna:
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. CoRR abs/2008.02747 (2020) - [i29]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming. CoRR abs/2010.01164 (2020)
2010 – 2019
- 2019
- [j79]Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Fast Query Answering over Existential Rules. ACM Trans. Comput. Log. 20(2): 12:1-12:48 (2019) - [j78]Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari:
Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19(5-6): 654-670 (2019) - [j77]Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Theory Pract. Log. Program. 19(5-6): 1073-1089 (2019) - [c157]Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
An ASP-based Approach for Optimizing DLV Evaluation. CILC 2019 - [c156]Nicola 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. CILC 2019 - [c155]Riccardo 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. LPNMR 2019: 32-44 - [c154]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255 - [c153]Nicola 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. LPNMR 2019: 312-325 - [c152]Carlo 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. SEBD 2019 - [e6]Francesco Calimeri, Nicola Leone, Marco Manna:
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Lecture Notes in Computer Science 11468, Springer 2019, ISBN 978-3-030-19569-4 [contents] - [d1]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of disjunctive programs in WASP. Zenodo, 2019
- [i28]Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari:
Enhancing magic sets with an application to ontological reasoning. CoRR abs/1907.08424 (2019) - [i27]Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
Precomputing Datalog evaluation plans in large-scale scenarios. CoRR abs/1907.12495 (2019) - [i26]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [j76]Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32(2-3): 177-179 (2018) - [c151]Nicola Leone:
The AI System DLV: Ontologies, Reasoning, and More. KDIR 2018: 5-16 - [c150]Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Reasoning over Ontologies with DLV. IC3K 2018: 114-136 - [c149]Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri:
Enhancing Existential Rules by Closed-World Variables. IJCAI 2018: 1676-1682 - [c148]Giovanni Amendola, Nicola Leone, Marco Manna:
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. IJCAI 2018: 5189-5193 - [c147]Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub:
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018: 5450-5456 - [c146]Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
First Steps towards Reasoning on Big Data with DLV. SEBD 2018 - [p4]Gianluigi Greco, Nicola Leone, Francesco Scarcello, Giorgio Terracina:
Structural Decomposition Methods: Key Notions and Database Applications. A Comprehensive Guide Through the Italian Database Research 2018: 253-267 - [e5]Francesco Calimeri, Kevin W. Hamlen, Nicola Leone:
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings. Lecture Notes in Computer Science 10702, Springer 2018, ISBN 978-3-319-73304-3 [contents] - 2017
- [j75]Giovanni Amendola, Nicola Leone, Marco Manna:
Finite model reasoning over existential rules. Theory Pract. Log. Program. 17(5-6): 726-743 (2017) - [c145]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. AAAI 2017: 1034-1040 - [c144]Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte:
Document Layout Analysis for Semantic Information Extraction. AI*IA 2017: 269-281 - [c143]Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian:
Entity set expansion from the Web via ASP. ICLP (Technical Communications) 2017: 1:1-1:5 - [c142]Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri:
Reasoning on anonymity in Datalog+/-. ICLP (Technical Communications) 2017: 3:1-3:5 - [c141]Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
The ASP System DLV2. LPNMR 2017: 215-221 - [c140]Giovanni Amendola, Nicola Leone, Marco Manna:
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). SEBD 2017: 218 - [i25]Giovanni Amendola, Nicola Leone, Marco Manna:
Finite model reasoning over existential rules. CoRR abs/1707.01870 (2017) - [i24]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. CoRR abs/1707.06813 (2017) - 2016
- [j74]Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura:
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234: 219-271 (2016) - [j73]Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub:
Grounding and Solving in Answer Set Programming. AI Mag. 37(3): 25-32 (2016) - [j72]Esra Erdem, Michael Gelfond, Nicola Leone:
Applications of Answer Set Programming. AI Mag. 37(3): 53-68 (2016) - [j71]Carmine 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). Theory Pract. Log. Program. 16(5-6): 653-669 (2016) - [c139]Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca:
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA 2016: 164-178 - [c138]Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri:
Modeling and Reasoning about NTU Games via Answer Set Programming. IJCAI 2016: 38-45 - [c137]Mario Alviano, Nicola Leone:
On the Properties of GZ-Aggregates in Answer Set Programming. IJCAI 2016: 4105-4109 - [c136]Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello:
Hypertree Decompositions: Questions and Answers. PODS 2016: 57-74 - [i23]Carmine 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). CoRR abs/1608.00730 (2016) - [i22]Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin:
Driving CDCL Search. CoRR abs/1611.05190 (2016) - 2015
- [j70]Mario Alviano, Nicola Leone:
Complexity and compilation of GZ-aggregates in answer set programming. Theory Pract. Log. Program. 15(4-5): 574-587 (2015) - [c135]Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski:
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. ICAISC 2015: 541-553 - [c134]Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca:
Advances in WASP. LPNMR 2015: 40-54 - [c133]Weronika T. Adrian, Nicola Leone, Marco Manna:
Semantic Views of Homogeneous Unstructured Data. RR 2015: 19-29 - [c132]Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca:
Allotment Problem in Travel Industry: A Solution Based on ASP. RR 2015: 77-92 - [c131]Nicola Leone, Francesco Ricca:
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. Reasoning Web 2015: 308-326 - [i21]Mario Alviano, Nicola Leone:
Complexity and Compilation of GZ-Aggregates in Answer Set Programming. CoRR abs/1507.03922 (2015) - [i20]Weronika T. Adrian, Nicola Leone, Marco Manna:
Ontology-driven Information Extraction. CoRR abs/1512.06034 (2015) - 2014
- [c130]Giovanni Amendola, Thomas Eiter, Nicola Leone:
Modular Paracoherent Answer Sets. JELIA 2014: 457-471 - [i19]Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR abs/1401.4596 (2014) - 2013
- [j69]Wolfgang Faber, Nicola Leone:
Introduction to the special issue on the 25th annual GULP conference. Theory Pract. Log. Program. 13(2): 147-148 (2013) - [c129]Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
WASP: A Native ASP Solver Based on Constraint Learning. LPNMR 2013: 54-66 - [c128]Giorgio Terracina, Alessandra Martello, Nicola Leone:
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. LPNMR 2013: 524-529 - [c127]Giovanni Grasso, Nicola Leone, Francesco Ricca:
Answer Set Programming: Language, Applications and Development Tools. RR 2013: 19-34 - [c126]Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri:
A graphic tool for ontology reasoning under Datalog∃. SEBD 2013: 51-62 - [c125]Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Development Tools for Datalog. SEBD 2013: 385-392 - [c124]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD 2013: 393-400 - 2012
- [j68]Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for disjunctive Datalog programs. Artif. Intell. 187: 156-192 (2012) - [j67]Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone:
The HiLeX System for Semantic Information Extraction. Trans. Large Scale Data Knowl. Centered Syst. 5: 91-125 (2012) - [j66]Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone:
Team-building with answer set programming in the Gioia-Tauro seaport. Theory Pract. Log. Program. 12(3): 361-381 (2012) - [j65]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program. 12(4-5): 701-718 (2012) - [c123]Wolfgang Faber, Nicola Leone, Simona Perri:
The Intelligent Grounder of DLV. Correct Reasoning 2012: 247-264 - [c122]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240 - [c121]Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Magic-Sets for Datalog with Existential Quantifiers. Datalog 2012: 31-43 - [c120]Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Datalog Development Tools - (Extended Abstract). Datalog 2012: 81-85 - [c119]Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca:
JASP: A Framework for Integrating Answer Set Programming with Java. KR 2012 - [c118]Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Efficiently Computable Datalog∃ Programs. KR 2012 - [c117]Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina:
Distributed Ontology Based Data Access via Logic Programming. RR 2012: 205-208 - [c116]Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Efficient Query Answering over Datalog with Existential Quantifiers. SEBD 2012: 155-162 - [i18]Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Disjunctive Datalog Programs. CoRR abs/1204.6346 (2012) - [i17]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. CoRR abs/1210.2316 (2012) - 2011
- [j64]Wolfgang Faber, Gerald Pfeifer, Nicola Leone:
Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1): 278-298 (2011) - [j63]Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone:
Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24(4): 311-334 (2011) - [j62]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae 107(4): 379-413 (2011) - [j61]Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà:
A long tour from theory to practice. Intelligenza Artificiale 5(1): 133-138 (2011) - [j60]Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. 42: 487-527 (2011) - [j59]Marco Manna, Francesco Scarcello, Nicola Leone:
On the complexity of regular-grammars with integer attributes. J. Comput. Syst. Sci. 77(2): 393-421 (2011) - [c115]Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca:
ASP at Work: Spin-off and Applications of the DLV System. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 432-451 - [c114]Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni:
The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113 - [c113]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. INAP/WLP 2011: 345-364 - [c112]Mario Alviano, Gianluigi Greco, Nicola Leone:
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. LPNMR 2011: 148-160 - [c111]Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri:
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR 2011: 388-403 - [c110]Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina:
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. SEBD 2011: 295-302 - [i16]Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone:
Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CoRR abs/1101.4554 (2011) - [i15]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. CoRR abs/1106.5257 (2011) - [i14]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. CoRR abs/1108.5434 (2011) - 2010
- [j58]Francesco Ricca, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone:
A Logic-Based System for e-Tourism. Fundam. Informaticae 105(1-2): 35-55 (2010) - [j57]Mario Alviano, Wolfgang Faber, Nicola Leone:
Disjunctive ASP with functions: Decidable queries and effective computation. Theory Pract. Log. Program. 10(4-6): 497-512 (2010) - [c109]Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone:
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI 2010: 1666-1670 - [c108]Mario Alviano, Wolfgang Faber, Nicola Leone:
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. RCRA@CPAIOR 2010 - [c107]Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina:
The Disjunctive Datalog System DLV. Datalog 2010: 282-301 - [c106]Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina:
Efficient Application of Answer Set Programming for Advanced Data Integration. PADL 2010: 10-24 - [c105]Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise:
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. PADL 2010: 40-42 - [p3]Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Answer Set Programming. 25 Years GULP 2010: 159-182 - [e4]Wolfgang Faber, Nicola Leone:
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598, CEUR-WS.org 2010 [contents] - [i13]Mario Alviano, Wolfgang Faber, Nicola Leone:
Disjunctive ASP with Functions: Decidable Queries and Effective Computation. CoRR abs/1007.4028 (2010)
2000 – 2009
- 2009
- [j56]Annamaria Bria, Wolfgang Faber, Nicola Leone:
Normal Form Nested Programs. Fundam. Informaticae 96(3): 271-295 (2009) - [j55]