×

zbMATH — the first resource for mathematics

Scarcello, Francesco

Compute Distance To:
Author ID: scarcello.francesco Recent zbMATH articles by "Scarcello, Francesco"
Published as: Scarcello, F.; Scarcello, Francesco
External Links: ORCID
Documents Indexed: 40 Publications since 1996
Reviewing Activity: 5 Reviews

Publications by Year

Citations contained in zbMATH

34 Publications have been cited 486 times in 332 Documents Cited by Year
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
119
2006
Hypertree decompositions and tractable queries. Zbl 1052.68025
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
52
2002
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
45
2000
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F.
33
2005
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. Zbl 0879.68019
Leone, Nicola; Rullo, Pasquale; Scarcello, Francesco
32
1997
The complexity of acyclic conjunctive queries. Zbl 1323.68250
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
30
2001
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
24
2002
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
21
2003
On the complexity of core, kernel, and bargaining set. Zbl 1233.91018
Greco, Gianluigi; Malizia, Enrico; Palopoli, Luigi; Scarcello, Francesco
11
2011
Census data repair: a challenging application of disjunctive logic programming. Zbl 1275.68045
Franconi, Enrico; Palma, Antonio Laureti; Leone, Nicola; Perri, Simona; Scarcello, Francesco
11
2001
Hypertree decompositions: A survey. Zbl 1001.05087
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
11
2001
Computing LOGCFL certificates. Zbl 0992.68062
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
10
2002
Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516
Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco
8
2005
Semantical and computational aspects of Horn approximations. Zbl 0945.68160
Cadoli, M.; Scarcello, F.
8
2000
Structural tractability of enumerating CSP solutions. Zbl 1310.05151
Greco, Gianluigi; Scarcello, Francesco
7
2013
The complexity of the nucleolus in compact games. Zbl 1348.91073
Greco, Gianluigi; Malizia, Enrico; Palopoli, Luigi; Scarcello, Francesco
6
2014
Non-transferable utility coalitional games via mixed-integer linear constraints. Zbl 1203.91017
Greco, Gianluigi; Malizia, Enrico; Palopoli, Luigi; Scarcello, Francesco
5
2010
Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco
5
2009
Uniform constraint satisfaction problems and database theory. Zbl 1171.68501
Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi
5
2008
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
5
1999
Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems. Zbl 1355.68121
Greco, Gianluigi; Scarcello, Francesco
4
2017
On the power of structural decompositions of graph-based representations of constraint problems. Zbl 1207.68355
Greco, Gianluigi; Scarcello, Francesco
4
2010
Enhancing DLV instantiator by backjumping techniques. Zbl 1138.68019
Perri, Simona; Scarcello, Francesco; Catalano, Gelsomina; Leone, Nicola
4
2007
Abductive logic programs with penalization: semantics, complexity an implementation. Zbl 1093.68020
Perri, Simona; Scarcello, Francesco; Leone, Nicola
4
2005
The power of local consistency in conjunctive queries and constraint satisfaction problems. Zbl 1371.68061
Greco, Gianluigi; Scarcello, Francesco
3
2017
Tree projections and structural decomposition methods: minimality and game-theoretic characterization. Zbl 1279.68277
Greco, Gianluigi; Scarcello, Francesco
3
2014
Tree projections: Hypergraph games and minimality. Zbl 1153.91369
Greco, Gianluigi; Scarcello, Francesco
3
2008
Improving ASP instantiators by join-ordering methods. Zbl 1007.68712
Leone, Nicola; Perri, Simona; Scarcello, Francesco
3
2001
Hard and easy \(k\)-typed compact coalitional games: the knowledge of player types marks the boundary. Zbl 1327.91009
Greco, Gianluigi; Malizia, Enrico; Scarcello, Francesco; Palopoli, Luigi
2
2012
On the complexity of regular-grammars with integer attributes. Zbl 1218.68093
Manna, M.; Scarcello, F.; Leone, N.
2
2011
Weighted hypertree decompositions and optimal query plans. Zbl 1115.68068
Scarcello, Francesco; Greco, Gianluigi; Leone, Nicola
2
2007
Propositional lower bounds: Algorithms and complexity. Zbl 0940.68136
Cadoli, Marco; Palopoli, Luigi; Scarcello, Francesco
2
1999
Mechanisms for fair allocation problems: no-punishment payment rules in verifiable settings. Zbl 1286.68439
Greco, Gianluigi; Scarcello, Francesco
1
2014
On the complexity of constrained Nash equilibria in graphical games. Zbl 1173.91324
Greco, Gianluigi; Scarcello, Francesco
1
2009
Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems. Zbl 1355.68121
Greco, Gianluigi; Scarcello, Francesco
4
2017
The power of local consistency in conjunctive queries and constraint satisfaction problems. Zbl 1371.68061
Greco, Gianluigi; Scarcello, Francesco
3
2017
The complexity of the nucleolus in compact games. Zbl 1348.91073
Greco, Gianluigi; Malizia, Enrico; Palopoli, Luigi; Scarcello, Francesco
6
2014
Tree projections and structural decomposition methods: minimality and game-theoretic characterization. Zbl 1279.68277
Greco, Gianluigi; Scarcello, Francesco
3
2014
Mechanisms for fair allocation problems: no-punishment payment rules in verifiable settings. Zbl 1286.68439
Greco, Gianluigi; Scarcello, Francesco
1
2014
Structural tractability of enumerating CSP solutions. Zbl 1310.05151
Greco, Gianluigi; Scarcello, Francesco
7
2013
Hard and easy \(k\)-typed compact coalitional games: the knowledge of player types marks the boundary. Zbl 1327.91009
Greco, Gianluigi; Malizia, Enrico; Scarcello, Francesco; Palopoli, Luigi
2
2012
On the complexity of core, kernel, and bargaining set. Zbl 1233.91018
Greco, Gianluigi; Malizia, Enrico; Palopoli, Luigi; Scarcello, Francesco
11
2011
On the complexity of regular-grammars with integer attributes. Zbl 1218.68093
Manna, M.; Scarcello, F.; Leone, N.
2
2011
Non-transferable utility coalitional games via mixed-integer linear constraints. Zbl 1203.91017
Greco, Gianluigi; Malizia, Enrico; Palopoli, Luigi; Scarcello, Francesco
5
2010
On the power of structural decompositions of graph-based representations of constraint problems. Zbl 1207.68355
Greco, Gianluigi; Scarcello, Francesco
4
2010
Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco
5
2009
On the complexity of constrained Nash equilibria in graphical games. Zbl 1173.91324
Greco, Gianluigi; Scarcello, Francesco
1
2009
Uniform constraint satisfaction problems and database theory. Zbl 1171.68501
Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi
5
2008
Tree projections: Hypergraph games and minimality. Zbl 1153.91369
Greco, Gianluigi; Scarcello, Francesco
3
2008
Enhancing DLV instantiator by backjumping techniques. Zbl 1138.68019
Perri, Simona; Scarcello, Francesco; Catalano, Gelsomina; Leone, Nicola
4
2007
Weighted hypertree decompositions and optimal query plans. Zbl 1115.68068
Scarcello, Francesco; Greco, Gianluigi; Leone, Nicola
2
2007
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
119
2006
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F.
33
2005
Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516
Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco
8
2005
Abductive logic programs with penalization: semantics, complexity an implementation. Zbl 1093.68020
Perri, Simona; Scarcello, Francesco; Leone, Nicola
4
2005
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
21
2003
Hypertree decompositions and tractable queries. Zbl 1052.68025
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
52
2002
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
24
2002
Computing LOGCFL certificates. Zbl 0992.68062
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
10
2002
The complexity of acyclic conjunctive queries. Zbl 1323.68250
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
30
2001
Census data repair: a challenging application of disjunctive logic programming. Zbl 1275.68045
Franconi, Enrico; Palma, Antonio Laureti; Leone, Nicola; Perri, Simona; Scarcello, Francesco
11
2001
Hypertree decompositions: A survey. Zbl 1001.05087
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
11
2001
Improving ASP instantiators by join-ordering methods. Zbl 1007.68712
Leone, Nicola; Perri, Simona; Scarcello, Francesco
3
2001
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
45
2000
Semantical and computational aspects of Horn approximations. Zbl 0945.68160
Cadoli, M.; Scarcello, F.
8
2000
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
5
1999
Propositional lower bounds: Algorithms and complexity. Zbl 0940.68136
Cadoli, Marco; Palopoli, Luigi; Scarcello, Francesco
2
1999
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. Zbl 0879.68019
Leone, Nicola; Rullo, Pasquale; Scarcello, Francesco
32
1997
all top 5

