| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antonio Iera, Leonardo Militano, Luca Paolo Romeo, Francesco Scarcello |
Fair Cost Allocation in Cellular-Bluetooth Cooperation Scenarios.  |
IEEE Transactions on Wireless Communications  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
Pure Nash Equilibria: Hard and Easy Games |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
On the complexity of core, kernel, and bargaining set. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Scarcello, Nicola Leone |
On the complexity of regular-grammars with integer attributes. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
On the Complexity of the Core over Coalition Structures. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lucantonio Ghionna, Gianluigi Greco, Francesco Scarcello |
H-DB: a hybrid quantitative-structural sql optimizer. |
CIKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
Structural Tractability of Constraint Optimization. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
On the power of structural decompositions of graph-based representations of constraint problems. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
structural decomposition methods, tree projections, local consistency |
| 1 | Gianluigi Greco, Francesco Scarcello |
Structural Tractability of Enumerating CSP Solutions. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
On the complexity of constrained Nash equilibria in graphical games. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
On the Complexity of Compact Coalitional Games. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
tree projections, computational complexity, hypergraphs |
| 1 | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
Constrained coalitional games: formal framework, properties, and complexity results. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
computational complexity, coalitional games |
| 1 | Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
Tree Projections: Hypergraph Games and Minimality. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Scarcello, Georg Gottlob, Gianluigi Greco |
Uniform Constraint Satisfaction Problems and Database Theory. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Scarcello, Gianluigi Greco, Nicola Leone |
Weighted hypertree decompositions and optimal query plans. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone |
Enhancing DLV instantiator by backjumping techniques. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27 |
| 1 | Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
Infeasibility Certificates and the Complexity of the Core in Coalitional Games. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Francesco Scarcello |
Hypertree Decompositions for Query Optimization. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets |
| 1 | Francesco Scarcello |
Query answering exploiting structural properties. |
SIGMOD Record |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
Pure Nash Equilibria: Hard and Easy Games. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Nicola Leone |
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello |
Hypertree Decompositions: Structure, Algorithms, and Applications. |
WG |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. |
UAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
data integration systems, peer-to-peer systems |
| 1 | Nicola Leone, Francesco Scarcello, V. S. Subrahmanian |
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, nonmonotonic reasoning, optimization problems, Disjunctive logic programming |
| 1 | Gianluigi Greco, Francesco Scarcello |
Constrained Pure Nash Equilibria in Graphical Games. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Nicola Leone, Francesco Scarcello |
On Weighted Hypertree Decompositions. |
SEBD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello |
Event choice datalog: a logic programming language for reasoning in multiple dimensions. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
knowledge representation, logic programming |
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
BackJumping techniques for rules instantiation in the DLV system. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francesco Scarcello, Gianluigi Greco, Nicola Leone |
Weighted Hypertree Decompositions and Optimal Query Plans. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Nicola Leone |
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
Non-Binary Constraints and Optimal Dual-Graph Representations. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello |
Advanced Backjumping Techniques for Rule Instantiations. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
Pure Nash equilibria: hard and easy games. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Computing LOGCFL certificates. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello |
The DLV System for Knowledge Representation and Reasoning |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Francesco Scarcello, Martha Sideri |
Fixed-parameter complexity in AI and nonmonotonic reasoning. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Hypertree Decompositions and Tractable Queries. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello |
Cost-based Query Decompositions. |
SEBD |
2002 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
The complexity of acyclic conjunctive queries. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
LOGCFL, acyclic hypergraph, degree of cyclicity, hinge, join tree, qury-idth, algorithm, parallel algorithm, constraint, CSP, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, bounded treewidth, tree query |
| 1 | Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello |
Abduction with Penalization in Logic Programming |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello |
Census Data Repair: a Challenging Application of Disjunctive Logic Programming. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. |
SEBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
Join Ordering Techniques for Knowledge Base Systems. |
SEBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Hypertree Decompositions: A Survey. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
Abduction with Penalization in Logic Programming. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
Improving ASP Instantiators by Join-Ordering Methods. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
A comparison of structural CSP decomposition methods. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Francesco Scarcello |
Semantical and computational aspects of Horn approximations. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
On the Complexity of Some Inductive Logic Programming Problems. |
New Generation Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Luigi Palopoli, Francesco Scarcello |
Propositional lower bounds: Algorithms and complexity. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
A Comparison of Structural CSP Decomposition Methods. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Computing LOGCFL Certificates. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Hypertree Decompositions and Tractable Queries. |
SEBD |
1999 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Francesco Scarcello, Martha Sideri |
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription |
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
On Tractable Queries and Constraints. |
DEXA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Hypertree Decompositions and Tractable Queries. |
PODS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Hypertree Decompositions and Tractable Queries |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Luigi Palopoli, Francesco Scarcello |
Propositional Lower Bounds: Generalization and Algorithms. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
The KR System dlv: Progress Report, Comparisons and Benchmarks. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
Progress Report on the Disjunctive Deductive Database System dlv. |
FQAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
The Complexity of Acyclic Conjunctive Queries. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
acyclic hypergraph, join tree, LOGCFL, parallel algorithms, computational complexity, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, tree query |
| 1 | Nicola Leone, Pasquale Rullo, Francesco Scarcello |
Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
The Architecture of a Disjunctive Deductive Database System. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
A Deductive System for Non-Monotonic Reasoning. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
On the Complexity of Some Inductive Logic Programming Problems. |
ILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Greco, Nicola Leone, Francesco Scarcello |
DATALOG with Nested Rules. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Francesco Buccafurri, Nicola Leone, Francesco Scarcello |
On the Expressive Power of Ordered Logic. |
AI Commun. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Pasquale Rullo, Francesco Scarcello |
Stable Model Checking for Disjunctive Logic Programs. |
Logic in Databases |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Pasquale Rullo, Francesco Scarcello |
On the Computation of Disjunctive Stable Models. |
DEXA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Scarcello, Nicola Leone, Luigi Palopoli |
Curbing Theories: Fixpoint Semantics and Complexity Issues. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Francesco Scarcello |
Declarative and Fixpoint Characterizations of Disjunctive Stable Models. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francesco Scarcello |
Calcolo del Modello Well-Founded di Programmi Datalog. |
GULP |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")