Calcolo del Modello Well-Founded di Programmi Datalog. - Francesco Scarcello (GULP, 1993)

Curbing Theories: Fixpoint Semantics and Complexity Issues. - Francesco Scarcello; Nicola Leone; Luigi Palopoli 001 (GULP-PRODE, 1995)

Declarative and Fixpoint Characterizations of Disjunctive Stable Models. - Nicola Leone; Francesco Scarcello (ILPS, 1995)

On the Computation of Disjunctive Stable Models. - Nicola Leone; Pasquale Rullo; Francesco Scarcello (DEXA, 1996)

Stable Model Checking for Disjunctive Logic Programs. - Nicola Leone; Pasquale Rullo; Francesco Scarcello (Logic in Databases, 1996)

On the Expressive Power of Ordered Logic. - Francesco Buccafurri; Nicola Leone; Francesco Scarcello (AI Commun., 1996)

The Architecture of a Disjunctive Deductive Database System. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (APPIA-GULP-PRODE, 1997)

DATALOG with Nested Rules. - Sergio Greco; Nicola Leone; Francesco Scarcello (LPKR, 1997)

A Deductive System for Non-Monotonic Reasoning. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (LPNMR, 1997)

The dlv System: Model Generator and Advanced Frontends (system description). - Simona Citrigno; Thomas Eiter; Wolfgang Faber 001; Georg Gottlob; Christoph Koch 001; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (WLP, 1997)

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. - Nicola Leone; Pasquale Rullo; Francesco Scarcello (Inf. Comput., 1997)

Progress Report on the Disjunctive Deductive Database System dlv. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (FQAS, 1998)

Propositional Lower Bounds: Generalization and Algorithms. - Marco Cadoli; Luigi Palopoli 001; Francesco Scarcello (JELIA, 1998)

The KR System dlv: Progress Report, Comparisons and Benchmarks. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (KR, 1998)

On Tractable Queries and Constraints. - Georg Gottlob; Nicola Leone; Francesco Scarcello (DEXA, 1999)

Propositional lower bounds: Algorithms and complexity. - Marco Cadoli; Luigi Palopoli 001; Francesco Scarcello (Ann. Math. Artif. Intell., 1999)

On the Complexity of Some Inductive Logic Programming Problems. - Georg Gottlob; Nicola Leone; Francesco Scarcello (New Gener. Comput., 1999)

Semantical and computational aspects of Horn approximations. - Marco Cadoli; Francesco Scarcello (Artif. Intell., 2000)

A comparison of structural CSP decomposition methods. - Georg Gottlob; Nicola Leone; Francesco Scarcello (Artif. Intell., 2000)

Abduction with Penalization in Logic Programming. - Nicola Leone; Simona Perri; Francesco Scarcello (AI*IA, 2001)

Census Data Repair: a Challenging Application of Disjunctive Logic Programming. - Enrico Franconi; Antonio Laureti Palma; Nicola Leone; Simona Perri; Francesco Scarcello (LPAR, 2001)

Improving ASP Instantiators by Join-Ordering Methods. - Nicola Leone; Simona Perri; Francesco Scarcello (LPNMR, 2001)

Hypertree Decompositions: A Survey. - Georg Gottlob; Nicola Leone; Francesco Scarcello (MFCS, 2001)

Join Ordering Techniques for Knowledge Base Systems. - Nicola Leone; Simona Perri; Francesco Scarcello (SEBD, 2001)

Abduction with Penalization in Logic Programming - Giovambattista Ianni; Nicola Leone; Simona Perri; Francesco Scarcello (CoRR, 2001)

The complexity of acyclic conjunctive queries. - Georg Gottlob; Nicola Leone; Francesco Scarcello (J. ACM, 2001)

Cost-based Query Decompositions. - Nicola Leone; Alfredo Mazzitelli; Francesco Scarcello (SEBD, 2002)

Fixed-parameter complexity in AI and nonmonotonic reasoning. - Georg Gottlob; Francesco Scarcello; Martha Sideri (Artif. Intell., 2002)

Hypertree Decompositions and Tractable Queries. - Georg Gottlob; Nicola Leone; Francesco Scarcello (J. Comput. Syst. Sci., 2002)

