- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j25 |      | Gianluigi Greco, Francesco Scarcello: Structural tractability of enumerating CSP solutions. Constraints 18(1): 38-74 (2013) |
| 2012 | ||
| c55 | | Gianluigi Greco, Enrico Malizia, Francesco Scarcello, Luigi Palopoli: Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. ECAI 2012: 372-377 |
| i12 | | Gianluigi Greco, Francesco Scarcello: The Power of Tree Projections: When Local Consistency Answers Conjunctive Queries. CoRR abs/1205.3321 (2012) |
| i11 | | Gianluigi Greco, Francesco Scarcello: Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. CoRR abs/1207.1383 (2012) |
| i10 | | Gianluigi Greco, Francesco Scarcello: Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Fully Verifiable Settings. CoRR abs/1209.3418 (2012) |
| i9 | | Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. CoRR abs/1209.3419 (2012) |
| i8 | | Gianluigi Greco, Francesco Scarcello: Tree Projections and Structural Decomposition Methods: Minimality and Game-Theoretic Characterization. CoRR abs/1212.2314 (2012) |
| 2011 | ||
| j24 | | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the complexity of core, kernel, and bargaining set. Artif. Intell. 175(12-13): 1877-1910 (2011) |
| j23 | | Marco Manna, Francesco Scarcello, Nicola Leone: On the complexity of regular-grammars with integer attributes. J. Comput. Syst. Sci. 77(2): 393-421 (2011) |
| j22 | | Antonio Iera, Leonardo Militano, Luca Paolo Romeo, Francesco Scarcello: Fair Cost Allocation in Cellular-Bluetooth Cooperation Scenarios. IEEE Transactions on Wireless Communications 10(8): 2566-2576 (2011) |
| c54 | | Lucantonio Ghionna, Gianluigi Greco, Francesco Scarcello: H-DB: a hybrid quantitative-structural sql optimizer. CIKM 2011: 2573-2576 |
| c53 | | Gianluigi Greco, Francesco Scarcello: Structural Tractability of Constraint Optimization. CP 2011: 340-355 |
| c52 | | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of the Core over Coalition Structures. IJCAI 2011: 216-221 |
| c51 |  | Gianluigi Greco, Francesco Scarcello: On the Power of Enforcing Local Consistency. SEBD 2011: 139-146 |
| i7 | | Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash Equilibria: Hard and Easy Games. CoRR abs/1109.2152 (2011) |
| 2010 | ||
| j21 | | Gianluigi Greco, Francesco Scarcello: On the power of structural decompositions of graph-based representations of constraint problems. Artif. Intell. 174(5-6): 382-409 (2010) |
| j20 | | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. J. Artif. Intell. Res. (JAIR) 38: 633-685 (2010) |
| c50 | | Gianluigi Greco, Francesco Scarcello: Structural Tractability of Enumerating CSP Solutions. CP 2010: 236-251 |
| c49 | | Gianluigi Greco, Francesco Scarcello: The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. PODS 2010: 327-338 |
| i6 | | Gianluigi Greco, Francesco Scarcello: On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions. CoRR abs/1005.1567 (2010) |
| 2009 | ||
| j19 | | Gianluigi Greco, Francesco Scarcello: On the complexity of constrained Nash equilibria in graphical games. Theor. Comput. Sci. 410(38-40): 3901-3924 (2009) |
| c48 | | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Constrained coalitional games: formal framework, properties, and complexity results. AAMAS (2) 2009: 1295-1296 |
| c47 | | Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello, Thomas Schwentick: Tree Projections: Game Characterization and Computational Aspects. Graph Theory, Computational Intelligence and Thought 2009: 217-226 |
| c46 | | Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. ICALP (2) 2009: 16-30 |
| c45 | | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of Compact Coalitional Games. IJCAI 2009: 147-152 |
| 2008 | ||
| c44 | | Francesco Scarcello, Georg Gottlob, Gianluigi Greco: Uniform Constraint Satisfaction Problems and Database Theory. Complexity of Constraints 2008: 156-195 |
| c43 | | Gianluigi Greco, Francesco Scarcello: Tree Projections: Hypergraph Games and Minimality. ICALP (1) 2008: 736-747 |
| i5 | | 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 | ||
| j18 | | Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone: Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell. 51(2-4): 195-228 (2007) |
| j17 | | Francesco Scarcello, Gianluigi Greco, Nicola Leone: Weighted hypertree decompositions and optimal query plans. J. Comput. Syst. Sci. 73(3): 475-506 (2007) |
| c42 | | Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Francesco Scarcello: Hypertree Decompositions for Query Optimization. ICDE 2007: 36-45 |
| c41 | | Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Infeasibility Certificates and the Complexity of the Core in Coalitional Games. IJCAI 2007: 1402-1407 |
| 2006 | ||
| j16 | | 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 | ||
| j15 | | Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash Equilibria: Hard and Easy Games. J. Artif. Intell. Res. (JAIR) 24: 357-406 (2005) |
| j14 | | Francesco Scarcello: Query answering exploiting structural properties. SIGMOD Record 34(3): 91-99 (2005) |
| j13 | | Simona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. TPLP 5(1-2): 123-159 (2005) |
| c40 | | 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 |
| c39 | | Georg Gottlob, Gianluigi Greco, Francesco Scarcello: The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. IJCAI 2005: 150-155 |
| c38 | | Gianluigi Greco, Francesco Scarcello: Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. UAI 2005: 225-232 |
| c37 | | Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello: Hypertree Decompositions: Structure, Algorithms, and Applications. WG 2005: 1-15 |
| 2004 | ||
| j12 | | 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) |
| c36 | | Gianluigi Greco, Francesco Scarcello: Constrained Pure Nash Equilibria in Graphical Games. ECAI 2004: 181-185 |
| c35 | | Nicola Leone, Simona Perri, Francesco Scarcello: BackJumping techniques for rules instantiation in the DLV system. NMR 2004: 258-266 |
| c34 | | Francesco Scarcello, Gianluigi Greco, Nicola Leone: Weighted Hypertree Decompositions and Optimal Query Plans. PODS 2004: 210-221 |
| c33 | | Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello: Event choice datalog: a logic programming language for reasoning in multiple dimensions. PPDP 2004: 238-249 |
| c32 | | Gianluigi Greco, Nicola Leone, Francesco Scarcello: On Weighted Hypertree Decompositions. SEBD 2004: 54-61 |
| 2003 | ||
| j11 | | 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) |
| c31 | | Simona Perri, Francesco Scarcello: Advanced Backjumping Techniques for Rule Instantiations. APPIA-GULP-PRODE 2003: 238-251 |
| c30 | | Gianluigi Greco, Francesco Scarcello: Non-Binary Constraints and Optimal Dual-Graph Representations. IJCAI 2003: 227-232 |
| c29 | | Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash equilibria: hard and easy games. TARK 2003: 215-230 |
| i4 | | Simona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. CoRR cs.AI/0310047 (2003) |
| 2002 | ||
| j10 | | Georg Gottlob, Francesco Scarcello, Martha Sideri: Fixed-parameter complexity in AI and nonmonotonic reasoning. Artif. Intell. 138(1-2): 55-86 (2002) |
| j9 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. 64(3): 579-627 (2002) |
| j8 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL certificates. Theor. Comput. Sci. 270(1-2): 761-777 (2002) |
| c28 | | Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello: Cost-based Query Decompositions. SEBD 2002: 390-403 |
| i3 | | 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) |
| 2001 | ||
| j7 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: The complexity of acyclic conjunctive queries. J. ACM 48(3): 431-498 (2001) |
| c27 | | Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming. AI*IA 2001: 123-134 |
| c26 | | 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 |
| c25 | | Nicola Leone, Simona Perri, Francesco Scarcello: Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001: 280-294 |
| c24 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions: A Survey. MFCS 2001: 37-57 |
| c23 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001 |
| c22 | | Nicola Leone, Simona Perri, Francesco Scarcello: Join Ordering Techniques for Knowledge Base Systems. SEBD 2001: 79-93 |
| c21 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD 2001: 147-154 |
| i2 | | Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming. CoRR cs.LO/0111010 (2001) |
| 2000 | ||
| j6 | | Marco Cadoli, Francesco Scarcello: Semantical and computational aspects of Horn approximations. Artif. Intell. 119(1-2): 1-17 (2000) |
| j5 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: A comparison of structural CSP decomposition methods. Artif. Intell. 124(2): 243-282 (2000) |
| 1999 | ||
| j4 | | Marco Cadoli, Luigi Palopoli, Francesco Scarcello: Propositional lower bounds: Algorithms and complexity. Ann. Math. Artif. Intell. 27(1-4): 129-148 (1999) |
| j3 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. New Generation Comput. 17(1): 53-75 (1999) |
| c20 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: On Tractable Queries and Constraints. DEXA 1999: 1-15 |
| c19 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL Certificates. ICALP 1999: 361-371 |
| c18 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: A Comparison of Structural CSP Decomposition Methods. IJCAI 1999: 394-399 |
| c17 | | Georg Gottlob, Francesco Scarcello, Martha Sideri: Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. LPNMR 1999: 1-18 |
| c16 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. PODS 1999: 21-32 |
| c15 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. SEBD 1999: 275-289 |
| 1998 | ||
| c14 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: The Complexity of Acyclic Conjunctive Queries. FOCS 1998: 706-715 |
| c13 | | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: Progress Report on the Disjunctive Deductive Database System dlv. FQAS 1998: 148-163 |
| c12 | | Marco Cadoli, Luigi Palopoli, Francesco Scarcello: Propositional Lower Bounds: Generalization and Algorithms. JELIA 1998: 355-367 |
| c11 | | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417 |
| i1 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. CoRR cs.DB/9812022 (1998) |
| 1997 | ||
| j2 | | Nicola Leone, Pasquale Rullo, Francesco Scarcello: Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Inf. Comput. 135(2): 69-112 (1997) |
| c10 | | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997: 141-152 |
| c9 | | Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. ILP 1997: 17-32 |
| c8 | | |
| c7 | | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: A Deductive System for Non-Monotonic Reasoning. LPNMR 1997: 364-375 |
| c6 | | 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- |
| 1996 | ||
| j1 | | Francesco Buccafurri, Nicola Leone, Francesco Scarcello: On the Expressive Power of Ordered Logic. AI Commun. 9(1): 4-13 (1996) |
| c5 | | Nicola Leone, Pasquale Rullo, Francesco Scarcello: On the Computation of Disjunctive Stable Models. DEXA 1996: 654-666 |
| c4 | | Nicola Leone, Pasquale Rullo, Francesco Scarcello: Stable Model Checking for Disjunctive Logic Programs. Logic in Databases 1996: 265-278 |
| 1995 | ||
| c3 | | Francesco Scarcello, Nicola Leone, Luigi Palopoli: Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995: 545-556 |
| c2 | | Nicola Leone, Francesco Scarcello: Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS 1995: 399-413 |
| 1993 | ||
| c1 | | |
Colors in the list of coauthors
Last update Sun May 19 21:51:45 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page