2008 |
67 | EE | Francesco Scarcello,
Georg Gottlob,
Gianluigi Greco:
Uniform Constraint Satisfaction Problems and Database Theory.
Complexity of Constraints 2008: 156-195 |
66 | EE | Gianluigi Greco,
Francesco Scarcello:
Tree Projections: Hypergraph Games and Minimality.
ICALP (1) 2008: 736-747 |
65 | EE | Enrico Malizia,
Luigi Palopoli,
Francesco Scarcello:
On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games
CoRR abs/0810.3136: (2008) |
2007 |
64 | EE | Lucantonio Ghionna,
Luigi Granata,
Gianluigi Greco,
Francesco Scarcello:
Hypertree Decompositions for Query Optimization.
ICDE 2007: 36-45 |
63 | EE | Enrico Malizia,
Luigi Palopoli,
Francesco Scarcello:
Infeasibility Certificates and the Complexity of the Core in Coalitional Games.
IJCAI 2007: 1402-1407 |
62 | EE | Simona Perri,
Francesco Scarcello,
Gelsomina Catalano,
Nicola Leone:
Enhancing DLV instantiator by backjumping techniques.
Ann. Math. Artif. Intell. 51(2-4): 195-228 (2007) |
61 | EE | Francesco Scarcello,
Gianluigi Greco,
Nicola Leone:
Weighted hypertree decompositions and optimal query plans.
J. Comput. Syst. Sci. 73(3): 475-506 (2007) |
2006 |
60 | EE | 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. 7(3): 499-562 (2006) |
2005 |
59 | EE | Gianluigi Greco,
Francesco Scarcello:
On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems.
CIKM 2005: 36-43 |
58 | EE | Georg Gottlob,
Gianluigi Greco,
Francesco Scarcello:
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions.
IJCAI 2005: 150-155 |
57 | EE | Gianluigi Greco,
Francesco Scarcello:
Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria.
UAI 2005: 225-232 |
56 | EE | Georg Gottlob,
Martin Grohe,
Nysret Musliu,
Marko Samer,
Francesco Scarcello:
Hypertree Decompositions: Structure, Algorithms, and Applications.
WG 2005: 1-15 |
55 | EE | Georg Gottlob,
Gianluigi Greco,
Francesco Scarcello:
Pure Nash Equilibria: Hard and Easy Games.
J. Artif. Intell. Res. (JAIR) 24: 357-406 (2005) |
54 | EE | Francesco Scarcello:
Query answering exploiting structural properties.
SIGMOD Record 34(3): 91-99 (2005) |
53 | EE | Simona Perri,
Francesco Scarcello,
Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
TPLP 5(1-2): 123-159 (2005) |
2004 |
52 | | Gianluigi Greco,
Francesco Scarcello:
Constrained Pure Nash Equilibria in Graphical Games.
ECAI 2004: 181-185 |
51 | EE | Nicola Leone,
Simona Perri,
Francesco Scarcello:
BackJumping techniques for rules instantiation in the DLV system.
NMR 2004: 258-266 |
50 | EE | Francesco Scarcello,
Gianluigi Greco,
Nicola Leone:
Weighted Hypertree Decompositions and Optimal Query Plans.
PODS 2004: 210-221 |
49 | EE | Gianluigi Greco,
Antonella Guzzo,
Domenico Saccà,
Francesco Scarcello:
Event choice datalog: a logic programming language for reasoning in multiple dimensions.
PPDP 2004: 238-249 |
48 | | Gianluigi Greco,
Nicola Leone,
Francesco Scarcello:
On Weighted Hypertree Decompositions.
SEBD 2004: 54-61 |
47 | EE | Nicola Leone,
Francesco Scarcello,
V. S. Subrahmanian:
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.
IEEE Trans. Knowl. Data Eng. 16(4): 487-503 (2004) |
2003 |
46 | | Simona Perri,
Francesco Scarcello:
Advanced Backjumping Techniques for Rule Instantiations.
APPIA-GULP-PRODE 2003: 238-251 |
45 | | Gianluigi Greco,
Francesco Scarcello:
Non-Binary Constraints and Optimal Dual-Graph Representations.
IJCAI 2003: 227-232 |
44 | EE | Georg Gottlob,
Gianluigi Greco,
Francesco Scarcello:
Pure Nash equilibria: hard and easy games.
TARK 2003: 215-230 |
43 | EE | Simona Perri,
Francesco Scarcello,
Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
CoRR cs.AI/0310047: (2003) |
42 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.
J. Comput. Syst. Sci. 66(4): 775-808 (2003) |
2002 |
41 | | Nicola Leone,
Alfredo Mazzitelli,
Francesco Scarcello:
Cost-based Query Decompositions.
SEBD 2002: 390-403 |
40 | EE | Georg Gottlob,
Francesco Scarcello,
Martha Sideri:
Fixed-parameter complexity in AI and nonmonotonic reasoning.
Artif. Intell. 138(1-2): 55-86 (2002) |
39 | EE | Nicola Leone,
Gerald Pfeifer,
Wolfgang Faber,
Thomas Eiter,
Georg Gottlob,
Simona Perri,
Francesco Scarcello:
The DLV System for Knowledge Representation and Reasoning
CoRR cs.AI/0211004: (2002) |
38 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Hypertree Decompositions and Tractable Queries.
J. Comput. Syst. Sci. 64(3): 579-627 (2002) |
37 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Computing LOGCFL certificates.
Theor. Comput. Sci. 270(1-2): 761-777 (2002) |
2001 |
36 | EE | Nicola Leone,
Simona Perri,
Francesco Scarcello:
Abduction with Penalization in Logic Programming.
AI*IA 2001: 123-134 |
35 | EE | Enrico Franconi,
Antonio Laureti Palma,
Nicola Leone,
Simona Perri,
Francesco Scarcello:
Census Data Repair: a Challenging Application of Disjunctive Logic Programming.
LPAR 2001: 561-578 |
34 | EE | Nicola Leone,
Simona Perri,
Francesco Scarcello:
Improving ASP Instantiators by Join-Ordering Methods.
LPNMR 2001: 280-294 |
33 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Hypertree Decompositions: A Survey.
MFCS 2001: 37-57 |
32 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.
PODS 2001 |
31 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.
SEBD 2001: 147-154 |
30 | | Nicola Leone,
Simona Perri,
Francesco Scarcello:
Join Ordering Techniques for Knowledge Base Systems.
SEBD 2001: 79-93 |
29 | EE | Giovambattista Ianni,
Nicola Leone,
Simona Perri,
Francesco Scarcello:
Abduction with Penalization in Logic Programming
CoRR cs.LO/0111010: (2001) |
28 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
The complexity of acyclic conjunctive queries.
J. ACM 48(3): 431-498 (2001) |
2000 |
27 | EE | Marco Cadoli,
Francesco Scarcello:
Semantical and computational aspects of Horn approximations.
Artif. Intell. 119(1-2): 1-17 (2000) |
26 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
A comparison of structural CSP decomposition methods.
Artif. Intell. 124(2): 243-282 (2000) |
1999 |
25 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
On Tractable Queries and Constraints.
DEXA 1999: 1-15 |
24 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Computing LOGCFL Certificates.
ICALP 1999: 361-371 |
23 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
A Comparison of Structural CSP Decomposition Methods.
IJCAI 1999: 394-399 |
22 | EE | Georg Gottlob,
Francesco Scarcello,
Martha Sideri:
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.
LPNMR 1999: 1-18 |
21 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Hypertree Decompositions and Tractable Queries.
PODS 1999: 21-32 |
20 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Hypertree Decompositions and Tractable Queries.
SEBD 1999: 275-289 |
19 | | Marco Cadoli,
Luigi Palopoli,
Francesco Scarcello:
Propositional lower bounds: Algorithms and complexity.
Ann. Math. Artif. Intell. 27(1-4): 129-148 (1999) |
18 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
On the Complexity of Some Inductive Logic Programming Problems.
New Generation Comput. 17(1): 53-75 (1999) |
1998 |
17 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
The Complexity of Acyclic Conjunctive Queries.
FOCS 1998: 706-715 |
16 | EE | Thomas Eiter,
Nicola Leone,
Cristinel Mateis,
Gerald Pfeifer,
Francesco Scarcello:
Progress Report on the Disjunctive Deductive Database System dlv.
FQAS 1998: 148-163 |
15 | EE | Marco Cadoli,
Luigi Palopoli,
Francesco Scarcello:
Propositional Lower Bounds: Generalization and Algorithms.
JELIA 1998: 355-367 |
14 | | Thomas Eiter,
Nicola Leone,
Cristinel Mateis,
Gerald Pfeifer,
Francesco Scarcello:
The KR System dlv: Progress Report, Comparisons and Benchmarks.
KR 1998: 406-417 |
13 | EE | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
Hypertree Decompositions and Tractable Queries
CoRR cs.DB/9812022: (1998) |
1997 |
12 | | Thomas Eiter,
Nicola Leone,
Cristinel Mateis,
Gerald Pfeifer,
Francesco Scarcello:
The Architecture of a Disjunctive Deductive Database System.
APPIA-GULP-PRODE 1997: 141-152 |
11 | | Georg Gottlob,
Nicola Leone,
Francesco Scarcello:
On the Complexity of Some Inductive Logic Programming Problems.
ILP 1997: 17-32 |
10 | EE | Sergio Greco,
Nicola Leone,
Francesco Scarcello:
DATALOG with Nested Rules.
LPKR 1997: 52-65 |
9 | | Thomas Eiter,
Nicola Leone,
Cristinel Mateis,
Gerald Pfeifer,
Francesco Scarcello:
A Deductive System for Non-Monotonic Reasoning.
LPNMR 1997: 364-375 |
8 | | 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- |
7 | | Nicola Leone,
Pasquale Rullo,
Francesco Scarcello:
Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation.
Inf. Comput. 135(2): 69-112 (1997) |
1996 |
6 | | Nicola Leone,
Pasquale Rullo,
Francesco Scarcello:
On the Computation of Disjunctive Stable Models.
DEXA 1996: 654-666 |
5 | | Nicola Leone,
Pasquale Rullo,
Francesco Scarcello:
Stable Model Checking for Disjunctive Logic Programs.
Logic in Databases 1996: 265-278 |
4 | | Francesco Buccafurri,
Nicola Leone,
Francesco Scarcello:
On the Expressive Power of Ordered Logic.
AI Commun. 9(1): 4-13 (1996) |
1995 |
3 | | Francesco Scarcello,
Nicola Leone,
Luigi Palopoli:
Curbing Theories: Fixpoint Semantics and Complexity Issues.
GULP-PRODE 1995: 545-556 |
2 | | Nicola Leone,
Francesco Scarcello:
Declarative and Fixpoint Characterizations of Disjunctive Stable Models.
ILPS 1995: 399-413 |
1993 |
1 | | Francesco Scarcello:
Calcolo del Modello Well-Founded di Programmi Datalog.
GULP 1993: 469-484 |