| 
| |  | |  |
Hypertree Decompositions and Tractable Queries
Note: Links lead to the DBLP on the Web.
Francesco Scarcello
20
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: On Tractable Queries and Constraints.
DEXA 1999
: 1-15
19
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: Computing LOGCFL Certificates.
ICALP 1999
: 361-371
18
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: A Comparison of Structural CSP Decomposition Methods.
IJCAI 1999
: 394-399
17
Georg Gottlob
, Francesco Scarcello,
Martha Sideri
: Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.
LPNMR 1999
: 1-18
16
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: Hypertree Decompositions and Tractable Queries.
PODS 1999
: 21-32
15
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: Hypertree Decompositions and Tractable Queries.
SEBD 1999
: 275-289
14
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems.
New Generation Computing 17
(1): 53-75 (1999)
13
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: The Complexity of Acyclic Conjunctive Queries.
FOCS 1998
: 706-715
12
Thomas Eiter
,
Nicola Leone
,
Cristinel Mateis
,
Gerald Pfeifer
, Francesco Scarcello: Progress Report on the Disjunctive Deductive Database System
dlv
.
FQAS 1998
: 148-163
11
Marco Cadoli
,
Luigi Palopoli
, Francesco Scarcello: Propositional Lower Bounds: Generalization and Algorithms.
JELIA 1998
: 355-367
10
Thomas Eiter
,
Nicola Leone
,
Cristinel Mateis
,
Gerald Pfeifer
, Francesco Scarcello: The KR System dlv: Progress Report, Comparisons and Benchmarks.
KR 1998
: 406-417
9
Georg Gottlob
,
Nicola Leone
, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems.
ILP 1997
: 17-32
8
Sergio Greco
,
Nicola Leone
, Francesco Scarcello: DATALOG with Nested Rules.
LPKR 1997
: 52-65
7
Thomas Eiter
,
Nicola Leone
,
Cristinel Mateis
,
Gerald Pfeifer
, Francesco Scarcello: A Deductive System for Non-Monotonic Reasoning.
LPNMR 1997
: 364-375
6
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-
5
Nicola Leone
,
Pasquale Rullo
, Francesco Scarcello: Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation.
Information and Computation 135
(2): 69-112 (1997)
4
Nicola Leone
,
Pasquale Rullo
, Francesco Scarcello: On the Computation of Disjunctive Stable Models.
DEXA 1996
: 654-666
3
Nicola Leone
,
Pasquale Rullo
, Francesco Scarcello: Stable Model Checking for Disjunctive Logic Programs.
Logic in Databases 1996
: 265-278
2
Francesco Buccafuri
,
Nicola Leone
, Francesco Scarcello: On the Expressive Power of Ordered Logic.
AI Communications 9
(1): 4-13 (1996)
1
Nicola Leone
, Francesco Scarcello: Declarative and Fixpoint Characterizations of Disjunctive Stable Models.
ILPS 1995
: 399-413
Copyright(C) 2000 ACM | | | | | | |
