Gianluigi Greco

Orcid: 0000-0002-5799-6828

According to our database1, Gianluigi Greco authored at least 172 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Maxileximin Envy Allocations and Connected Goods.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Data and model aggregation for radiomics applications: Emerging trend and open challenges.
Inf. Fusion, December, 2023

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability.
CoRR, 2023

A New Deep Learning and XAI-Based Algorithm for Features Selection in Genomics.
CoRR, 2023

Artificial Intelligence in Medicine: From Imaging to Omics.
Proceedings of the Italia Intelligenza Artificiale, 2023

GIDnets: Generative Neural Networks for Solving Inverse Design Problems via Latent Space Exploration.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

On the Effectiveness of Compact Strategies for Opinion Diffusion in Social Environments.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications.
Artif. Intell., 2022

Reasoning about Smart Contracts via LTL Encoding.
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

LTL on Weighted Finite Traces: Formal Foundations and Algorithms.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

An observation on pure strategies in Security Games.
Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

2021
Optimal majority dynamics for the diffusion of an opinion when multiple alternatives are available.
Theor. Comput. Sci., 2021

Reasoning About Smart Contracts Encoded in LTL.
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2020
Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence.
Intelligenza Artificiale, 2020

Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value.
Artif. Intell., 2020

On the complexity of reasoning about opinion diffusion under majority dynamics.
Artif. Intell., 2020

Towards a Dynamic Edge AI Framework Applied to Autonomous Driving Cars.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 2020

On the Effectiveness of Social Proof Recommendations in Markets with Multiple Products.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

FD-VAE: A Feature Driven VAE Architecture for Flexible Synthetic Data Generation.
Proceedings of the Database and Expert Systems Applications, 2020

The Complexity of Computing Maximin Share Allocations on Graphs.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Ontology: Introduction.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Control-Flow Business Process Summarization via Activity Contraction.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2019, 2019

On the Complexity of Opinion Consensus under Majority Dynamics.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Opinion Diffusion in Competitive Environments: Relating Coverage and Speed of Diffusion.
Proceedings of the Complex Networks and Their Applications VIII, 2019

Maximizing the Spread of an Opinion when Tertium Datur Est.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms.
J. Comput. Syst. Sci., 2018

LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner.
J. Artif. Intell. Res., 2018

Coalition formation in social environments with logic-based agents.
AI Commun., 2018

