Francesco Scarcello

138 papers A* 21A 7B 9C 4Journal 61Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	LUMI Agents: A Fuzzy BDI Framework for Intelligent Agents. Green-Aware AI@ECAI Muhammad Asaf, Paola Guarasci, Domenico Laurito, Davide Mario Longo, Angelo Mendicelli, Francesco Scarcello
2025	J	`jnl`	SATEER: Subject-Aware Transformer for EEG-Based Emotion Recognition. Int. J. Neural Syst. Romeo Lanzino, Danilo Avola, Federico Fontana, Luigi Cinque, Francesco Scarcello, Gian Luca Foresti
2024	J	`jnl`	Distilled Gradual Pruning With Pruned Fine-Tuning. IEEE Trans. Artif. Intell. Federico Fontana, Romeo Lanzino, Marco Raoul Marini, Danilo Avola, Luigi Cinque, Francesco Scarcello, Gian Luca Foresti
2024	A*	`conf`	Maxileximin Envy Allocations and Connected Goods. AAAI Gianluigi Greco, Francesco Scarcello
2024	J	`jnl`	Multi-Stream 1D CNN for EEG Motor Imagery Classification of Limbs Activation. IEEE Access Danilo Avola, Luigi Cinque, Angelo Di Mambro, Romeo Lanzino, Daniele Pannone, Francesco Scarcello
2024	J	`jnl`	NT-ViT: Neural Transcoding Vision Transformers for EEG-to-fMRI Synthesis. CoRR Romeo Lanzino, Federico Fontana, Luigi Cinque, Francesco Scarcello, Atsuto Maki
2024	—	`conf`	Neural Transcoding Vision Transformers for EEG-to-fMRI Synthesis. ECCV Workshops (20) Romeo Lanzino, Federico Fontana, Luigi Cinque, Francesco Scarcello, Atsuto Maki
2023	J	`jnl`	A Novel Transformer-Based IMU Self-Calibration Approach through On-Board RGB Camera for UAV Flight Stabilization. Sensors Danilo Avola, Luigi Cinque, Gian Luca Foresti, Romeo Lanzino, Marco Raoul Marini, Alessio Mecca, Francesco Scarcello
2023	J	`jnl`	Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability. CoRR Hubie Chen, Gianluigi Greco, Stefan Mengel, Francesco Scarcello
2023	—	`conf`	LieToMe: An LSTM-Based Method for Deception Detection by Hand Movements. ICIAP (1) Danilo Avola, Luigi Cinque, Maria De Marsico, Angelo Di Mambro, Alessio Fagioli, Gian Luca Foresti, Romeo Lanzino, Francesco Scarcello
2021	—	`conf`	Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello
2020	J	`jnl`	Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value. Artif. Intell. Gianluigi Greco, Francesco Lupia, Francesco Scarcello
2020	J	`jnl`	Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence. Intelligenza Artificiale Mario Alviano, Gianluigi Greco, Francesco Scarcello
2020	A*	`conf`	The Complexity of Computing Maximin Share Allocations on Graphs. AAAI Gianluigi Greco, Francesco Scarcello
2019	—	`ed.`	AIIA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings AIIA Mario Alviano, Gianluigi Greco, Francesco Scarcello
2019	—	`ch.`	Artificial Intelligence. Encyclopedia of Bioinformatics and Computational Biology (1) Francesco Scarcello
2019	—	`ed.`	Discussion and Doctoral Consortium papers of AIIA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019. DDC@AIIA Mario Alviano, Gianluigi Greco, Marco Maratea, Francesco Scarcello
2019	J	`jnl`	On the Shapley value and its application to the Italian VQR research assessment exercise. J. Informetrics Camil Demetrescu, Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
2018	J	`jnl`	Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program. J. Exp. Theor. Artif. Intell. Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
2018	—	`conf`	From Hypertree Width to Submodular Width and Data-dependent Structural Decompositions. SEBD Francesco Scarcello
2018	—	`ch.`	Structural Decomposition Methods: Key Notions and Database Applications. A Comprehensive Guide Through the Italian Database Research Gianluigi Greco, Nicola Leone, Francesco Scarcello, Giorgio Terracina
2018	J	`jnl`	Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms. J. Comput. Syst. Sci. Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2017	J	`jnl`	Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program. CoRR Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
2017	J	`jnl`	Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems. Inf. Comput. Gianluigi Greco, Francesco Scarcello
2017	J	`jnl`	The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems. SIAM J. Comput. Gianluigi Greco, Francesco Scarcello
2017	A*	`conf`	The Tractability of the Shapley Value over Bounded Treewidth Matching Games. IJCAI Gianluigi Greco, Francesco Lupia, Francesco Scarcello
2017	J	`jnl`	Tree Projections and Constraint Optimization Problems: Fixed-Parameter Tractability and Parallel Algorithms. CoRR Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2016	—	`conf`	Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program. RCRA@AI*IA Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
2016	J	`jnl`	Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries and Constraint Satisfaction Problems. CoRR Gianluigi Greco, Francesco Scarcello
2016	—	`conf`	Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries. SEBD Gianluigi Greco, Francesco Lupia, Francesco Scarcello
2016	A*	`conf`	Hypertree Decompositions: Questions and Answers. PODS Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello
2016	—	`conf`	Towards a Fair VQR with the Aid of Database (and Game) Theory. SEBD Gianluigi Greco, Francesco Lupia, Francesco Scarcello
2015	A*	`conf`	Structural Tractability of Shapley and Banzhaf Values in Allocation Games. IJCAI Gianluigi Greco, Francesco Lupia, Francesco Scarcello
2014	J	`jnl`	A New Distributed Application and Network Layer Protocol for VoIP in Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. Floriano De Rango, Peppino Fazio, Francesco Scarcello, Francesco Conte
2014	—	`conf`	Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability. SEBD Gianluigi Greco, Francesco Scarcello
2014	A*	`conf`	Counting solutions to conjunctive queries: structural and hybrid tractability. PODS Gianluigi Greco, Francesco Scarcello
2014	J	`jnl`	Energy-Saving Analysis in Cellular-WLAN Cooperative Scenarios. IEEE Trans. Veh. Technol. Leonardo Militano, Antonio Iera, Antonella Molinaro, Francesco Scarcello
2014	J	`jnl`	Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings. J. Artif. Intell. Res. Gianluigi Greco, Francesco Scarcello
2014	J	`jnl`	Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. CoRR Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2014	J	`jnl`	The Complexity of the Nucleolus in Compact Games. ACM Trans. Comput. Theory Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2014	J	`jnl`	Tree projections and structural decomposition methods: Minimality and game-theoretic characterization. Theor. Comput. Sci. Gianluigi Greco, Francesco Scarcello
2014	—	`ch.`	Treewidth and Hypertree Width. Tractability Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2013	J	`jnl`	A fair cooperative content-sharing service. Comput. Networks Leonardo Militano, Antonio Iera, Francesco Scarcello
2013	A*	`conf`	Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability. IJCAI Gianluigi Greco, Francesco Scarcello
2013	J	`jnl`	Fair division rules for funds distribution: The case of the Italian Research Assessment Program (VQR 2004-2010). Intelligenza Artificiale Gianluigi Greco, Francesco Scarcello
2013	—	`conf`	Structural Tractability of ORDER BY Queries. SEBD Gianluigi Greco, Francesco Scarcello
2013	J	`jnl`	Structural tractability of enumerating CSP solutions. Constraints An Int. J. Gianluigi Greco, Francesco Scarcello
2012	J	`jnl`	Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria CoRR Gianluigi Greco, Francesco Scarcello
2012	A	`conf`	Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. ECAI Gianluigi Greco, Enrico Malizia, Francesco Scarcello, Luigi Palopoli
2012	J	`jnl`	Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Fully Verifiable Settings CoRR Gianluigi Greco, Francesco Scarcello
2012	J	`jnl`	The Power of Tree Projections: When Local Consistency Answers Conjunctive Queries CoRR Gianluigi Greco, Francesco Scarcello
2012	J	`jnl`	Tractable Optimization Problems through Hypergraph-Based Structural Restrictions CoRR Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2012	J	`jnl`	Tree Projections and Structural Decomposition Methods: Minimality and Game-Theoretic Characterization CoRR Gianluigi Greco, Francesco Scarcello
2011	J	`jnl`	Fair Cost Allocation in Cellular-Bluetooth Cooperation Scenarios. IEEE Trans. Wirel. Commun. Antonio Iera, Leonardo Militano, Luca Paolo Romeo, Francesco Scarcello
2011	A	`conf`	H-DB: a hybrid quantitative-structural sql optimizer. CIKM Lucantonio Ghionna, Gianluigi Greco, Francesco Scarcello
2011	A*	`conf`	On the Complexity of the Core over Coalition Structures. IJCAI Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2011	—	`conf`	On the Power of Enforcing Local Consistency. SEBD Gianluigi Greco, Francesco Scarcello
2011	J	`jnl`	On the complexity of core, kernel, and bargaining set. Artif. Intell. Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2011	J	`jnl`	On the complexity of regular-grammars with integer attributes. J. Comput. Syst. Sci. Marco Manna, Francesco Scarcello, Nicola Leone
2011	J	`jnl`	Pure Nash Equilibria: Hard and Easy Games CoRR Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2011	A	`conf`	Structural Tractability of Constraint Optimization. CP Gianluigi Greco, Francesco Scarcello
2010	J	`jnl`	Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. J. Artif. Intell. Res. Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2010	J	`jnl`	On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions CoRR Gianluigi Greco, Francesco Scarcello
2010	J	`jnl`	On the power of structural decompositions of graph-based representations of constraint problems. Artif. Intell. Gianluigi Greco, Francesco Scarcello
2010	A	`conf`	Structural Tractability of Enumerating CSP Solutions. CP Gianluigi Greco, Francesco Scarcello
2010	A*	`conf`	The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. PODS Gianluigi Greco, Francesco Scarcello
2009	—	`conf`	Constrained coalitional games: formal framework, properties, and complexity results. AAMAS (2) Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2009	A*	`conf`	On the Complexity of Compact Coalitional Games. IJCAI Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2009	J	`jnl`	On the complexity of constrained Nash equilibria in graphical games. Theor. Comput. Sci. Gianluigi Greco, Francesco Scarcello
2009	—	`conf`	Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. ICALP (2) Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2009	—	`conf`	Tree Projections: Game Characterization and Computational Aspects. Graph Theory, Computational Intelligence and Thought Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello, Thomas Schwentick
2008	J	`jnl`	On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games CoRR Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2008	—	`conf`	Tree Projections: Hypergraph Games and Minimality. ICALP (1) Gianluigi Greco, Francesco Scarcello
2008	—	`conf`	Uniform Constraint Satisfaction Problems and Database Theory. Complexity of Constraints Francesco Scarcello, Georg Gottlob, Gianluigi Greco
2007	J	`jnl`	Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell. Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone
2007	A*	`conf`	Hypertree Decompositions for Query Optimization. ICDE Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Francesco Scarcello
2007	A*	`conf`	Infeasibility Certificates and the Complexity of the Core in Coalitional Games. IJCAI Enrico Malizia, Luigi Palopoli, Francesco Scarcello
2007	J	`jnl`	Weighted hypertree decompositions and optimal query plans. J. Comput. Syst. Sci. Francesco Scarcello, Gianluigi Greco, Nicola Leone
2006	J	`jnl`	The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2005	J	`jnl`	Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Theory Pract. Log. Program. Simona Perri, Francesco Scarcello, Nicola Leone
2005	A	`conf`	Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. UAI Gianluigi Greco, Francesco Scarcello
2005	B	`conf`	Hypertree Decompositions: Structure, Algorithms, and Applications. WG Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello
2005	A	`conf`	On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems. CIKM Gianluigi Greco, Francesco Scarcello
2005	J	`jnl`	Pure Nash Equilibria: Hard and Easy Games. J. Artif. Intell. Res. Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2005	J	`jnl`	Query answering exploiting structural properties. SIGMOD Rec. Francesco Scarcello
2005	A*	`conf`	The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. IJCAI Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2004	—	`conf`	BackJumping techniques for rules instantiation in the DLV system. NMR Nicola Leone, Simona Perri, Francesco Scarcello
2004	A	`conf`	Constrained Pure Nash Equilibria in Graphical Games. ECAI Gianluigi Greco, Francesco Scarcello
2004	C	`conf`	Event choice datalog: a logic programming language for reasoning in multiple dimensions. PPDP Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello
2004	—	`conf`	On Weighted Hypertree Decompositions. SEBD Gianluigi Greco, Nicola Leone, Francesco Scarcello
2004	J	`jnl`	Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. IEEE Trans. Knowl. Data Eng. Nicola Leone, Francesco Scarcello, V. S. Subrahmanian
2004	A*	`conf`	Weighted Hypertree Decompositions and Optimal Query Plans. PODS Francesco Scarcello, Gianluigi Greco, Nicola Leone
2003	J	`jnl`	Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation CoRR Simona Perri, Francesco Scarcello, Nicola Leone
2003	—	`conf`	Advanced Backjumping Techniques for Rule Instantiations. APPIA-GULP-PRODE Simona Perri, Francesco Scarcello
2003	A*	`conf`	Non-Binary Constraints and Optimal Dual-Graph Representations. IJCAI Gianluigi Greco, Francesco Scarcello
2003	B	`conf`	Pure Nash equilibria: hard and easy games. TARK Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2003	J	`jnl`	Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci. Georg Gottlob, Nicola Leone, Francesco Scarcello
2002	J	`jnl`	Computing LOGCFL certificates. Theor. Comput. Sci. Georg Gottlob, Nicola Leone, Francesco Scarcello
2002	—	`conf`	Cost-based Query Decompositions. SEBD Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello
2002	J	`jnl`	Fixed-parameter complexity in AI and nonmonotonic reasoning. Artif. Intell. Georg Gottlob, Francesco Scarcello, Martha Sideri
2002	J	`jnl`	Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. Georg Gottlob, Nicola Leone, Francesco Scarcello
2002	J	`jnl`	The DLV System for Knowledge Representation and Reasoning CoRR Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2001	J	`jnl`	Abduction with Penalization in Logic Programming CoRR Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello
2001	—	`conf`	Abduction with Penalization in Logic Programming. AI*IA Nicola Leone, Simona Perri, Francesco Scarcello
2001	B	`conf`	Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello
2001	B	`conf`	Hypertree Decompositions: A Survey. MFCS Georg Gottlob, Nicola Leone, Francesco Scarcello
2001	B	`conf`	Improving ASP Instantiators by Join-Ordering Methods. LPNMR Nicola Leone, Simona Perri, Francesco Scarcello
2001	—	`conf`	Join Ordering Techniques for Knowledge Base Systems. SEBD Nicola Leone, Simona Perri, Francesco Scarcello
2001	A*	`conf`	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS Georg Gottlob, Nicola Leone, Francesco Scarcello
2001	—	`conf`	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD Georg Gottlob, Nicola Leone, Francesco Scarcello
2001	J	`jnl`	The complexity of acyclic conjunctive queries. J. ACM Georg Gottlob, Nicola Leone, Francesco Scarcello
2000	J	`jnl`	A comparison of structural CSP decomposition methods. Artif. Intell. Georg Gottlob, Nicola Leone, Francesco Scarcello
2000	J	`jnl`	Semantical and computational aspects of Horn approximations. Artif. Intell. Marco Cadoli, Francesco Scarcello
1999	A*	`conf`	A Comparison of Structural CSP Decomposition Methods. IJCAI Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	A*	`conf`	Computing LOGCFL Certificates. ICALP Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	B	`conf`	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. LPNMR Georg Gottlob, Francesco Scarcello, Martha Sideri
1999	A*	`conf`	Hypertree Decompositions and Tractable Queries. PODS Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	—	`conf`	Hypertree Decompositions and Tractable Queries. SEBD Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	C	`conf`	On Tractable Queries and Constraints. DEXA Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	J	`jnl`	On the Complexity of Some Inductive Logic Programming Problems. New Gener. Comput. Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	J	`jnl`	Propositional lower bounds: Algorithms and complexity. Ann. Math. Artif. Intell. Marco Cadoli, Luigi Palopoli, Francesco Scarcello
1998	J	`jnl`	Hypertree Decompositions and Tractable Queries CoRR Georg Gottlob, Nicola Leone, Francesco Scarcello
1998	C	`conf`	Progress Report on the Disjunctive Deductive Database System FQAS Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1998	B	`conf`	Propositional Lower Bounds: Generalization and Algorithms. JELIA Marco Cadoli, Luigi Palopoli, Francesco Scarcello
1998	A*	`conf`	The Complexity of Acyclic Conjunctive Queries. FOCS Georg Gottlob, Nicola Leone, Francesco Scarcello
1998	A*	`conf`	The KR System dlv: Progress Report, Comparisons and Benchmarks. KR Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997	B	`conf`	A Deductive System for Non-Monotonic Reasoning. LPNMR Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997	—	`conf`	DATALOG with Nested Rules. LPKR Sergio Greco, Nicola Leone, Francesco Scarcello
1997	J	`jnl`	Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Inf. Comput. Nicola Leone, Pasquale Rullo, Francesco Scarcello
1997	B	`conf`	On the Complexity of Some Inductive Logic Programming Problems. ILP Georg Gottlob, Nicola Leone, Francesco Scarcello
1997	—	`conf`	The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997	—	`conf`	The dlv System: Model Generator and Advanced Frontends (system description). WLP Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1996	C	`conf`	On the Computation of Disjunctive Stable Models. DEXA Nicola Leone, Pasquale Rullo, Francesco Scarcello
1996	J	`jnl`	On the Expressive Power of Ordered Logic. AI Commun. Francesco Buccafurri, Nicola Leone, Francesco Scarcello
1996	—	`conf`	Stable Model Checking for Disjunctive Logic Programs. Logic in Databases Nicola Leone, Pasquale Rullo, Francesco Scarcello
1995	—	`conf`	Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE Francesco Scarcello, Nicola Leone, Luigi Palopoli
1995	—	`conf`	Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS Nicola Leone, Francesco Scarcello
1993	—	`conf`	Calcolo del Modello Well-Founded di Programmi Datalog. GULP Francesco Scarcello