The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nicola Leone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Georg Gottlob, Nicola Leone, Francesco Scarcello
    The Complexity of Acyclic Conjunctive Queries. [Citation Graph (5, 0)][DBLP]
    FOCS, 1998, pp:706-715 [Conf]
  2. Sergio Greco, Nicola Leone, Pasquale Rullo
    COMPLEX: An Object-Oriented Logic Programming System. [Citation Graph (3, 20)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1992, v:4, n:4, pp:344-359 [Journal]
  3. Georg Gottlob, Nicola Leone, Francesco Scarcello
    A Comparison of Structural CSP Decomposition Methods. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1999, pp:394-399 [Conf]
  4. Thomas Eiter, Nicola Leone, Domenico Saccà
    The Expressive Power of Partial Models in Disjunctive Deductive Databases. [Citation Graph (2, 0)][DBLP]
    Logic in Databases, 1996, pp:245-264 [Conf]
  5. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Hypertree Decompositions and Tractable Queries. [Citation Graph (2, 30)][DBLP]
    PODS, 1999, pp:21-32 [Conf]
  6. Laks V. S. Lakshmanan, Nicola Leone, Robert B. Ross, V. S. Subrahmanian
    ProbView: A Flexible Probabilistic Database System. [Citation Graph (2, 27)][DBLP]
    ACM Trans. Database Syst., 1997, v:22, n:3, pp:419-469 [Journal]
  7. Matts Ahlsen, Alessandro D'Atri, Paul Johannesson, Els Laenens, Nicola Leone, Pasquale Rullo, P. Rossi, François Staes, Laura Tarantino, L. Van Beirendonck, L. Van Cadsand, W. Van Santvliet, J. Vanslembrouck, Brigitte Verdonk, Dirk Vermeir
    The KIWIS Knowledge Base Management System. [Citation Graph (1, 0)][DBLP]
    CAiSE, 1991, pp:79-97 [Conf]
  8. Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo
    Disjunctive Ordered Logic [Citation Graph (1, 0)][DBLP]
    DEXA, 1995, pp:303-312 [Conf]
  9. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    A Deductive System for Non-Monotonic Reasoning. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1997, pp:364-375 [Conf]
  10. Georg Gottlob, Nicola Leone, Helmut Veith
    Second Order Logic and the Weak Exponential Hierarchies. [Citation Graph (1, 0)][DBLP]
    MFCS, 1995, pp:66-81 [Conf]
  11. Nicola Leone, Pasquale Rullo, Francesco Scarcello
    Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1997, v:135, n:2, pp:69-112 [Journal]
  12. Nicola Leone, Pasquale Rullo
    Safe computation of the well-founded semantics of Datalog queries. [Citation Graph (1, 0)][DBLP]
    Inf. Syst., 1992, v:17, n:1, pp:17-31 [Journal]
  13. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:1, pp:5-43 [Journal]
  14. Nicola Leone, Giuseppe Rossi
    Well-Founded Semantics and Stratification for Ordered Logic Programs. [Citation Graph (1, 0)][DBLP]
    New Generation Comput., 1993, v:12, n:1, pp:91-121 [Journal]
  15. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    A non-deterministic semantics for ordered logic programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:449-463 [Conf]
  16. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Computing Disjunctive Ordered Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:283-294 [Conf]
  17. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Adding Weak Constraints to Disjunctive Datalog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:557-568 [Conf]
  18. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The Architecture of a Disjunctive Deductive Database System. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:141-152 [Conf]
  19. Thomas Eiter, Nicola Leone, Domenico Saccà
    Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:271-282 [Conf]
  20. Nicola Leone, Pasquale Rullo
    Adding Set Terms to Ordered Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:87-100 [Conf]
  21. Francesco Scarcello, Nicola Leone, Luigi Palopoli
    Curbing Theories: Fixpoint Semantics and Complexity Issues. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:545-556 [Conf]
  22. Nicola Leone, Simona Perri, Pasquale Rullo
    Local Search Techniques for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:107-118 [Conf]
  23. Nicola Leone, Simona Perri, Francesco Scarcello
    Abduction with Penalization in Logic Programming. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2001, pp:123-134 [Conf]
  24. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
    Aggregate Functions in DLV. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  25. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  26. Nicola Leone, Simona Perri
    Parametric Connectives in Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  27. Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto
    Exploiting ASP for Semantic Information Extraction. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  28. Andrea Gualtieri, Tina Dell'Armi, Nicola Leone
    Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2006, pp:153-163 [Conf]
  29. Nicola Leone, Antonella Mecchia, Giuseppe Rossi, Pasquale Rullo
    The Basic Query Machine of the KIWIS System. [Citation Graph (0, 0)][DBLP]
    CAiSE, 1992, pp:632-650 [Conf]
  30. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Planning under Incomplete Knowledge. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:807-821 [Conf]
  31. Thomas Eiter, Nicola Leone, Domenico Saccà
    Partial Semantics for Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    DEXA, 1996, pp:564-573 [Conf]
  32. Georg Gottlob, Nicola Leone, Francesco Scarcello
    On Tractable Queries and Constraints. [Citation Graph (0, 0)][DBLP]
    DEXA, 1999, pp:1-15 [Conf]
  33. Nicola Leone, Pasquale Rullo, Francesco Scarcello
    On the Computation of Disjunctive Stable Models. [Citation Graph (0, 0)][DBLP]
    DEXA, 1996, pp:654-666 [Conf]
  34. Nicola Leone, Pasquale Rullo
    Stable Model Semantics and its Computation for Ordered Logic Programs. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:92-96 [Conf]
  35. Nicola Leone, Luigi Palopoli, Domenico Saccà
    On the Complexity of Search Queries. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1998, pp:113-127 [Conf]
  36. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    Progress Report on the Disjunctive Deductive Database System dlv. [Citation Graph (0, 0)][DBLP]
    FQAS, 1998, pp:148-163 [Conf]
  37. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Computing LOGCFL Certificates. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:361-371 [Conf]
  38. Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Magic Sets and Their Application to Data Integration. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:306-320 [Conf]
  39. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
    Disjunctive Logic Programs with Inheritance. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:79-93 [Conf]
  40. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Enhancing the Magic-Set Method for Disjunctive Datalog Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:371-385 [Conf]
  41. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
    Declarative and Computational Properties of Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:406-411 [Conf]
  42. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
    Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:847-852 [Conf]
  43. Thomas Eiter, Georg Gottlob, Nicola Leone
    Semantics and Complexity of Abduction from Default Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1995, pp:870-877 [Conf]
  44. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Experimenting with Heuristics for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:635-640 [Conf]
  45. Wolfgang Faber, Nicola Leone, Francesco Ricca
    Heuristics for Hard ASP Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1562-1563 [Conf]
  46. Christoph Koch, Nicola Leone
    Stable Model Checking Made Easy. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:70-75 [Conf]
  47. Georg Gottlob, Nicola Leone, Francesco Scarcello
    On the Complexity of Some Inductive Logic Programming Problems. [Citation Graph (0, 0)][DBLP]
    ILP, 1997, pp:17-32 [Conf]
  48. Nicola Leone, Luigi Palopoli, Massimo Romeo
    Updating Logic Programs. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:235-244 [Conf]
  49. Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta
    Adding Efficient Data Management to Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:524-533 [Conf]
  50. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Answer Set Planning under Action Costs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:186-197 [Conf]
  51. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    The DLVK Planning System: Progress Report. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:541-544 [Conf]
  52. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:200-212 [Conf]
  53. Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
    New DLV Features for Data Integration. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:698-701 [Conf]
  54. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres
    The DLV System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:537-540 [Conf]
  55. Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà
    A Logic-Based Tool for Semantic Information Extraction. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:506-510 [Conf]
  56. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Disjunctive Ordered Logic: Semantics and Expressiveness. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:418-431 [Conf]
  57. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The KR System dlv: Progress Report, Comparisons and Benchmarks. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:406-417 [Conf]
  58. Nicola Leone, Pasquale Rullo, Francesco Scarcello
    Stable Model Checking for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    Logic in Databases, 1996, pp:265-278 [Conf]
  59. Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello
    Census Data Repair: a Challenging Application of Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:561-578 [Conf]
  60. Sergio Greco, Nicola Leone, Francesco Scarcello
    DATALOG with Nested Rules. [Citation Graph (0, 0)][DBLP]
    LPKR, 1997, pp:52-65 [Conf]
  61. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    System Description: The DLVK Planning System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:429-433 [Conf]
  62. Thomas Eiter, Georg Gottlob, Nicola Leone
    Complexity Results for Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:1-14 [Conf]
  63. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Optimizing the Computation of Heuristics for Answer Set Programming Systems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:295-308 [Conf]
  64. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Pushing Goal Derivation in DLP Computations. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:177-191 [Conf]
  65. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Strong and Weak Constraints in Disjunctive Datalog. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:2-17 [Conf]
  66. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
    System Description: DLV. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:424-428 [Conf]
  67. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
    System Description: DLV with Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:326-330 [Conf]
  68. 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. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:379-383 [Conf]
  69. Nicola Leone, Vincenzino Lio, Giorgio Terracina
    DLV DB: Adding Efficient Data Management Features to ASP. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:341-345 [Conf]
  70. Nicola Leone, Simona Perri, Francesco Scarcello
    Improving ASP Instantiators by Join-Ordering Methods. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:280-294 [Conf]
  71. Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso
    A DLP System with Object-Oriented Features. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:432-436 [Conf]
  72. Wolfgang Faber, Nicola Leone
    On the Complexity of Answer Set Programming with Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:97-109 [Conf]
  73. Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
    Experimenting with Look-Back Heuristics for Hard ASP Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:110-122 [Conf]
  74. Nicola Leone
    Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:1- [Conf]
  75. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Hypertree Decompositions: A Survey. [Citation Graph (0, 0)][DBLP]
    MFCS, 2001, pp:37-57 [Conf]
  76. Nicola Leone, Simona Perri, Francesco Scarcello
    BackJumping techniques for rules instantiation in the DLV system. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:258-266 [Conf]
  77. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Pruning operators for answer set programming systems. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:200-209 [Conf]
  78. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. [Citation Graph (0, 0)][DBLP]
    PODS, 2001, pp:- [Conf]
  79. Francesco Scarcello, Gianluigi Greco, Nicola Leone
    Weighted Hypertree Decompositions and Optimal Query Plans. [Citation Graph (0, 0)][DBLP]
    PODS, 2004, pp:210-221 [Conf]
  80. Fabrizio Angiulli, Nicola Leone, Fabio Messina, Massimo Romeo
    Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote. [Citation Graph (0, 0)][DBLP]
    SEBD, 1994, pp:397-406 [Conf]
  81. Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Magic Sets and their Application to Data Integration. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:47-54 [Conf]
  82. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. [Citation Graph (0, 0)][DBLP]
    SEBD, 2001, pp:147-154 [Conf]
  83. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Hypertree Decompositions and Tractable Queries. [Citation Graph (0, 0)][DBLP]
    SEBD, 1999, pp:275-289 [Conf]
  84. Gianluigi Greco, Nicola Leone, Francesco Scarcello
    On Weighted Hypertree Decompositions. [Citation Graph (0, 0)][DBLP]
    SEBD, 2004, pp:54-61 [Conf]
  85. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
    Boosting Information Integration: The INFOMIX System. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:55-66 [Conf]
  86. Nicola Leone, Fabio Messina, Tommaso Mostardi, Carlo Siciliano
    Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase. [Citation Graph (0, 0)][DBLP]
    SEBD, 1993, pp:185-198 [Conf]
  87. Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello
    Cost-based Query Decompositions. [Citation Graph (0, 0)][DBLP]
    SEBD, 2002, pp:390-403 [Conf]
  88. Nicola Leone, Simona Perri, Francesco Scarcello
    Join Ordering Techniques for Knowledge Base Systems. [Citation Graph (0, 0)][DBLP]
    SEBD, 2001, pp:79-93 [Conf]
  89. Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà
    Towards a Semantic Information Extraction Approach from Unstructured Documents. [Citation Graph (0, 0)][DBLP]
    SEBD, 2006, pp:167-174 [Conf]
  90. 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. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2005, pp:915-917 [Conf]
  91. Nicola Leone, Francesco Scarcello
    Declarative and Fixpoint Characterizations of Disjunctive Stable Models. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:399-413 [Conf]
  92. Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The dlv System: Model Generator and Advanced Frontends (system description). [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  93. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Using the dlv System for Planning and Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:125-134 [Conf]
  94. Thomas Eiter, Nicola Leone
    On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 1995, pp:217-226 [Conf]
  95. Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
    Enhancing Model Checking in Verification by AI Techniques. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:112, n:1-2, pp:57-104 [Journal]
  96. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    A logic programming approach to knowledge-state planning, II: The DLVK system. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:144, n:1-2, pp:157-211 [Journal]
  97. Thomas Eiter, Georg Gottlob, Nicola Leone
    Semantics and Complexity of Abduction from Default Theories. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:90, n:1-2, pp:177-223 [Journal]
  98. Michael Gelfond, Nicola Leone
    Knowledge Representation and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:1- [Journal]
  99. Michael Gelfond, Nicola Leone
    Logic programming and knowledge representation - The A-Prolog perspective. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:3-38 [Journal]
  100. Georg Gottlob, Nicola Leone, Francesco Scarcello
    A comparison of structural CSP decomposition methods. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:124, n:2, pp:243-282 [Journal]
  101. Christoph Koch, Nicola Leone, Gerald Pfeifer
    Enhancing disjunctive logic programming systems by SAT checkers. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:151, n:1-2, pp:177-212 [Journal]
  102. Francesco Buccafurri, Nicola Leone, Francesco Scarcello
    On the Expressive Power of Ordered Logic. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1996, v:9, n:1, pp:4-13 [Journal]
  103. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    The Diagnosis Frontend of the dlv System. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1999, v:12, n:1-2, pp:99-111 [Journal]
  104. Simona Perri, Nicola Leone
    Parametric connectives in Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2004, v:17, n:2, pp:63-74 [Journal]
  105. Francesco Ricca, Wolfgang Faber, Nicola Leone
    A backjumping technique for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2006, v:19, n:2, pp:155-172 [Journal]
  106. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Semantics and Expressiveness of Disjunctive Ordered Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:311-337 [Journal]
  107. Thomas Eiter, Nicola Leone, Domenico Saccà
    On the Partial Semantics for Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:19, n:1-2, pp:59-96 [Journal]
  108. Georg Gottlob, Nicola Leone, Helmut Veith
    Succinctness as a Source of Complexity in Logical Formalisms. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:231-260 [Journal]
  109. Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer
    DLV - A System for Declarative Problem Solving [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  110. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  111. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
    The DLV System for Knowledge Representation and Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  112. Simona Perri, Francesco Scarcello, Nicola Leone
    Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  113. Simona Perri, Nicola Leone
    Parametric Connectives in Disjunctive Logic Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  114. Francesco Calimeri, Nicola Leone
    Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  115. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Hypertree Decompositions and Tractable Queries [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  116. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
    Disjunctive Logic Programs with Inheritance [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  117. Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello
    Abduction with Penalization in Logic Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  118. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  119. Nicola Leone, Clara Pizzuti, Pasquale Rullo
    Efficient Evaluation of a Class of Ordered Logic Programs. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 1997, v:23, n:2, pp:185-214 [Journal]
  120. Nicola Leone, Luigi Palopoli, Massimo Romeo
    Modifying Intensional Logic Knowledge. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:3, pp:183-203 [Journal]
  121. Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
    Pruning Operators for Disjunctive Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:71, n:2-3, pp:183-214 [Journal]
  122. Wolfgang Faber, Nicola Leone, Francesco Ricca
    Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2005, v:2, n:3, pp:21-28 [Journal]
  123. Georg Gottlob, Nicola Leone, Francesco Scarcello
    The complexity of acyclic conjunctive queries. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2001, v:48, n:3, pp:431-498 [Journal]
  124. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Answer Set Planning Under Action Costs. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:19, n:, pp:25-71 [Journal]
  125. Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
    On ACTL Formulas Having Linear Counterexamples. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2001, v:62, n:3, pp:463-515 [Journal]
  126. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Hypertree Decompositions and Tractable Queries. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:3, pp:579-627 [Journal]
  127. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2003, v:66, n:4, pp:775-808 [Journal]
  128. Francesco Scarcello, Gianluigi Greco, Nicola Leone
    Weighted hypertree decompositions and optimal query plans. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2007, v:73, n:3, pp:475-506 [Journal]
  129. Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Magic Sets and their application to data integration. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2007, v:73, n:4, pp:584-609 [Journal]
  130. Nicola Leone, Luigi Palopoli, Massimo Romeo
    A Language for Updating Logic Programs and its Implementation. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:23, n:1, pp:1-61 [Journal]
  131. Thomas Eiter, Georg Gottlob, Nicola Leone
    On the Indiscernibility of Individuals in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:6, pp:805-824 [Journal]
  132. Nicola Leone, Pasquale Rullo
    Ordered Logic Programming with Sets. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:6, pp:621-642 [Journal]
  133. Georg Gottlob, Nicola Leone, Francesco Scarcello
    On the Complexity of Some Inductive Logic Programming Problems. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:1, pp:53-75 [Journal]
  134. Thomas Eiter, Georg Gottlob, Nicola Leone
    Abduction from Logic Programs: Semantics and Complexity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:189, n:1-2, pp:129-177 [Journal]
  135. Thomas Eiter, Nicola Leone, Domenico Saccà
    Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:206, n:1-2, pp:181-218 [Journal]
  136. Georg Gottlob, Nicola Leone, Francesco Scarcello
    Computing LOGCFL certificates. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:270, n:1-2, pp:761-777 [Journal]
  137. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Enhancing Disjunctive Datalog by Constraints. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2000, v:12, n:5, pp:845-860 [Journal]
  138. Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi
    A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. [Citation Graph (0, 33)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1997, v:9, n:4, pp:539-558 [Journal]
  139. Nicola Leone, Francesco Scarcello, V. S. Subrahmanian
    Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2004, v:16, n:4, pp:487-503 [Journal]
  140. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    A logic programming approach to knowledge-state planning: Semantics and complexity. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:2, pp:206-263 [Journal]
  141. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
    The DLV system for knowledge representation and reasoning. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:3, pp:499-562 [Journal]
  142. Simona Perri, Francesco Scarcello, Nicola Leone
    Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:1-2, pp:123-159 [Journal]
  143. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
    Disjunctive Logic Programs with Inheritance. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:3, pp:293-321 [Journal]
  144. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Computing preferred answer sets by meta-interpretation in answer set programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:4-5, pp:463-498 [Journal]
  145. Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta
    Experimenting with recursive queries in database and logic programming systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  146. Francesco Ricca, Nicola Leone
    Disjunctive logic programming with types and objects: The DLV+ system. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:3, pp:545-573 [Journal]

  147. Magic Sets for Data Integration. [Citation Graph (, )][DBLP]


  148. Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. [Citation Graph (, )][DBLP]


  149. Answer Set Programming. [Citation Graph (, )][DBLP]


  150. The DLV Project: A Tour from Theory and Research to Applications and Market. [Citation Graph (, )][DBLP]


  151. Computable Functions in ASP: Theory and Implementation. [Citation Graph (, )][DBLP]


  152. Normal Form Nested Programs. [Citation Graph (, )][DBLP]


  153. nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. [Citation Graph (, )][DBLP]


  154. An ASP-Based Data Integration System. [Citation Graph (, )][DBLP]


  155. Exploiting ASP in Real-World Applications: Main Strengths and Challenges. [Citation Graph (, )][DBLP]


  156. An ASP-Based System for e-Tourism. [Citation Graph (, )][DBLP]


  157. An ASP System with Functions, Lists, and Sets. [Citation Graph (, )][DBLP]


  158. Some DLV Applications for Knowledge Management. [Citation Graph (, )][DBLP]


  159. Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. [Citation Graph (, )][DBLP]


  160. An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. [Citation Graph (, )][DBLP]


  161. Efficient Application of Answer Set Programming for Advanced Data Integration. [Citation Graph (, )][DBLP]


  162. Enhancing a DLP System for Advanced Database Applications. [Citation Graph (, )][DBLP]


  163. Enhancing DLV instantiator by backjumping techniques. [Citation Graph (, )][DBLP]


  164. On look-ahead heuristics in disjunctive logic programming. [Citation Graph (, )][DBLP]


  165. On the relation among answer set solvers. [Citation Graph (, )][DBLP]


  166. Design and Implementation of Aggregate Functions in the DLV System [Citation Graph (, )][DBLP]


  167. Disjunctive ASP with Functions: Decidable Queries and Effective Computation [Citation Graph (, )][DBLP]


Search in 0.136secs, Finished in 0.146secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002