Computing LOGCFL certificates. - Georg Gottlob; Nicola Leone; Francesco Scarcello (Theor. Comput. Sci., 2002)

Advanced Backjumping Techniques for Rule Instantiations. - Simona Perri; Francesco Scarcello (APPIA-GULP-PRODE, 2003)

Non-Binary Constraints and Optimal Dual-Graph Representations. - Gianluigi Greco; Francesco Scarcello (IJCAI, 2003)

Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. - Georg Gottlob; Nicola Leone; Francesco Scarcello (J. Comput. Syst. Sci., 2003)

Constrained Pure Nash Equilibria in Graphical Games. - Gianluigi Greco; Francesco Scarcello (ECAI, 2004)

BackJumping techniques for rules instantiation in the DLV system. - Nicola Leone; Simona Perri; Francesco Scarcello (NMR, 2004)

Event choice datalog: a logic programming language for reasoning in multiple dimensions. - Gianluigi Greco; Antonella Guzzo; Domenico Saccà; Francesco Scarcello (PPDP, 2004)

On Weighted Hypertree Decompositions. - Gianluigi Greco; Nicola Leone; Francesco Scarcello (SEBD, 2004)

Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. - Nicola Leone; Francesco Scarcello; V. S. Subrahmanian (IEEE Trans. Knowl. Data Eng., 2004)

On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems. - Gianluigi Greco; Francesco Scarcello (CIKM, 2005)

The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (IJCAI, 2005)

Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. - Gianluigi Greco; Francesco Scarcello (UAI, 2005)

Hypertree Decompositions: Structure, Algorithms, and Applications. - Georg Gottlob; Martin Grohe; Nysret Musliu; Marko Samer; Francesco Scarcello (WG, 2005)

Pure Nash Equilibria: Hard and Easy Games. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (J. Artif. Intell. Res., 2005)

Query answering exploiting structural properties. - Francesco Scarcello (SIGMOD Rec., 2005)

Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. - Simona Perri; Francesco Scarcello; Nicola Leone (Theory Pract. Log. Program., 2005)

The DLV system for knowledge representation and reasoning. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Thomas Eiter; Georg Gottlob; Simona Perri; Francesco Scarcello (ACM Trans. Comput. Log., 2006)

Hypertree Decompositions for Query Optimization. - Lucantonio Ghionna; Luigi Granata; Gianluigi Greco; Francesco Scarcello (ICDE, 2007)

Infeasibility Certificates and the Complexity of the Core in Coalitional Games. - Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (IJCAI, 2007)

Enhancing DLV instantiator by backjumping techniques. - Simona Perri; Francesco Scarcello; Gelsomina Catalano; Nicola Leone (Ann. Math. Artif. Intell., 2007)

Weighted hypertree decompositions and optimal query plans. - Francesco Scarcello; Gianluigi Greco; Nicola Leone (J. Comput. Syst. Sci., 2007)

Uniform Constraint Satisfaction Problems and Database Theory. - Francesco Scarcello; Georg Gottlob; Gianluigi Greco (Complexity of Constraints, 2008)

Tree Projections: Hypergraph Games and Minimality. - Gianluigi Greco; Francesco Scarcello (ICALP (1), 2008)

On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games - Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (CoRR, 2008)

Constrained coalitional games: formal framework, properties, and complexity results. - Gianluigi Greco; Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (AAMAS (2), 2009)

Tree Projections: Game Characterization and Computational Aspects. - Georg Gottlob; Gianluigi Greco; Zoltán Miklós 001; Francesco Scarcello; Thomas Schwentick (Graph Theory, Computational Intelligence and Thought, 2009)

Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (ICALP (2), 2009)

On the Complexity of Compact Coalitional Games. - Gianluigi Greco; Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (IJCAI, 2009)

On the complexity of constrained Nash equilibria in graphical games. - Gianluigi Greco; Francesco Scarcello (Theor. Comput. Sci., 2009)

The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. - Gianluigi Greco; Francesco Scarcello (PODS, 2010)

On the power of structural decompositions of graph-based representations of constraint problems. - Gianluigi Greco; Francesco Scarcello (Artif. Intell., 2010)