Cited by 526 Authors

21 Scarcello, Francesco
20 Greco, Gianluigi
20 Leone, Nicola
15 Eiter, Thomas
14 Gottlob, Georg
11 Woltran, Stefan
10 Ricca, Francesco
10 Szeider, Stefan
8 Faber, Wolfgang
8 Gebser, Martin
8 Maratea, Marco
7 Alviano, Mario
7 Lukasiewicz, Thomas
7 Palopoli, Luigi
6 Fink, Michael
6 Ianni, Giovambattista
6 Jonsson, Peter A.
6 Krokhin, Andrei A.
6 Lierler, Yuliya
6 Tompits, Hans
5 Cadoli, Marco
5 Dalmau, Víctor
5 De Cock, Martine
5 Dodaro, Carmine
5 Feng, Qilong
5 Fichte, Johannes Klaus
5 Gelfond, Michael
5 Grohe, Martin
5 Krennwallner, Thomas
5 Schaub, Torsten H.
5 Schockaert, Steven
4 Calimeri, Francesco
4 Durand, Arnaud
4 Garcia, Laurent
4 Gaspers, Serge
4 Giunchiglia, Enrico
4 Lin, Fangzhen
4 Malizia, Enrico
4 Mengel, Stefan
4 Oetsch, Johannes
4 Perri, Simona
4 Redl, Christoph
4 Vermeir, Dirk
4 Wang, Jianxin
3 Adler, Isolde
3 Amendola, Giovanni
3 Angiulli, Fabrizio
3 Arieli, Ofer
3 Barceló, Pablo
3 Ben-Eliyahu-Zohary, Rachel
3 Bertossi, Leopoldo E.
3 Bliem, Bernhard
3 Brandt, Felix
3 Bravo, Loreto
3 Bruynooghe, Maurice
3 Chalkiadakis, Georgios
3 Chen, Hubie
3 Cohen, David A.
3 Denecker, Marc
3 Fischer, Felix
3 Holzer, Markus
3 Janhunen, Tomi
3 Janssen, Jeroen
3 Kaminski, Roland
3 Lee, Joohyung
3 Lefèvre, Claire
3 Lifschitz, Vladimir
3 Manna, Marco
3 Pfeifer, Gerald
3 Pührer, Jörg
3 Schüller, Peter
3 Stéphan, Igor
3 Straccia, Umberto
3 Truszczyński, Mirosław
3 Vardi, Moshe Y.
3 Wang, Kewen
3 You, Jia-Huai
2 Analyti, Anastasia
2 Antoniou, Grigoris
2 Apt, Krzysztof Rafal
2 Baral, Chitta R.
2 Béatrix, Christopher
2 Beck, Harald
2 Benedikt, Michael A.
2 Bodlaender, Hans L.
2 Bogaerts, Bart
2 Bonzon, Elise
2 Bourhis, Pierre
2 Bykova, Valentina Vladimirovna
2 Chen, Jian-er
2 Cooper, Martin C.
2 Cozza, Susanna
2 Creignou, Nadia
2 Fandinno, Jorge
2 Fassetti, Fabio
2 Fellows, Michael Ralph
2 Fiorentini, Camillo
2 Flum, Jörg
2 Friedrich, Gerhard E.
2 Gabarró, Joaquim
...and 426 more Authors
all top 5