Constrained Coalition Formation on Valuation Structures: Formal Framework, Applications, and Islands of Tractability (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Reasoning about Consensus when Opinions Diffuse through Majority Dynamics.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Structural Decomposition Methods: Key Notions and Database Applications.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems.
SIAM J. Comput., 2017

Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems.
Inf. Comput., 2017

Constrained coalition formation on valuation structures: Formal framework, applications, and islands of tractability.
Artif. Intell., 2017

The Tractability of the Shapley Value over Bounded Treewidth Matching Games.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Group Reasoning in Social Environments.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Characteristic function games with restricted agent interactions: Core-stability and coalition structures.
Artif. Intell., 2016

Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

Towards a Fair VQR with the Aid of Database (and Game) Theory.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

Hypertree Decompositions: Questions and Answers.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Ride Sharing with a Vehicle of Unlimited Capacity.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Modeling and Reasoning about NTU Games via Answer Set Programming.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Coalition Formation with Logic-Based Agents.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

The Complexity of LTL on Finite Traces: Hard and Easy Fragments.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Process Discovery under Precedence Constraints.
ACM Trans. Knowl. Discov. Data, 2015

Structural Tractability of Shapley and Banzhaf Values in Allocation Games.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Trust Models for RDF Data: Semantics and Complexity.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
The Complexity of the Nucleolus in Compact Games.
ACM Trans. Comput. Theory, 2014

Tree projections and structural decomposition methods: Minimality and game-theoretic characterization.
Theor. Comput. Sci., 2014

Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings.
J. Artif. Intell. Res., 2014

Counting solutions to conjunctive queries: structural and hybrid tractability.
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

Treewidth and Hypertree Width.
Proceedings of the Tractability: Practical Approaches to Hard Problems, 2014

2013
Methods and techniques for discovering taxonomies of behavioral process models.
WIREs Data Mining Knowl. Discov., 2013

Decomposing combinatorial auctions and set packing problems.
J. ACM, 2013

Frequency-based similarity for parameterized sequences: Formal framework, algorithms, and applications.
Inf. Sci., 2013

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

Structural tractability of enumerating CSP solutions.
Constraints An Int. J., 2013

The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions.
Artif. Intell., 2013

Structural Tractability of ORDER BY Queries.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Reasoning about Precedence Constraints for Process Mining Applications.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability.
Proceedings of the IJCAI 2013, 2013

2012
Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Fully Verifiable Settings
CoRR, 2012

The Power of Tree Projections: When Local Consistency Answers Conjunctive Queries
CoRR, 2012

Magic Sets for disjunctive Datalog programs.
Artif. Intell., 2012

Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary.
Proceedings of the ECAI 2012, 2012

Process Discovery via Precedence Constraints.
Proceedings of the ECAI 2012, 2012

ProMetheuS: A Suite for Process Mining Applications.
Proceedings of the CAiSE'12 Forum at the 24<sup>th</sup> International Conference on Advanced Information Systems Engineering (CAiSE), 2012

2011
Simulations on workflow management systems: A framework based on event choice datalog.
Intelligenza Artificiale, 2011

Mining usage scenarios in business processes: Outlier-aware discovery and run-time prediction.
Data Knowl. Eng., 2011

On the complexity of core, kernel, and bargaining set.
Artif. Intell., 2011

On the Power of Enforcing Local Consistency.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

L-SME: A System for Mining Loosely Structured Motifs.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2011

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

On the Complexity of the Core over Coalition Structures.
Proceedings of the IJCAI 2011, 2011

Boosting tuple propagation in multi-relational classification.
Proceedings of the 15th International Database Engineering and Applications Symposium (IDEAS 2011), September 21, 2011

Structural Tractability of Constraint Optimization.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

H-DB: a hybrid quantitative-structural sql optimizer.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

2010
Coclustering Multiple Heterogeneous Domains: Linear Combinations and Agreements.
IEEE Trans. Knowl. Data Eng., 2010

Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints.
J. Artif. Intell. Res., 2010

On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions
CoRR, 2010

Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity results.
Ann. Math. Artif. Intell., 2010

On the power of structural decompositions of graph-based representations of constraint problems.
Artif. Intell., 2010

The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Scalable parallel co-clustering over multiple heterogeneous data types.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2009
On the complexity of constrained Nash equilibria in graphical games.
Theor. Comput. Sci., 2009

On the Complexity of Compact Coalitional Games.
Proceedings of the IJCAI 2009, 2009

Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions.
Proceedings of the IJCAI 2009, 2009

Discovering expressive process models from noised log data.
Proceedings of the International Database Engineering and Applications Symposium (IDEAS 2009), 2009

Tractable Optimization Problems through Hypergraph-Based Structural Restrictions.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Tree Projections: Game Characterization and Computational Aspects.
Proceedings of the Graph Theory, 2009

HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results.
Proceedings of the Graph Theory, 2009

Constrained coalitional games: formal framework, properties, and complexity results.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
Repair localization for query answering from inconsistent databases.
ACM Trans. Database Syst., 2008

Mining Loosely Structured Motifs from Biological Data.
IEEE Trans. Knowl. Data Eng., 2008

Mining taxonomies of process models.
Data Knowl. Eng., 2008

Measuring Sequence Similarity Trough Many-to-Many Frequent Correlations.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

Outlier Detection Techniques for Process Mining Applications.
Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

Discovering Multi-perspective Process Models: The Case of Loosely-Structured Processes.
Proceedings of the Enterprise Information Systems, 10th International Conference, 2008

Discovering Multi-Perspective Process Models.
Proceedings of the ICEIS 2008, 2008

Tree Projections: Hypergraph Games and Minimality.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Uniform Constraint Satisfaction Problems and Database Theory.
Proceedings of the Complexity of Constraints, 2008

Magic Sets for Data Integration.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Outlier detection by logic programming.
ACM Trans. Comput. Log., 2007

Combinatorial auctions with tractable winner determination.
SIGecom Exch., 2007

An Information-Theoretic Framework for Process Structure and Data Mining.
Int. J. Data Warehous. Min., 2007

Weighted hypertree decompositions and optimal query plans.
J. Comput. Syst. Sci., 2007

Magic Sets and their application to data integration.
J. Comput. Syst. Sci., 2007

Mining unconnected patterns in workflows.
Inf. Syst., 2007

Solving abduction by computing joint explanations.
Ann. Math. Artif. Intell., 2007

On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition.
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007

An Information-Theoretic Framework for High-Order Co-Clustering of Heterogeneous Objects.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

L-SME: A Tool for the Efficient Discovery of Loosely Structured Motifs in Biological Data.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

The <i>LP</i>-<i>OD</i> System: Logic Programming Meets Outlier Detection.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Complexity of Pure Equilibria in Bayesian Games.
Proceedings of the IJCAI 2007, 2007

Conditional Constraint Satisfaction: Logical Foundations and Complexity.
Proceedings of the IJCAI 2007, 2007

Hypertree Decompositions for Query Optimization.
Proceedings of the 23rd International Conference on Data Engineering, 2007

Process Mining Based on Clustering: A Quest for Precision.
Proceedings of the Business Process Management Workshops, 2007

2006
Discovering Expressive Process Models by Clustering Log Traces.
IEEE Trans. Knowl. Data Eng., 2006

Protection Techniques from Information Extraction.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Efficient discovery of loosely structured motifs in biological data.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to <i>P2P</i> Data Integration, and Complexity Results.
Proceedings of the Foundations of Information and Knowledge Systems, 2006

An Information-Theoretic Framework for High-Order Co-clustering of Heterogeneous Objects.
Proceedings of the Machine Learning: ECML 2006, 2006

An Information-Theoretic Framework for Process Structure and Data Mining.
Proceedings of the Data Warehousing and Knowledge Discovery, 8th International Conference, 2006

2005
Game theory and artificial intelligence.
PhD thesis, 2005

Optimization of bound disjunctive queries with constraints.
Theory Pract. Log. Program., 2005

Mining and Reasoning on Workflows.
IEEE Trans. Knowl. Data Eng., 2005

Pure Nash Equilibria: Hard and Easy Games.
J. Artif. Intell. Res., 2005

Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria.
Proceedings of the UAI '05, 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Mining Correlations in Workflows Executions.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

A Data Mining-based Framework for GridWorkflow Management.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005


The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems.
Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31, 2005

Mining Hierarchies of Models: From Abstract Views to Concrete Specifications.
Proceedings of the Business Process Management, 3rd International Conference, 2005

2004
Web Communities: Models and Algorithms.
World Wide Web, 2004

Minimal founded semantics for disjunctive logic programs and deductive databases.
Theory Pract. Log. Program., 2004

Collaborative Filtering Supporting Web Site Navigation.
AI Commun., 2004

On Weighted Hypertree Decompositions.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

On the Mining of Complex Schemas.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Event choice datalog: a logic programming language for reasoning in multiple dimensions.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Mining Expressive Process Models by Clustering Workflow Traces.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2004

Discovering Anomalies in Evidential Knowledge by Logic Programming.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Enhancing the Magic-Set Method for Disjunctive Datalog Programs.
Proceedings of the Logic Programming, 20th International Conference, 2004

Data Integration with Preferences Among Sources.
Proceedings of the Conceptual Modeling, 2004

Constrained Pure Nash Equilibria in Graphical Games.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Detecting Outliers via Logical Theories and Its Data Complexity.
Proceedings of the Discovery Science, 7th International Conference, 2004

An Ontology-Driven Process Modeling Framework.
Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004

Mining Constrained Graphs: The Case of Workflow Systems.
Proceedings of the Constraint-Based Mining and Inductive Databases, 2004

2003
A Logical Framework for Querying and Repairing Inconsistent Databases.
IEEE Trans. Knowl. Data Eng., 2003

A Lightweight Tool for Easy Web Site Navigation.
Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003

Mining Frequent Instances on Workflows.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2003

Non-Binary Constraints and Optimal Dual-Graph Representations.
Proceedings of the IJCAI-03, 2003

Efficient Evaluation of Logic Programs for Querying Data Integration Systems.
Proceedings of the Logic Programming, 19th International Conference, 2003

A Logic-Based Formalism to Model and Analyze Workflow Executions.
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

A Logic Programming Approach for Planning Workflows Evolutions.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

Improving Query Optimization for Disjunctive Datalog.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

Reasoning on Workflow Executions.
Proceedings of the Advances in Databases and Information Systems, 2003

Repairing and Querying Inconsistent Databases.
Proceedings of the Effective Databases for Text & Document Management., 2003

2002
A Stochastic Approach for Modeling and Computing Web Communities.
Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002

Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.
Proceedings of the Logic for Programming, 2002

Translating Datalog-Like Optimization Queries into ILOG Programs.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Complexity and Algorithms for the Matching of Bag and Set Terms.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

STED: A System for Topic Enumeration and Distillation.
Proceedings of the 2002 International Symposium on Information Technology (ITCC 2002), 2002

A Logic Framework for the Integration of Databases.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

A Logic Language for Database Integration.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001
A Probabilistic Approach for Distillation and Ranking of Web Pages.
World Wide Web, 2001

A Probabilistic Approach for Discovering Authoritative Web Pages.
Proceedings of the 2nd International Conference on Web Information Systems Engineering, 2001

A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases.
Proceedings of the Logic Programming, 17th International Conference, 2001

Deterministic semantics for disjunctive logic programs.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001


  Loading...