On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions - Gianluigi Greco; Francesco Scarcello (CoRR, 2010)

Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. - Gianluigi Greco; Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (J. Artif. Intell. Res., 2010)

H-DB: a hybrid quantitative-structural sql optimizer. - Lucantonio Ghionna; Gianluigi Greco; Francesco Scarcello (CIKM, 2011)

Structural Tractability of Constraint Optimization. - Gianluigi Greco; Francesco Scarcello (CP, 2011)

On the Complexity of the Core over Coalition Structures. - Gianluigi Greco; Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (IJCAI, 2011)

On the Power of Enforcing Local Consistency. - Gianluigi Greco; Francesco Scarcello (SEBD, 2011)

On the complexity of core, kernel, and bargaining set. - Gianluigi Greco; Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (Artif. Intell., 2011)

On the complexity of regular-grammars with integer attributes. - Marco Manna; Francesco Scarcello; Nicola Leone (J. Comput. Syst. Sci., 2011)

Fair Cost Allocation in Cellular-Bluetooth Cooperation Scenarios. - Antonio Iera; Leonardo Militano; Luca Paolo Romeo; Francesco Scarcello (IEEE Trans. Wirel. Commun., 2011)

Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. - Gianluigi Greco; Enrico Malizia; Francesco Scarcello; Luigi Palopoli 001 (ECAI, 2012)

The Power of Tree Projections: When Local Consistency Answers Conjunctive Queries - Gianluigi Greco; Francesco Scarcello (CoRR, 2012)

Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Fully Verifiable Settings - Gianluigi Greco; Francesco Scarcello (CoRR, 2012)

Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability. - Gianluigi Greco; Francesco Scarcello (IJCAI, 2013)

Structural Tractability of ORDER BY Queries. - Gianluigi Greco; Francesco Scarcello (SEBD, 2013)

A fair cooperative content-sharing service. - Leonardo Militano; Antonio Iera; Francesco Scarcello (Comput. Networks, 2013)

Structural tractability of enumerating CSP solutions. - Gianluigi Greco; Francesco Scarcello (Constraints An Int. J., 2013)

Fair division rules for funds distribution: The case of the Italian Research Assessment Program (VQR 2004-2010). - Gianluigi Greco; Francesco Scarcello (Intelligenza Artificiale, 2013)

Treewidth and Hypertree Width. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (Tractability, 2014)

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability. - Gianluigi Greco; Francesco Scarcello (SEBD, 2014)

Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings. - Gianluigi Greco; Francesco Scarcello (J. Artif. Intell. Res., 2014)

Tree projections and structural decomposition methods: Minimality and game-theoretic characterization. - Gianluigi Greco; Francesco Scarcello (Theor. Comput. Sci., 2014)

A New Distributed Application and Network Layer Protocol for VoIP in Mobile Ad Hoc Networks. - Floriano De Rango; Peppino Fazio; Francesco Scarcello; Francesco Conte (IEEE Trans. Mob. Comput., 2014)

The Complexity of the Nucleolus in Compact Games. - Gianluigi Greco; Enrico Malizia; Luigi Palopoli 001; Francesco Scarcello (ACM Trans. Comput. Theory, 2014)

Energy-Saving Analysis in Cellular-WLAN Cooperative Scenarios. - Leonardo Militano; Antonio Iera; Antonella Molinaro; Francesco Scarcello (IEEE Trans. Veh. Technol., 2014)

Structural Tractability of Shapley and Banzhaf Values in Allocation Games. - Gianluigi Greco; Francesco Lupia; Francesco Scarcello (IJCAI, 2015)

Hypertree Decompositions: Questions and Answers. - Georg Gottlob; Gianluigi Greco; Nicola Leone; Francesco Scarcello (PODS, 2016)

Towards a Fair VQR with the Aid of Database (and Game) Theory. - Gianluigi Greco; Francesco Lupia; Francesco Scarcello (SEBD, 2016)

Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries. - Gianluigi Greco; Francesco Lupia; Francesco Scarcello (SEBD, 2016)

