| 
| |  | |  |
Hypertree Decompositions and Tractable Queries
Note: Links lead to the DBLP on the Web.
Nicola Leone
53
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: On Tractable Queries and Constraints.
DEXA 1999
: 1-15
52
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: Computing LOGCFL Certificates.
ICALP 1999
: 361-371
51
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: A Comparison of Structural CSP Decomposition Methods.
IJCAI 1999
: 394-399
50
Christoph E. Koch
, Nicola Leone: Stable Model Checking Made Easy.
IJCAI 1999
: 70-75
49
Wolfgang Faber
, Nicola Leone,
Gerald Pfeifer
: Pushing Goal Derivation in DLP Computations.
LPNMR 1999
: 177-191
48
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: Hypertree Decompositions and Tractable Queries.
PODS 1999
: 21-32
47
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: Hypertree Decompositions and Tractable Queries.
SEBD 1999
: 275-289
46
Francesco Buccafurri
, Nicola Leone,
Pasquale Rullo
: Semantics and Expressiveness of Disjunctive Ordered Logic.
Annals of Mathematics and Artificial Intelligence 25
(3-4): 311-337 (1999)
45
Francesco Buccafurri
,
Thomas Eiter
,
Georg Gottlob
, Nicola Leone: Enhancing Model Checking in Verification by AI Techniques.
Artificial Intelligence 112
(1-2): 57-104 (1999)
44
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: On the Complexity of Some Inductive Logic Programming Problems.
New Generation Computing 17
(1): 53-75 (1999)
43
Nicola Leone,
Luigi Palopoli
,
Domenico Saccà
: On the Complexity of Search Queries.
FMLDO 1998
: 113-127
42
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: The Complexity of Acyclic Conjunctive Queries.
FOCS 1998
: 706-715
41
Thomas Eiter
, Nicola Leone,
Cristinel Mateis
,
Gerald Pfeifer
,
Francesco Scarcello
: Progress Report on the Disjunctive Deductive Database System
dlv
.
FQAS 1998
: 148-163
40
Thomas Eiter
, Nicola Leone,
Cristinel Mateis
,
Gerald Pfeifer
,
Francesco Scarcello
: The KR System dlv: Progress Report, Comparisons and Benchmarks.
KR 1998
: 406-417
39
Francesco Buccafurri
, Nicola Leone,
Pasquale Rullo
: Disjunctive Ordered Logic: Semantics and Expressiveness.
KR 1998
: 418-431
38
Thomas Eiter
, Nicola Leone,
Domenico Saccà
: Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
TCS 206
(1-2): 181-218 (1998)
37
Georg Gottlob
, Nicola Leone,
Francesco Scarcello
: On the Complexity of Some Inductive Logic Programming Problems.
ILP 1997
: 17-32
36
Sergio Greco
, Nicola Leone,
Francesco Scarcello
: DATALOG with Nested Rules.
LPKR 1997
: 52-65
35
Francesco Buccafurri
, Nicola Leone,
Pasquale Rullo
: Strong and Weak Constraints in Disjunctive Datalog.
LPNMR 1997
: 2-17
34
Thomas Eiter
, Nicola Leone,
Cristinel Mateis
,
Gerald Pfeifer
,
Francesco Scarcello
: A Deductive System for Non-Monotonic Reasoning.
LPNMR 1997
: 364-375
33
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).
WLP 1997
: 0-
32
Thomas Eiter
, Nicola Leone,
Domenico Saccà
: On the Partial Semantics for Disjunctive Deductive Databases.
Annals of Mathematics and Artificial Intelligence 19
(1-2): 59-96 (1997)
31
Thomas Eiter
,
Georg Gottlob
, Nicola Leone: Semantics and Complexity of Abduction from Default Theories.
Artificial Intelligence 90
(1-2): 177-223 (1997)
30
Nicola Leone,
Clara Pizzuti
,
Pasquale Rullo
: Efficient Evaluation of a Class of Ordered Logic Programs.
DKE 23
(2): 185-214 (1997)
29
Nicola Leone,
Pasquale Rullo
,
Francesco Scarcello
: Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation.
Information and Computation 135
(2): 69-112 (1997)
28
Thomas Eiter
,
Georg Gottlob
, Nicola Leone: On the Indiscernibility of Individuals in Logic Programming.
Journal of Logic and Computation 7
(6): 805-824 (1997)
27
Thomas Eiter
,
Georg Gottlob
, Nicola Leone: Abduction from Logic Programs: Semantics and Complexity.
TCS 189
(1-2): 129-177 (1997)
26
Nicola Leone,
Pasquale Rullo
,
Antonella Mecchia
,
Giuseppe Rossi
: A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning.
TKDE 9
(4): 539-558 (1997)
25
Laks V. S. Lakshmanan
, Nicola Leone,
Robert Ross
,
V. S. Subrahmanian
: ProbView: A Flexible Probabilistic Database System.
TODS 22
(3): 419-469 (1997)
24
Thomas Eiter
, Nicola Leone,
Domenico Saccà
: Partial Semantics for Disjunctive Deductive Databases.
DEXA 1996
: 564-573
23
Nicola Leone,
Pasquale Rullo
,
Francesco Scarcello
: On the Computation of Disjunctive Stable Models.
DEXA 1996
: 654-666
22
Thomas Eiter
, Nicola Leone,
Domenico Saccà
: The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Logic in Databases 1996
: 245-264
21
Nicola Leone,
Pasquale Rullo
,
Francesco Scarcello
: Stable Model Checking for Disjunctive Logic Programs.
Logic in Databases 1996
: 265-278
20
Francesco Buccafuri
, Nicola Leone,
Francesco Scarcello
: On the Expressive Power of Ordered Logic.
AI Communications 9
(1): 4-13 (1996)
19
Francesco Buccafurri
, Nicola Leone,
Pasquale Rullo
: Stable Models and Their Computation for Logic Programming with Inheritance and True Negation.
JLP 27
(1): 5-43 (1996)
18
Francesco Buccafurri
, Nicola Leone,
Luigi Palopoli
,
Pasquale Rullo
: Disjunctive Ordered Logic.
DEXA 1995
: 303-312
17
Thomas Eiter
,
Georg Gottlob
, Nicola Leone: Semantics and Complexity of Abduction from Default Theories.
IJCAI (1) 1995
: 870-877
16
Nicola Leone,
Francesco Scarcello
: Declarative and Fixpoint Characterizations of Disjunctive Stable Models.
ILPS 1995
: 399-413
15
Thomas Eiter
,
Georg Gottlob
, Nicola Leone: Complexity Results for Abductive Logic Programming.
LPNMR 1995
: 1-14
14
Georg Gottlob
, Nicola Leone,
Helmut Veith
: Second Order Logic and the Weak Exponential Hierarchies.
MFCS 1995
: 66-81
13
Thomas Eiter
, Nicola Leone: On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.
WLP 1995
: 217-226
12
Nicola Leone,
Luigi Palopoli
,
Massimo Romeo
: A Language for Updating Logic Programs and its Implementation.
JLP 23
(1): 1-61 (1995)
11
Nicola Leone,
Luigi Palopoli
,
Massimo Romeo
: Modifying Intensional Logic Knowledge.
Fundamenta Informaticae 21
(3): 183-203 (1994)
10
Nicola Leone,
Luigi Palopoli
,
Massimo Romeo
: Updating Logic Programs.
ISMIS 1993
: 235-244
9
Nicola Leone,
Fabio Messina
,
Tommaso Mostardi
,
Carlo Siciliano
: Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase.
SEBD 1993
: 185-198
8
Nicola Leone,
Pasquale Rullo
: Ordered Logic Programming with Sets.
Journal of Logic and Computation 3
(6): 621-642 (1993)
7
Nicola Leone,
Massimo Romeo
,
Pasquale Rullo
,
Domenico Saccà
: Effective Implementation of Negation in Database Logic Query Languages.
LNCS 701
: 159-175 (1993)
6
Nicola Leone,
Giuseppe Rossi
: Well-Founded Semantics and Stratification for Ordered Logic Programs.
New Generation Computing 12
(1): 91-121 (1993)
5
Nicola Leone,
Antonella Mecchia
,
Giuseppe Rossi
,
Pasquale Rullo
: The Basic Query Machine of the KIWIS System.
CAiSE 1992
: 632-650
4
Nicola Leone,
Pasquale Rullo
: Stable Model Semantics and its Computation for Ordered Logic Programs.
ECAI 1992
: 92-96
3
Nicola Leone,
Pasquale Rullo
: Safe computation of the well-founded semantics of Datalog queries.
IS 17
(1): 17-31 (1992)
2
Sergio Greco
, Nicola Leone,
Pasquale Rullo
: COMPLEX: An Object-Oriented Logic Programming System.
TKDE 4
(4): 344-359 (1992)
1
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
,
B. Verdonk
,
Dirk Vermeir
: The KIWIS Knowledge Base Management System.
CAiSE 1991
: 79-97
Copyright(C) 2000 ACM | | | | | | |
