Gianluigi Greco

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 46

Top Venues

Publications

Gianluigi Greco, Marco Manna
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability. Artif. Intell. 332 (2024)
Gianluigi Greco, Francesco Scarcello
Maxileximin Envy Allocations and Connected Goods. AAAI (2024)
Pierangela Bruno, Edoardo De Rose, Carlo Adornetto, Francesco Calimeri, Sandro Donato, Raffaele Giuseppe Agostino, Daniela Amelio, Riccardo Barberi, Maria Carmela Cerra, Maria Caterina Crocco, Mariacristina Filice, Raffaele Filosa, Gianluigi Greco, Sandra Imbrogno, Vincenzo Formoso
μ-Net: A Deep Learning-Based Architecture for μ-CT Segmentation. CoRR (2024)
Carlo Adornetto, Gianluigi Greco
A New Deep Learning and XAI-Based Algorithm for Features Selection in Genomics. CoRR (2023)
Carlo Adornetto, Pierangela Bruno, Francesco Calimeri, Edoardo De Rose, Gianluigi Greco
Artificial Intelligence in Medicine: From Imaging to Omics. Ital-IA (2023)
Carlo Adornetto, Valeria Fionda, Gianluigi Greco
On the Effectiveness of Compact Strategies for Opinion Diffusion in Social Environments. ECAI (2023)
Antonella Guzzo, Giancarlo Fortino, Gianluigi Greco, Marcello Maggiolini
Data and model aggregation for radiomics applications: Emerging trend and open challenges. Inf. Fusion 100 (2023)
Hubie Chen, Gianluigi Greco, Stefan Mengel, Francesco Scarcello
Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability. CoRR (2023)
Carlo Adornetto, Gianluigi Greco
GIDnets: Generative Neural Networks for Solving Inverse Design Problems via Latent Space Exploration. IJCAI (2023)
Marek Adrian, Gianluigi Greco
An observation on pure strategies in Security Games. FedCSIS (2022)
Carmine Dodaro, Valeria Fionda, Gianluigi Greco
LTL on Weighted Finite Traces: Formal Foundations and Algorithms. IJCAI (2022)
Giovanni Amendola, Gianluigi Greco, Pierfrancesco Veltri
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications. Artif. Intell. 302 (2022)
Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi
Reasoning about Smart Contracts via LTL Encoding. SEBD (2022)
Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi
Reasoning About Smart Contracts Encoded in LTL. AI*IA (2021)
Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco
Optimal majority dynamics for the diffusion of an opinion when multiple alternatives are available. Theor. Comput. Sci. 869 (2021)
Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco
On the Effectiveness of Social Proof Recommendations in Markets with Multiple Products. ECAI (2020)
Gianluigi Greco, Antonella Guzzo, Giuseppe Nardiello
FD-VAE: A Feature Driven VAE Architecture for Flexible Synthetic Data Generation. DEXA (1) (2020)
Gianluigi Greco, Francesco Scarcello
The Complexity of Computing Maximin Share Allocations on Graphs. AAAI (2020)
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value. Artif. Intell. 278 (2020)
Mario Alviano, Gianluigi Greco, Francesco Scarcello
Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence. Intelligenza Artificiale 14 (2) (2020)
G. Muratore, J. A. Rincon, Vicente Julián, Carlos Carrascosa, Gianluigi Greco, Giancarlo Fortino
Towards a Dynamic Edge AI Framework Applied to Autonomous Driving Cars. PAAMS (Workshops) (2020)
Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco
On the complexity of reasoning about opinion diffusion under majority dynamics. Artif. Intell. 284 (2020)
Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco
On the Complexity of Opinion Consensus under Majority Dynamics. ICTCS (2019)
Valeria Fionda, Gianluigi Greco
Control-Flow Business Process Summarization via Activity Contraction. IDEAL (2) (2019)
Vincenzo Auletta, Diodato Ferraioli, Valeria Fionda, Gianluigi Greco
Maximizing the Spread of an Opinion when Tertium Datur Est. AAMAS (2019)
Valeria Fionda, Gianluigi Greco
Opinion Diffusion in Competitive Environments: Relating Coverage and Speed of Diffusion. COMPLEX NETWORKS (1) (2019)
Valeria Fionda, Gianluigi Greco
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner. J. Artif. Intell. Res. 63 (2018)
Gianluigi Greco, Antonella Guzzo
Constrained Coalition Formation on Valuation Structures: Formal Framework, Applications, and Islands of Tractability (Extended Abstract). IJCAI (2018)
Mario Alviano, Gianluigi Greco, Antonella Guzzo
Coalition formation in social environments with logic-based agents. AI Commun. 31 (5) (2018)
Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco
Reasoning about Consensus when Opinions Diffuse through Majority Dynamics. IJCAI (2018)
Georg Gottlob, Gianluigi Greco, Francesco Scarcello
Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms. J. Comput. Syst. Sci. 94 (2018)
Erman Acar, Gianluigi Greco, Marco Manna
Group Reasoning in Social Environments. AAMAS (2017)
Gianluigi Greco, Antonella Guzzo
Constrained coalition formation on valuation structures: Formal framework, applications, and islands of tractability. Artif. Intell. 249 (2017)
Gianluigi Greco, Francesco Scarcello
Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems. Inf. Comput. 252 (2017)
Gianluigi Greco, Francesco Scarcello
The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems. SIAM J. Comput. 46 (3) (2017)
Georg Gottlob, Gianluigi Greco, Francesco Scarcello
Tree Projections and Constraint Optimization Problems: Fixed-Parameter Tractability and Parallel Algorithms. CoRR (2017)
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
The Tractability of the Shapley Value over Bounded Treewidth Matching Games. IJCAI (2017)
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries. SEBD (2016)
Valeria Fionda, Gianluigi Greco
The Complexity of LTL on Finite Traces: Hard and Easy Fragments. AAAI (2016)
Angelo Fanelli, Gianluigi Greco
Ride Sharing with a Vehicle of Unlimited Capacity. MFCS (2016)
Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello
Hypertree Decompositions: Questions and Answers. PODS (2016)
Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri
Modeling and Reasoning about NTU Games via Answer Set Programming. IJCAI (2016)
Georgios Chalkiadakis, Gianluigi Greco, Evangelos Markakis
Characteristic function games with restricted agent interactions: Core-stability and coalition structures. Artif. Intell. 232 (2016)
Gianluigi Greco, Antonella Guzzo
Coalition Formation with Logic-Based Agents. EUMAS/AT (2016)
Gianluigi Greco, Francesco Scarcello
Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries and Constraint Satisfaction Problems. CoRR (2016)
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Towards a Fair VQR with the Aid of Database (and Game) Theory. SEBD (2016)
Valeria Fionda, Gianluigi Greco
Trust Models for RDF Data: Semantics and Complexity. AAAI (2015)
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Structural Tractability of Shapley and Banzhaf Values in Allocation Games. IJCAI (2015)
Gianluigi Greco, Jérôme Lang
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability. IJCAI (2015)
Gianluigi Greco, Antonella Guzzo, Francesco Lupia, Luigi Pontieri
Process Discovery under Precedence Constraints. ACM Trans. Knowl. Discov. Data 9 (4) (2015)
Angelo Fanelli, Gianluigi Greco
Ride Sharing with a Vehicle of Unlimited Capacity. CoRR (2015)
Gianluigi Greco, Francesco Scarcello
Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings. J. Artif. Intell. Res. 49 (2014)
Gianluigi Greco, Francesco Scarcello
Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability. SEBD (2014)
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. CoRR (2014)
Gianluigi Greco, Francesco Scarcello
Tree projections and structural decomposition methods: Minimality and game-theoretic characterization. Theor. Comput. Sci. 522 (2014)
Gianluigi Greco, Francesco Scarcello
Counting solutions to conjunctive queries: structural and hybrid tractability. PODS (2014)
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
The Complexity of the Nucleolus in Compact Games. ACM Trans. Comput. Theory 7 (1) (2014)
Valeria Fionda, Gianluigi Greco
The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions. Artif. Intell. 196 (2013)
Gianluigi Greco, Francesco Scarcello
Fair division rules for funds distribution: The case of the Italian Research Assessment Program (VQR 2004-2010). Intelligenza Artificiale 7 (1) (2013)
Gianluigi Greco, Francesco Scarcello
Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability. IJCAI (2013)
Georg Gottlob, Gianluigi Greco
Decomposing combinatorial auctions and set packing problems. J. ACM 60 (4) (2013)
Gianluigi Greco, Francesco Scarcello
Structural Tractability of ORDER BY Queries. SEBD (2013)
Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
Methods and techniques for discovering taxonomies of behavioral process models. WIREs Data Mining Knowl. Discov. 3 (3) (2013)
Gianluigi Greco, Giorgio Terracina
Frequency-based similarity for parameterized sequences: Formal framework, algorithms, and applications. Inf. Sci. 237 (2013)
Gianluigi Greco, Antonella Guzzo, Francesco Lupia, Luigi Pontieri
Reasoning about Precedence Constraints for Process Mining Applications. SEBD (2013)
Gianluigi Greco, Francesco Scarcello
Structural tractability of enumerating CSP solutions. Constraints An Int. J. 18 (1) (2013)
Gianluigi Greco, Francesco Scarcello
Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria CoRR (2012)
Gianluigi Greco, Francesco Scarcello
The Power of Tree Projections: When Local Consistency Answers Conjunctive Queries CoRR (2012)
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
Magic Sets for Disjunctive Datalog Programs CoRR (2012)
Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Massimo Guarascio
ProMetheuS: A Suite for Process Mining Applications. CAiSE Forum (2012)
Gianluigi Greco, Francesco Scarcello
Tree Projections and Structural Decomposition Methods: Minimality and Game-Theoretic Characterization CoRR (2012)
Gianluigi Greco, Enrico Malizia, Francesco Scarcello, Luigi Palopoli
Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. ECAI (2012)
Gianluigi Greco, Francesco Scarcello
Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Fully Verifiable Settings CoRR (2012)
Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
Process Discovery via Precedence Constraints. ECAI (2012)
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
Magic Sets for disjunctive Datalog programs. Artif. Intell. 187 (2012)
Georg Gottlob, Gianluigi Greco, Francesco Scarcello
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions CoRR (2012)
Gianluigi Greco, Francesco Scarcello
Structural Tractability of Constraint Optimization. CP (2011)
Lucantonio Ghionna, Gianluigi Greco
Boosting tuple propagation in multi-relational classification. IDEAS (2011)
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
On the Complexity of the Core over Coalition Structures. IJCAI (2011)
Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
Mining usage scenarios in business processes: Outlier-aware discovery and run-time prediction. Data Knowl. Eng. 70 (12) (2011)
Georg Gottlob, Gianluigi Greco, Francesco Scarcello
Pure Nash Equilibria: Hard and Easy Games CoRR (2011)
Fabio Fassetti, Gianluigi Greco, Giorgio Terracina
L-SME: A System for Mining Loosely Structured Motifs. ECML/PKDD (3) (2011)
Mario Alviano, Gianluigi Greco, Nicola Leone
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. LPNMR (2011)
Gianluigi Greco, Antonella Guzzo, Domenico Saccà
Simulations on workflow management systems: A framework based on event choice datalog. Intelligenza Artificiale 5 (2) (2011)
Lucantonio Ghionna, Gianluigi Greco, Francesco Scarcello
H-DB: a hybrid quantitative-structural sql optimizer. CIKM (2011)
Gianluigi Greco, Francesco Scarcello
On the Power of Enforcing Local Consistency. SEBD (2011)
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
On the complexity of core, kernel, and bargaining set. Artif. Intell. 175 (12-13) (2011)
Gianluigi Greco, Francesco Scarcello
Structural Tractability of Enumerating CSP Solutions. CP (2010)
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. J. Artif. Intell. Res. 38 (2010)
Gianluigi Greco, Francesco Scarcello
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. PODS (2010)
Gianluigi Greco, Francesco Scarcello
On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions CoRR (2010)
Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli
Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity results. Ann. Math. Artif. Intell. 60 (3-4) (2010)
Gianluigi Greco, Francesco Scarcello
On the power of structural decompositions of graph-based representations of constraint problems. Artif. Intell. 174 (5-6) (2010)
Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
Coclustering Multiple Heterogeneous Domains: Linear Combinations and Agreements. IEEE Trans. Knowl. Data Eng. 22 (12) (2010)
Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
Scalable parallel co-clustering over multiple heterogeneous data types. HPCS (2010)
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Constrained coalitional games: formal framework, properties, and complexity results. AAMAS (2) (2009)
Valeria Fionda, Gianluigi Greco
Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions. IJCAI (2009)
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)
Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
Discovering expressive process models from noised log data. IDEAS (2009)
Gianluigi Greco, Francesco Scarcello
On the complexity of constrained Nash equilibria in graphical games. Theor. Comput. Sci. 410 (38-40) (2009)

Gianluigi Greco.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gianluigi Greco