| 2011 |
|---|
| 81 | On the complexity of core, kernel, and bargaining set. Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello. Artif. Intell. (175): 1877-1910 (2011). Web SearchBibTeXDownload |
| 80 | H-DB: a hybrid quantitative-structural sql optimizer. Lucantonio Ghionna, Gianluigi Greco, Francesco Scarcello. CIKM 2011, 2573-2576. Web SearchBibTeXDownload |
| 79 | Pure Nash Equilibria: Hard and Easy Games. Georg Gottlob, Gianluigi Greco, Francesco Scarcello. CoRR (abs/1109.2152) (2011). Web SearchBibTeXDownload |
| 78 | Structural Tractability of Constraint Optimization. Gianluigi Greco, Francesco Scarcello. CP 2011, 340-355. Web SearchBibTeXDownload |
| 77 | Fair Cost Allocation in Cellular-Bluetooth Cooperation Scenarios. Antonio Iera, Leonardo Militano, Luca Paolo Romeo, Francesco Scarcello. IEEE Transactions on Wireless Communications (10): 2566-2576 (2011). Web SearchBibTeXDownload |
| 76 | On the Complexity of the Core over Coalition Structures. Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello. IJCAI 2011, 216-221. Web SearchBibTeXDownload |
| 75 | On the complexity of regular-grammars with integer attributes. Marco Manna, Francesco Scarcello, Nicola Leone. J. Comput. Syst. Sci. (77): 393-421 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 74 | On the power of structural decompositions of graph-based representations of constraint problems. Gianluigi Greco, Francesco Scarcello. Artif. Intell. (174): 382-409 (2010). Web SearchBibTeXDownload |
| 73 | On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions. Gianluigi Greco, Francesco Scarcello. CoRR (abs/1005.1567) (2010). Web SearchBibTeXDownload |
| 72 | Structural Tractability of Enumerating CSP Solutions. Gianluigi Greco, Francesco Scarcello. CP 2010, 236-251. Web SearchBibTeXDownload |
| 71 | Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello. J. Artif. Intell. Res. (JAIR) (38): 633-685 (2010). Web SearchBibTeXDownload |
| 70 | The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. Gianluigi Greco, Francesco Scarcello. PODS 2010, 327-338. Web SearchBibTeXDownload |
| 2009 |
|---|
| 69 | Constrained coalitional games: formal framework, properties, and complexity results. Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello. AAMAS (2) 2009, 1295-1296. Web SearchBibTeXDownload |
| 68 | Tree Projections: Game Characterization and Computational Aspects. Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello, Thomas Schwentick. Graph Theory, Computational Intelligence and Thought 2009, 217-226. Web SearchBibTeXDownload |
| 67 | Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. Georg Gottlob, Gianluigi Greco, Francesco Scarcello. ICALP (2) 2009, 16-30. Web SearchBibTeXDownload |
| 66 | On the Complexity of Compact Coalitional Games. Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello. IJCAI 2009, 147-152. Web SearchBibTeXDownload |
| 65 | On the complexity of constrained Nash equilibria in graphical games. Gianluigi Greco, Francesco Scarcello. Theor. Comput. Sci. (410): 3901-3924 (2009). Web SearchBibTeXDownload |
| 2008 |
|---|
| 64 | Uniform Constraint Satisfaction Problems and Database Theory. Francesco Scarcello, Georg Gottlob, Gianluigi Greco. Complexity of Constraints 2008, 156-195. Web SearchBibTeXDownload |
| 63 | On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games. Enrico Malizia, Luigi Palopoli, Francesco Scarcello. CoRR (abs/0810.3136) (2008). Web SearchBibTeXDownload |
| 62 | Tree Projections: Hypergraph Games and Minimality. Gianluigi Greco, Francesco Scarcello. ICALP (1) 2008, 736-747. Web SearchBibTeXDownload |
| 2007 |
|---|
| 61 | Enhancing DLV instantiator by backjumping techniques. Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone. Ann. Math. Artif. Intell. (51): 195-228 (2007). Web SearchBibTeXDownload |
| 60 | Hypertree Decompositions for Query Optimization. Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Francesco Scarcello. ICDE 2007, 36-45. Web SearchBibTeXDownload |
| 59 | Infeasibility Certificates and the Complexity of the Core in Coalitional Games. Enrico Malizia, Luigi Palopoli, Francesco Scarcello. IJCAI 2007, 1402-1407. Web SearchBibTeXDownload |
| 58 | Weighted hypertree decompositions and optimal query plans. Francesco Scarcello, Gianluigi Greco, Nicola Leone. J. Comput. Syst. Sci. (73): 475-506 (2007). Web SearchBibTeXDownload |
| 2006 |
|---|
| 57 | The DLV system for knowledge representation and reasoning. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello. ACM Trans. Comput. Log. (7): 499-562 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 56 | On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems. Gianluigi Greco, Francesco Scarcello. CIKM 2005, 36-43. Web SearchBibTeXDownload |
| 55 | The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. Georg Gottlob, Gianluigi Greco, Francesco Scarcello. IJCAI 2005, 150-155. Web SearchBibTeXDownload |
| 54 | Pure Nash Equilibria: Hard and Easy Games. Georg Gottlob, Gianluigi Greco, Francesco Scarcello. J. Artif. Intell. Res. (JAIR) (24): 357-406 (2005). Web SearchBibTeXDownload |
| 53 | Query answering exploiting structural properties. Francesco Scarcello. SIGMOD Record (34): 91-99 (2005). Web SearchBibTeXDownload |
| 52 | Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Simona Perri, Francesco Scarcello, Nicola Leone. TPLP (5): 123-159 (2005). Web SearchBibTeXDownload |
| 51 | Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. Gianluigi Greco, Francesco Scarcello. UAI 2005, 225-232. Web SearchBibTeXDownload |
| 50 | Hypertree Decompositions: Structure, Algorithms, and Applications. Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello. WG 2005, 1-15. Web SearchBibTeXDownload |
| 2004 |
|---|
| 49 | Constrained Pure Nash Equilibria in Graphical Games. Gianluigi Greco, Francesco Scarcello. ECAI 2004, 181-185. Web SearchBibTeX |
| 48 | Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. Nicola Leone, Francesco Scarcello, V. S. Subrahmanian. IEEE Trans. Knowl. Data Eng. (16): 487-503 (2004). Cited by 6Web SearchBibTeXDownload |
| 47 | BackJumping techniques for rules instantiation in the DLV system. Nicola Leone, Simona Perri, Francesco Scarcello. NMR 2004, 258-266. Web SearchBibTeXDownload |
| 46 | Weighted Hypertree Decompositions and Optimal Query Plans. Francesco Scarcello, Gianluigi Greco, Nicola Leone. PODS 2004, 210-221. Web SearchBibTeXDownload |
| 45 | Event choice datalog: a logic programming language for reasoning in multiple dimensions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello. PPDP 2004, 238-249. Web SearchBibTeXDownload |
| 44 | On Weighted Hypertree Decompositions. Gianluigi Greco, Nicola Leone, Francesco Scarcello. SEBD 2004, 54-61. Web SearchBibTeX |
| 2003 |
|---|
| 43 | Advanced Backjumping Techniques for Rule Instantiations. Simona Perri, Francesco Scarcello. APPIA-GULP-PRODE 2003, 238-251. Web SearchBibTeX |
| 42 | Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Simona Perri, Francesco Scarcello, Nicola Leone. CoRR (cs.AI/0310047) (2003). Web SearchBibTeXDownload |
| 41 | Non-Binary Constraints and Optimal Dual-Graph Representations. Gianluigi Greco, Francesco Scarcello. IJCAI 2003, 227-232. Web SearchBibTeX |
| 40 | Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. Georg Gottlob, Nicola Leone, Francesco Scarcello. J. Comput. Syst. Sci. (66): 775-808 (2003). Web SearchBibTeXDownload |
| 39 | Pure Nash equilibria: hard and easy games. Georg Gottlob, Gianluigi Greco, Francesco Scarcello. TARK 2003, 215-230. Web SearchBibTeXDownload |
| 2002 |
|---|
| 38 | Fixed-parameter complexity in AI and nonmonotonic reasoning. Georg Gottlob, Francesco Scarcello, Martha Sideri. Artif. Intell. (138): 55-86 (2002). Web SearchBibTeXDownload |
| 37 | The DLV System for Knowledge Representation and Reasoning. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello. CoRR (cs.AI/0211004) (2002). Web SearchBibTeXDownload |
| 36 | Hypertree Decompositions and Tractable Queries. Georg Gottlob, Nicola Leone, Francesco Scarcello. J. Comput. Syst. Sci. (64): 579-627 (2002). Web SearchBibTeXDownload |
| 35 | Cost-based Query Decompositions. Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello. SEBD 2002, 390-403. Web SearchBibTeX |
| 34 | Computing LOGCFL certificates. Georg Gottlob, Nicola Leone, Francesco Scarcello. Theor. Comput. Sci. (270): 761-777 (2002). Web SearchBibTeXDownload |
| 2001 |
|---|
| 33 | Abduction with Penalization in Logic Programming. Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello. AI*IA (cs.LO/0111010): 123-134 (2001). Web SearchBibTeXDownload |
| 32 | The complexity of acyclic conjunctive queries. Georg Gottlob, Nicola Leone, Francesco Scarcello. J. ACM (48): 431-498 (2001). Web SearchBibTeXDownload |
| 31 | Census Data Repair: a Challenging Application of Disjunctive Logic Programming. Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello. LPAR 2001, 561-578. Web SearchBibTeXDownload |
| 30 | Improving ASP Instantiators by Join-Ordering Methods. Nicola Leone, Simona Perri, Francesco Scarcello. LPNMR 2001, 280-294. Web SearchBibTeXDownload |
| 29 | Hypertree Decompositions: A Survey. Georg Gottlob, Nicola Leone, Francesco Scarcello. MFCS 2001, 37-57. Web SearchBibTeXDownload |
| 28 | Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. Georg Gottlob, Nicola Leone, Francesco Scarcello. SEBD 2001, 147-154. Web SearchBibTeX |
| 27 | Join Ordering Techniques for Knowledge Base Systems. Nicola Leone, Simona Perri, Francesco Scarcello. SEBD 2001, 79-93. Web SearchBibTeX |
| 2000 |
|---|
| 26 | A comparison of structural CSP decomposition methods. Georg Gottlob, Nicola Leone, Francesco Scarcello. Artif. Intell. (124): 243-282 (2000). Web SearchBibTeXDownload |
| 25 | Semantical and computational aspects of Horn approximations. Marco Cadoli, Francesco Scarcello. Artif. Intell. (119): 1-17 (2000). Web SearchBibTeXDownload |
| 1999 |
|---|
| 24 | Propositional lower bounds: Algorithms and complexity. Marco Cadoli, Luigi Palopoli, Francesco Scarcello. Ann. Math. Artif. Intell. (27): 129-148 (1999). Web SearchBibTeXDownload |
| 23 | On Tractable Queries and Constraints. Georg Gottlob, Nicola Leone, Francesco Scarcello. DEXA 1999, 1-15. Web SearchBibTeXDownload |
| 22 | Computing LOGCFL Certificates. Georg Gottlob, Nicola Leone, Francesco Scarcello. ICALP 1999, 361-371. Web SearchBibTeXDownload |
| 21 | A Comparison of Structural CSP Decomposition Methods. Georg Gottlob, Nicola Leone, Francesco Scarcello. IJCAI 1999, 394-399. Web SearchBibTeX |
| 20 | Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. Georg Gottlob, Francesco Scarcello, Martha Sideri. LPNMR 1999, 1-18. Web SearchBibTeXDownload |
| 19 | On the Complexity of Some Inductive Logic Programming Problems. Georg Gottlob, Nicola Leone, Francesco Scarcello. New Generation Comput. (17): 53-75 (1999). Web SearchBibTeXDownload |
| 18 | Hypertree Decompositions and Tractable Queries. Georg Gottlob, Nicola Leone, Francesco Scarcello. SEBD 1999, 275-289. Web SearchBibTeX |
| 1998 |
|---|
| 17 | Hypertree Decompositions and Tractable Queries. Georg Gottlob, Nicola Leone, Francesco Scarcello. CoRR (cs.DB/9812022) (1998). Web SearchBibTeXDownload |
| 16 | The Complexity of Acyclic Conjunctive Queries. Georg Gottlob, Nicola Leone, Francesco Scarcello. FOCS 1998, 706-715. Web SearchBibTeXDownload |
| 15 | Progress Report on the Disjunctive Deductive Database System dlv. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. FQAS 1998, 148-163. Web SearchBibTeXDownload |
| 14 | Propositional Lower Bounds: Generalization and Algorithms. Marco Cadoli, Luigi Palopoli, Francesco Scarcello. JELIA 1998, 355-367. Web SearchBibTeXDownload |
| 13 | The KR System dlv: Progress Report, Comparisons and Benchmarks. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. KR 1998, 406-417. Web SearchBibTeX |
| 1997 |
|---|
| 12 | The Architecture of a Disjunctive Deductive Database System. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. APPIA-GULP-PRODE 1997, 141-152. Web SearchBibTeX |
| 11 | On the Complexity of Some Inductive Logic Programming Problems. Georg Gottlob, Nicola Leone, Francesco Scarcello. ILP 1997, 17-32. Web SearchBibTeXDownload |
| 10 | Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Nicola Leone, Pasquale Rullo, Francesco Scarcello. Inf. Comput. (135): 69-112 (1997). Web SearchBibTeXDownload |
| 9 | DATALOG with Nested Rules. Sergio Greco, Nicola Leone, Francesco Scarcello. LPKR 1997, 52-65. Web SearchBibTeXDownload |
| 8 | A Deductive System for Non-Monotonic Reasoning. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. LPNMR 1997, 364-375. Web SearchBibTeXDownload |
| 7 | The dlv System: Model Generator and Advanced Frontends (system description). Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. WLP 1997. Cited by 10Web SearchBibTeX |
| 1996 |
|---|
| 6 | On the Expressive Power of Ordered Logic. Francesco Buccafurri, Nicola Leone, Francesco Scarcello. AI Commun. (9): 4-13 (1996). Web SearchBibTeXDownload |
| 5 | On the Computation of Disjunctive Stable Models. Nicola Leone, Pasquale Rullo, Francesco Scarcello. DEXA 1996, 654-666. Web SearchBibTeXDownload |
| 4 | Stable Model Checking for Disjunctive Logic Programs. Nicola Leone, Pasquale Rullo, Francesco Scarcello. Logic in Databases 1996, 265-278. Web SearchBibTeXDownload |
| 1995 |
|---|
| 3 | Curbing Theories: Fixpoint Semantics and Complexity Issues. Francesco Scarcello, Nicola Leone, Luigi Palopoli. GULP-PRODE 1995, 545-556. Web SearchBibTeX |
| 2 | Declarative and Fixpoint Characterizations of Disjunctive Stable Models. Nicola Leone, Francesco Scarcello. ILPS 1995, 399-413. Web SearchBibTeX |
| 1993 |
|---|
| 1 | Calcolo del Modello Well-Founded di Programmi Datalog. Francesco Scarcello. GULP 1993, 469-484. Web SearchBibTeX |
