|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 62 occurrences of 37 keywords
|
|
|
|
|
Results
Found 194 publication records. Showing 194 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone |
The HiLeX System for Semantic Information Extraction.  |
T. Large-Scale Data- and Knowledge-Centered Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets for Disjunctive Datalog Programs |
CoRR |
2012 |
DBLP 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 | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
Look-back Techniques for ASP Programs with Aggregates. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Unit Testing in ASPIDE |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning Under Action Costs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, 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 | 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 | 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 |
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 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ricca, Antonella Dimasi, Giovanni Grasso, 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, Nicola Leone |
Disjunctive ASP with Functions: Decidable Queries and Effective Computation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber, Nicola Leone |
Disjunctive ASP with functions: Decidable queries and effective computation. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
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 | 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, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. |
Datalog |
2010 |
DBLP DOI 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 | Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso, Nicola Leone |
OntoDLV: An ASP-based System for Enterprise Ontologies. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annamaria Bria, Wolfgang Faber, Nicola Leone |
Normal Form Nested Programs. |
Fundam. Inform. |
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 | Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
An ASP-Based System for e-Tourism. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annamaria Bria, Wolfgang Faber, Nicola Leone |
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. |
LPNMR |
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 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone |
Exploiting ASP in Real-World Applications: Main Strengths and Challenges. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
Some DLV Applications for Knowledge Management. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone |
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa |
Design and Implementation of Aggregate Functions in the DLV System |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Nicola Leone, Marco Maratea |
On the relation among answer set solvers. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20 |
| 1 | Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta |
Experimenting with recursive queries in database and logic programming systems. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa |
Design and implementation of aggregate functions in the DLV system. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Francesco Ricca |
Answer Set Programming. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Wolfgang Faber |
The DLV Project: A Tour from Theory and Research to Applications and Market. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Computable Functions in ASP: Theory and Implementation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Annamaria Bria, Wolfgang Faber, Nicola Leone |
Normal Form Nested Programs. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone |
Enhancing a DLP System for Advanced Database Applications. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets for Data Integration. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Francesco Ricca, Nicola Leone |
Disjunctive logic programming with types and objects: The DLV+ system. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta |
Experimenting with recursive queries in database and logic programming systems |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Francesco Scarcello, Gianluigi Greco, Nicola Leone |
Weighted hypertree decompositions and optimal query plans. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets and their application to data integration. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone |
Enhancing DLV instantiator by backjumping techniques. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27 |
| 1 | Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca |
On look-ahead heuristics in disjunctive logic programming. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20 |
| 1 | Nicola Leone |
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone |
On the Complexity of Answer Set Programming with Aggregates. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
Experimenting with Look-Back Heuristics for Hard ASP Programs. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ricca, Wolfgang Faber, Nicola Leone |
A backjumping technique for Disjunctive Logic Programming. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone |
Pruning Operators for Disjunctive Logic Programming Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello |
The DLV system for knowledge representation and reasoning. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets |
| 1 | Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta |
Adding Efficient Data Management to Logic Programming Systems. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà |
Towards a Semantic Information Extraction Approach from Unstructured Documents. |
SEBD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà |
A Logic-Based Tool for Semantic Information Extraction. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Gualtieri, Tina Dell'Armi, Nicola Leone |
Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features. |
Business Process Management Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Nicola Leone |
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Francesco Ricca |
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. |
Intelligenza Artificiale |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Francesco Ricca |
Heuristics for Hard ASP Programs. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
Declarative and Computational Properties of Logic Programs with Aggregates. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets and their Application to Data Integration. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco |
Boosting Information Integration: The INFOMIX System. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis |
The INFOMIX system for advanced integration of incomplete and inconsistent data. |
SIGMOD Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.) |
Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings |
LPNMR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso |
A DLP System with Object-Oriented Features. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
Data Integration: a Challenging ASP Application. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Magic Sets and Their Application to Data Integration. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto |
Exploiting ASP for Semantic Information Extraction. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Francesco Scarcello, V. S. Subrahmanian |
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, nonmonotonic reasoning, optimization problems, Disjunctive logic programming |
| 1 | Simona Perri, Nicola Leone |
Parametric connectives in Disjunctive Logic Programming. |
AI Commun. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Nicola Leone |
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
A logic programming approach to knowledge-state planning: Semantics and complexity. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets |
| 1 | Gianluigi Greco, Nicola Leone, Francesco Scarcello |
On Weighted Hypertree Decompositions. |
SEBD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
Enhancing the Magic-Set Method for Disjunctive Datalog Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
New DLV Features for Data Integration. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
System Description: DLV with Aggregates. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Vincenzino Lio, Giorgio Terracina |
DLVDB: Adding Efficient Data Management Features to ASP. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
BackJumping techniques for rules instantiation in the DLV system. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francesco Scarcello, Gianluigi Greco, Nicola Leone |
Weighted Hypertree Decompositions and Optimal Query Plans. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Nicola Leone |
Parametric Connectives in Disjunctive Logic Programming |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Nicola Leone |
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning Under Action Costs. |
J. Artif. Intell. Res. (JAIR) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
A logic programming approach to knowledge-state planning, II: The DLVK system. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Koch, Nicola Leone, Gerald Pfeifer |
Enhancing disjunctive logic programming systems by SAT checkers. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Computing preferred answer sets by meta-interpretation in answer set programming. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer |
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri |
Parametric Connectives in Disjunctive Logic Programming. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer |
Aggregate Functions in DLV. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Computing LOGCFL certificates. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello |
The DLV System for Knowledge Representation and Reasoning |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond, Nicola Leone |
Knowledge Representation and Logic Programming. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gelfond, Nicola Leone |
Logic programming and knowledge representation - The A-Prolog perspective. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Hypertree Decompositions and Tractable Queries. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Buccafurri, Wolfgang Faber, Nicola Leone |
Disjunctive Logic Programs with Inheritance. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello |
Cost-based Query Decompositions. |
SEBD |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 194 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")