The Tractability of the Shapley Value over Bounded Treewidth Matching Games. - Gianluigi Greco; Francesco Lupia; Francesco Scarcello (IJCAI, 2017)

Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems. - Gianluigi Greco; Francesco Scarcello (Inf. Comput., 2017)

The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems. - Gianluigi Greco; Francesco Scarcello (SIAM J. Comput., 2017)

Structural Decomposition Methods: Key Notions and Database Applications. - Gianluigi Greco; Nicola Leone; Francesco Scarcello; Giorgio Terracina (A Comprehensive Guide Through the Italian Database Research, 2018)

From Hypertree Width to Submodular Width and Data-dependent Structural Decompositions. - Francesco Scarcello (SEBD, 2018)

Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (J. Comput. Syst. Sci., 2018)

Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program. - Francesco Lupia; Angelo Mendicelli; Andrea Ribichini; Francesco Scarcello; Marco Schaerf (J. Exp. Theor. Artif. Intell., 2018)

On the Shapley value and its application to the Italian VQR research assessment exercise. - Camil Demetrescu; Francesco Lupia; Angelo Mendicelli; Andrea Ribichini; Francesco Scarcello; Marco Schaerf (J. Informetrics, 2019)

Artificial Intelligence. - Francesco Scarcello (Encyclopedia of Bioinformatics and Computational Biology (1), 2019)

The Complexity of Computing Maximin Share Allocations on Graphs. - Gianluigi Greco; Francesco Scarcello (AAAI, 2020)

Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value. - Gianluigi Greco; Francesco Lupia; Francesco Scarcello (Artif. Intell., 2020)

Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence. - Mario Alviano; Gianluigi Greco; Francesco Scarcello (Intelligenza Artificiale, 2020)

Panel on "Past and Future of Computer Science Theory" (Discussion Paper). - Ronald Fagin; Georg Gottlob; Christos H. Papadimitriou; Moshe Y. Vardi; Giorgio Ausiello; Maurizio Lenzerini; Domenico Saccà; Luigi Palopoli 001; Francesco Scarcello (SEBD, 2021)

LieToMe: An LSTM-Based Method for Deception Detection by Hand Movements. - Danilo Avola; Luigi Cinque; Maria De Marsico; Angelo Di Mambro; Alessio Fagioli 001; Gian Luca Foresti; Romeo Lanzino; Francesco Scarcello (ICIAP (1), 2023)

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability. - Hubie Chen; Gianluigi Greco; Stefan Mengel; Francesco Scarcello (CoRR, 2023)

A Novel Transformer-Based IMU Self-Calibration Approach through On-Board RGB Camera for UAV Flight Stabilization. - Danilo Avola; Luigi Cinque; Gian Luca Foresti; Romeo Lanzino; Marco Raoul Marini; Alessio Mecca; Francesco Scarcello (Sensors, 2023)

Maxileximin Envy Allocations and Connected Goods. - Gianluigi Greco; Francesco Scarcello (AAAI, 2024)

Neural Transcoding Vision Transformers for EEG-to-fMRI Synthesis. - Romeo Lanzino; Federico Fontana; Luigi Cinque; Francesco Scarcello; Atsuto Maki (ECCV Workshops (20), 2024)

Multi-Stream 1D CNN for EEG Motor Imagery Classification of Limbs Activation. - Danilo Avola; Luigi Cinque; Angelo Di Mambro; Romeo Lanzino; Daniele Pannone; Francesco Scarcello (IEEE Access, 2024)

NT-ViT: Neural Transcoding Vision Transformers for EEG-to-fMRI Synthesis. - Romeo Lanzino; Federico Fontana; Luigi Cinque; Francesco Scarcello; Atsuto Maki (CoRR, 2024)

Distilled Gradual Pruning With Pruned Fine-Tuning. - Federico Fontana; Romeo Lanzino; Marco Raoul Marini; Danilo Avola; Luigi Cinque; Francesco Scarcello; Gian Luca Foresti (IEEE Trans. Artif. Intell., 2024)

SATEER: Subject-Aware Transformer for EEG-Based Emotion Recognition. - Romeo Lanzino; Danilo Avola; Federico Fontana; Luigi Cinque; Francesco Scarcello; Gian Luca Foresti (Int. J. Neural Syst., 2025)