|
Search the dblp DataBase
Francesco Scarcello:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Georg Gottlob, Nicola Leone, Francesco Scarcello
The Complexity of Acyclic Conjunctive Queries. [Citation Graph (5, 0)][DBLP] FOCS, 1998, pp:706-715 [Conf]
- Georg Gottlob, Nicola Leone, Francesco Scarcello
A Comparison of Structural CSP Decomposition Methods. [Citation Graph (2, 0)][DBLP] IJCAI, 1999, pp:394-399 [Conf]
- Georg Gottlob, Nicola Leone, Francesco Scarcello
Hypertree Decompositions and Tractable Queries. [Citation Graph (2, 30)][DBLP] PODS, 1999, pp:21-32 [Conf]
- 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]
- 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]
- 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]
- Simona Perri, Francesco Scarcello
Advanced Backjumping Techniques for Rule Instantiations. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 2003, pp:238-251 [Conf]
- Francesco Scarcello
Calcolo del Modello Well-Founded di Programmi Datalog. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:469-484 [Conf]
- 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]
- Nicola Leone, Simona Perri, Francesco Scarcello
Abduction with Penalization in Logic Programming. [Citation Graph (0, 0)][DBLP] AI*IA, 2001, pp:123-134 [Conf]
- Gianluigi Greco, Francesco Scarcello
On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems. [Citation Graph (0, 0)][DBLP] CIKM, 2005, pp:36-43 [Conf]
- Georg Gottlob, Nicola Leone, Francesco Scarcello
On Tractable Queries and Constraints. [Citation Graph (0, 0)][DBLP] DEXA, 1999, pp:1-15 [Conf]
- Nicola Leone, Pasquale Rullo, Francesco Scarcello
On the Computation of Disjunctive Stable Models. [Citation Graph (0, 0)][DBLP] DEXA, 1996, pp:654-666 [Conf]
- Gianluigi Greco, Francesco Scarcello
Constrained Pure Nash Equilibria in Graphical Games. [Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:181-185 [Conf]
- 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]
- Georg Gottlob, Nicola Leone, Francesco Scarcello
Computing LOGCFL Certificates. [Citation Graph (0, 0)][DBLP] ICALP, 1999, pp:361-371 [Conf]
- Georg Gottlob, Gianluigi Greco, Francesco Scarcello
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:150-155 [Conf]
- Gianluigi Greco, Francesco Scarcello
Non-Binary Constraints and Optimal Dual-Graph Representations. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:227-232 [Conf]
- Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Infeasibility Certificates and the Complexity of the Core in Coalitional Games. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:1402-1407 [Conf]
- 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]
- Marco Cadoli, Luigi Palopoli, Francesco Scarcello
Propositional Lower Bounds: Generalization and Algorithms. [Citation Graph (0, 0)][DBLP] JELIA, 1998, pp:355-367 [Conf]
- 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]
- 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]
- 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]
- Sergio Greco, Nicola Leone, Francesco Scarcello
DATALOG with Nested Rules. [Citation Graph (0, 0)][DBLP] LPKR, 1997, pp:52-65 [Conf]
- Georg Gottlob, Francesco Scarcello, Martha Sideri
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP] LPNMR, 1999, pp:1-18 [Conf]
- Nicola Leone, Simona Perri, Francesco Scarcello
Improving ASP Instantiators by Join-Ordering Methods. [Citation Graph (0, 0)][DBLP] LPNMR, 2001, pp:280-294 [Conf]
- Georg Gottlob, Nicola Leone, Francesco Scarcello
Hypertree Decompositions: A Survey. [Citation Graph (0, 0)][DBLP] MFCS, 2001, pp:37-57 [Conf]
- 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]
- 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]
- Francesco Scarcello, Gianluigi Greco, Nicola Leone
Weighted Hypertree Decompositions and Optimal Query Plans. [Citation Graph (0, 0)][DBLP] PODS, 2004, pp:210-221 [Conf]
- Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello
Event choice datalog: a logic programming language for reasoning in multiple dimensions. [Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:238-249 [Conf]
- 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]
- Georg Gottlob, Nicola Leone, Francesco Scarcello
Hypertree Decompositions and Tractable Queries. [Citation Graph (0, 0)][DBLP] SEBD, 1999, pp:275-289 [Conf]
- Gianluigi Greco, Nicola Leone, Francesco Scarcello
On Weighted Hypertree Decompositions. [Citation Graph (0, 0)][DBLP] SEBD, 2004, pp:54-61 [Conf]
- Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello
Cost-based Query Decompositions. [Citation Graph (0, 0)][DBLP] SEBD, 2002, pp:390-403 [Conf]
- Nicola Leone, Simona Perri, Francesco Scarcello
Join Ordering Techniques for Knowledge Base Systems. [Citation Graph (0, 0)][DBLP] SEBD, 2001, pp:79-93 [Conf]
- Nicola Leone, Francesco Scarcello
Declarative and Fixpoint Characterizations of Disjunctive Stable Models. [Citation Graph (0, 0)][DBLP] ILPS, 1995, pp:399-413 [Conf]
- Georg Gottlob, Gianluigi Greco, Francesco Scarcello
Pure Nash equilibria: hard and easy games. [Citation Graph (0, 0)][DBLP] TARK, 2003, pp:215-230 [Conf]
- Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello
Hypertree Decompositions: Structure, Algorithms, and Applications. [Citation Graph (0, 0)][DBLP] WG, 2005, pp:1-15 [Conf]
- 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]
- Marco Cadoli, Francesco Scarcello
Semantical and computational aspects of Horn approximations. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2000, v:119, n:1-2, pp:1-17 [Journal]
- 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]
- Georg Gottlob, Francesco Scarcello, Martha Sideri
Fixed-parameter complexity in AI and nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:55-86 [Journal]
- 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]
- Marco Cadoli, Luigi Palopoli, Francesco Scarcello
Propositional lower bounds: Algorithms and complexity. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1999, v:27, n:1-4, pp:129-148 [Journal]
- 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]
- 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]
- Georg Gottlob, Nicola Leone, Francesco Scarcello
Hypertree Decompositions and Tractable Queries [Citation Graph (0, 0)][DBLP] CoRR, 1998, v:0, n:, pp:- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Francesco Scarcello
Query answering exploiting structural properties. [Citation Graph (0, 0)][DBLP] SIGMOD Record, 2005, v:34, n:3, pp:91-99 [Journal]
- 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]
- 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]
- 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]
- 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]
- Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Francesco Scarcello
Hypertree Decompositions for Query Optimization. [Citation Graph (0, 0)][DBLP] ICDE, 2007, pp:36-45 [Conf]
- Gianluigi Greco, Francesco Scarcello
Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. [Citation Graph (0, 0)][DBLP] UAI, 2005, pp:225-232 [Conf]
- Georg Gottlob, Gianluigi Greco, Francesco Scarcello
Pure Nash Equilibria: Hard and Easy Games. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:357-406 [Journal]
Constrained coalitional games: formal framework, properties, and complexity results. [Citation Graph (, )][DBLP]
Tree Projections: Game Characterization and Computational Aspects. [Citation Graph (, )][DBLP]
Uniform Constraint Satisfaction Problems and Database Theory. [Citation Graph (, )][DBLP]
Tree Projections: Hypergraph Games and Minimality. [Citation Graph (, )][DBLP]
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. [Citation Graph (, )][DBLP]
On the Complexity of Compact Coalitional Games. [Citation Graph (, )][DBLP]
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. [Citation Graph (, )][DBLP]
On the power of structural decompositions of graph-based representations of constraint problems. [Citation Graph (, )][DBLP]
Enhancing DLV instantiator by backjumping techniques. [Citation Graph (, )][DBLP]
On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games [Citation Graph (, )][DBLP]
On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions [Citation Graph (, )][DBLP]
Search in 0.026secs, Finished in 0.028secs
|