Cited in 49 Serials

62 Artificial Intelligence
50 Theory and Practice of Logic Programming
29 Journal of Computer and System Sciences
24 Theoretical Computer Science
21 Annals of Mathematics and Artificial Intelligence
12 Theory of Computing Systems
9 Constraints
6 Information and Computation
6 International Journal of Approximate Reasoning
5 Information Processing Letters
5 SIAM Journal on Computing
3 Journal of Automated Reasoning
3 ACM Transactions on Computational Logic
3 Journal of Applied Logic
2 Discrete Applied Mathematics
2 Fuzzy Sets and Systems
2 Studia Logica
2 Operations Research Letters
2 Algorithmica
2 Games and Economic Behavior
2 Journal of Combinatorial Optimization
2 Journal of Discrete Algorithms
2 Logical Methods in Computer Science
1 Acta Informatica
1 Communications in Mathematical Physics
1 Applied Mathematics and Computation
1 Journal of Combinatorial Theory. Series B
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 European Journal of Combinatorics
1 Insurance Mathematics & Economics
1 Journal of Computer Science and Technology
1 Machine Learning
1 The Annals of Applied Probability
1 European Journal of Operational Research
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 The Journal of Artificial Intelligence Research (JAIR)
1 Mathematical Problems in Engineering
1 RAIRO. Theoretical Informatics and Applications
1 RAIRO. Operations Research
1 Games
1 ISRN Discrete Mathematics
1 Frontiers of Computer Science
1 Computer Science Review
1 ACM Transactions on Computation Theory
1 Game Theory
1 Journal of Siberian Federal University. Mathematics & Physics
1 Prikladnaya Diskretnaya Matematika

Citations by Year