|
|
|
|
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 |
| 1 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Fast Query Answering over Existential Rules.  |
ACM Trans. Comput. Log.  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari |
Enhancing magic sets with an application to ontological reasoning. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog evaluation plans in large-scale scenarios. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari |
Enhancing Magic Sets with an Application to Ontological Reasoning. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
Evaluation of Disjunctive Programs in WASP. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika 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. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco 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 |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
First Steps towards Reasoning on Big Data with DLV. |
SEBD |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone |
The AI System DLV: Ontologies, Reasoning, and More. |
KDIR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
Enhancing Existential Rules by Closed-World Variables. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna |
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
Evaluation Techniques and Systems for Answer Set Programming: a Survey. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna |
Finite model reasoning over existential rules. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca |
On the Computation of Paracoherent Answer Sets. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna |
Finite model reasoning over existential rules. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian |
Entity set expansion from the Web via ASP. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
Reasoning on anonymity in Datalog+/-. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
The ASP System DLV2. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca |
On the Computation of Paracoherent Answer Sets. |
AAAI |
2017 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte |
Document Layout Analysis for Semantic Information Extraction. |
AI*IA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Thomas Eiter, Michael Fink 0001, Nicola Leone, João Moura 0001 |
Semi-equilibrium models for paracoherent answer set programs. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Erdem 0001, Michael Gelfond, Nicola Leone |
Applications of Answer Set Programming. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub |
Grounding and Solving in Answer Set Programming. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2016 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin |
Driving CDCL Search. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | 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). |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello |
Hypertree Decompositions: Questions and Answers. |
PODS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca |
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. |
AI*IA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri |
Modeling and Reasoning about NTU Games via Answer Set Programming. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone |
On the Properties of GZ-Aggregates in Answer Set Programming. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Weronika T. Adrian, Nicola Leone, Marco Manna |
Ontology-driven Information Extraction. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone |
Complexity and Compilation of GZ-Aggregates in Answer Set Programming. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone |
Complexity and compilation of GZ-aggregates in answer set programming. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
Advances in WASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Francesco Ricca |
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika T. Adrian, Nicola Leone, Marco Manna |
Semantic Views of Homogeneous Unstructured Data. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca |
Allotment Problem in Travel Industry: A Solution Based on ASP. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri |
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Thomas Eiter, Nicola Leone |
Modular Paracoherent Answer Sets. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone |
Introduction to the special issue on the 25th annual GULP conference. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca |
WASP: A Native ASP Solver Based on Constraint Learning. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Terracina, Alessandra Martello, Nicola Leone |
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri |
A graphic tool for ontology reasoning under Datalog∃. |
SEBD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Development Tools for Datalog. |
SEBD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Query Answering over Disjunctive Datalog with Existential Quantifiers. |
SEBD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Grasso 0001, Nicola Leone, Francesco Ricca |
Answer Set Programming: Language, Applications and Development Tools. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone |
The HiLeX System for Semantic Information Extraction. |
Trans. Large-Scale Data- and Knowledge-Centered Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Magic Sets for disjunctive Datalog programs. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Magic Sets for Disjunctive Datalog Programs |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Francesco 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. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Datalog Development Tools - (Extended Abstract). |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Magic-Sets for Datalog with Existential Quantifiers. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Extending ASPIDE with User-defined Plugins. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone, Simona Perri |
The Intelligent Grounder of DLV. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficient Query Answering over Datalog with Existential Quantifiers. |
SEBD |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficiently Computable Datalog∃ Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Giovanni Grasso 0001, Francesco Ricca |
JASP: A Framework for Integrating Answer Set Programming with Java. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina |
Distributed Ontology Based Data Access via Logic Programming. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca |
Look-back Techniques for ASP Programs with Aggregates. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Finitely recursive programs: Decidability and bottom-up computation. |
AI Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà |
A long tour from theory to practice. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone |
Semantics and complexity of recursive aggregates in answer set programming. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Scarcello, Nicola Leone |
On the complexity of regular-grammars with integer attributes. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri |
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. |
J. Artif. Intell. Res. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning Under Action Costs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francesco 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 |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Unit Testing in ASPIDE |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca, Marco Sirianni |
The Birth of a WASP: Preliminary Report on a New ASP Solver. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Grasso 0001, 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Unit Testing in ASPIDE. |
INAP/WLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco 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. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Gianluigi Greco, Nicola Leone |
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina |
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. |
SEBD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francesco Ricca, Antonella Dimasi, Giovanni Grasso 0001, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone |
A Logic-Based System for e-Tourism. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone |
Disjunctive ASP with Functions: Decidable Queries and Effective Computation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone |
Disjunctive ASP with functions: Decidable queries and effective computation. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Grasso 0001, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise |
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina |
Efficient Application of Answer Set Programming for Advanced Data Integration. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone |
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. |
RCRA@CPAIOR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca |
Answer Set Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone (eds.) |
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Annamaria Bria, Wolfgang Faber 0001, Nicola Leone |
Normal Form Nested Programs. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso 0001, Nicola Leone |
OntoDLV: An ASP-based System for Enterprise Ontologies. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
An ASP System with Functions, Lists, and Sets. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Francesco Ricca, Giorgio Terracina |
An ASP-Based Data Integration System. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Grasso 0001, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
Some DLV Applications for Knowledge Management. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 272 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license