Francesco Scarcello
Francesco Scarcello
Professor of Computer Science, DIMES, University of Calabria
Verified email at unical.it - Homepage
TitleCited byYear
The DLV system for knowledge representation and reasoning
N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello
ACM Transactions on Computational Logic (TOCL) 7 (3), 499-562, 2006
12252006
A comparison of structural CSP decomposition methods
G Gottlob, N Leone, F Scarcello
Artificial Intelligence 124 (2), 243-282, 2000
4502000
Hypertree decompositions and tractable queries
G Gottlob, N Leone, F Scarcello
Journal of Computer and System Sciences 64 (3), 579-627, 2002
4422002
The KR system dlv: Progress report, comparisons and benchmarks
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
KR 98, 406-417, 1998
2541998
A deductive system for non-monotonic reasoning
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
2381997
The complexity of acyclic conjunctive queries
G Gottlob, N Leone, F Scarcello
Journal of the ACM (JACM) 48 (3), 431-498, 2001
2262001
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
N Leone, P Rullo, F Scarcello
Information and computation 135 (2), 69-112, 1997
2101997
Pure Nash equilibria: Hard and easy games
G Gottlob, G Greco, F Scarcello
Journal of Artificial Intelligence Research 24, 357-406, 2005
2052005
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
G Gottlob, N Leone, F Scarcello
Journal of computer and system sciences 66 (4), 775-808, 2003
1632003
Census data repair: a challenging application of disjunctive logic programming
E Franconi, AL Palma, N Leone, S Perri, F Scarcello
International Conference on Logic for Programming Artificial Intelligence …, 2001
1122001
Hypertree decompositions: A survey
G Gottlob, N Leone, F Scarcello
International Symposium on Mathematical Foundations of Computer Science, 37-57, 2001
892001
Fixed-parameter complexity in AI and nonmonotonic reasoning
G Gottlob, F Scarcello, M Sideri
Artificial Intelligence 138 (1-2), 55-86, 2002
812002
Hypertree decompositions: Structure, algorithms, and applications
G Gottlob, M Grohe, N Musliu, M Samer, F Scarcello
International Workshop on Graph-Theoretic Concepts in Computer Science, 1-15, 2005
762005
The DLV system for knowledge representation and reasoning
N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello
In ACM Transaction on Computational Logic. To Appear, 2005
682005
On the complexity of core, kernel, and bargaining set
G Greco, E Malizia, L Palopoli, F Scarcello
Artificial Intelligence 175 (12-13), 1877-1910, 2011
62*2011
The dlv system: Model generator and application frontends
S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ...
Proceedings of the 12th Workshop on Logic Programming 128137, 1997
621997
Semantical and computational aspects of Horn approximations
M Cadoli
IJCAI, 39-45, 1993
60*1993
On tractable queries and constraints
G Gottlob, N Leone, F Scarcello
International Conference on Database and Expert Systems Applications, 1-15, 1999
541999
Improving ASP instantiators by join-ordering methods
N Leone, S Perri, F Scarcello
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2001
492001
On the complexity of the core over coalition structures
G Greco, E Malizia, L Palopoli, F Scarcello
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
452011
The system can't perform the operation now. Try again later.
Articles 1–20