Gianluigi Greco

Valeria Fionda, Gianluigi Greco: The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions. Artif. Intell. 196: 1-25 (2013)

Gianluigi Greco, Francesco Scarcello: Structural tractability of enumerating CSP solutions. Constraints 18(1): 38-74 (2013)

Gianluigi Greco, Giorgio Terracina: Frequency-based similarity for parameterized sequences: Formal framework, algorithms, and applications. Inf. Sci. 237: 176-195 (2013)

Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Methods and techniques for discovering taxonomies of behavioral process models. Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery 3(3): 170-189 (2013)

Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for disjunctive Datalog programs. Artif. Intell. 187: 156-192 (2012)

Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Massimo Guarascio: ProMetheuS: A Suite for Process Mining Applications. CAiSE Forum 2012: 58-65

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Process Discovery via Precedence Constraints. ECAI 2012: 366-371

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: 372-377

Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for Disjunctive Datalog Programs. CoRR abs/1204.6346 (2012)

Gianluigi Greco, Francesco Scarcello: The Power of Tree Projections: When Local Consistency Answers Conjunctive Queries. CoRR abs/1205.3321 (2012)

Gianluigi Greco, Francesco Scarcello: Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria. CoRR abs/1207.1383 (2012)

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

Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. CoRR abs/1209.3419 (2012)

Gianluigi Greco, Francesco Scarcello: Tree Projections and Structural Decomposition Methods: Minimality and Game-Theoretic Characterization. CoRR abs/1212.2314 (2012)

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the complexity of core, kernel, and bargaining set. Artif. Intell. 175(12-13): 1877-1910 (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): 1005-1029 (2011)

Gianluigi Greco, Antonella Guzzo, Domenico Saccà: Simulations on workflow management systems: A framework based on event choice datalog. Intelligenza Artificiale 5(2): 189-206 (2011)

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

Gianluigi Greco, Francesco Scarcello: Structural Tractability of Constraint Optimization. CP 2011: 340-355

Lucantonio Ghionna, Gianluigi Greco: Boosting tuple propagation in multi-relational classification. IDEAS 2011: 106-114

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of the Core over Coalition Structures. IJCAI 2011: 216-221

Mario Alviano, Gianluigi Greco, Nicola Leone: Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. LPNMR 2011: 148-160

Fabio Fassetti, Gianluigi Greco, Giorgio Terracina: L-SME: A System for Mining Loosely Structured Motifs. ECML/PKDD (3) 2011: 621-625

Gianluigi Greco, Francesco Scarcello: On the Power of Enforcing Local Consistency. SEBD 2011: 139-146

Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash Equilibria: Hard and Easy Games. CoRR abs/1109.2152 (2011)

Gianluigi Greco, Francesco Scarcello: On the power of structural decompositions of graph-based representations of constraint problems. Artif. Intell. 174(5-6): 382-409 (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): 179-228 (2010)

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

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Coclustering Multiple Heterogeneous Domains: Linear Combinations and Agreements. IEEE Trans. Knowl. Data Eng. 22(12): 1649-1663 (2010)

Gianluigi Greco, Francesco Scarcello: Structural Tractability of Enumerating CSP Solutions. CP 2010: 236-251

Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Scalable parallel co-clustering over multiple heterogeneous data types. HPCS 2010: 529-535

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

Gianluigi Greco, Francesco Scarcello: On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions. CoRR abs/1005.1567 (2010)

Gianluigi Greco, Francesco Scarcello: On the complexity of constrained Nash equilibria in graphical games. Theor. Comput. Sci. 410(38-40): 3901-3924 (2009)

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

Georg Gottlob, Gianluigi Greco, Bruno Marnette: HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. Graph Theory, Computational Intelligence and Thought 2009: 87-99

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: 217-226

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

Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Discovering expressive process models from noised log data. IDEAS 2009: 162-172

Valeria Fionda, Gianluigi Greco: Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions. IJCAI 2009: 134-139

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of Compact Coalitional Games. IJCAI 2009: 147-152

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Mining taxonomies of process models. Data Knowl. Eng. 67(1): 74-102 (2008)

Fabio Fassetti, Gianluigi Greco, Giorgio Terracina: Mining Loosely Structured Motifs from Biological Data. IEEE Trans. Knowl. Data Eng. 20(11): 1472-1489 (2008)

Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo: Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. 33(2) (2008)

Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets for Data Integration. AAAI 2008: 1528-1531

Francesco Scarcello, Georg Gottlob, Gianluigi Greco: Uniform Constraint Satisfaction Problems and Database Theory. Complexity of Constraints 2008: 156-195

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

Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Discovering Multi-Perspective Process Models. ICEIS (2) 2008: 70-77

Francesco Folino, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Discovering Multi-perspective Process Models: The Case of Loosely-Structured Processes. ICEIS 2008: 130-143

Lucantonio Ghionna, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Outlier Detection Techniques for Process Mining Applications. ISMIS 2008: 150-159

Gianluigi Greco, Giorgio Terracina: Measuring Sequence Similarity Trough Many-to-Many Frequent Correlations. KES (1) 2008: 484-492

Lucantonio Ghionna, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Outlier Detection Techniques for Process Mining Applications. SEBD 2008: 263-270

Gianluigi Greco: Solving abduction by computing joint explanations. Ann. Math. Artif. Intell. 50(1-2): 143-194 (2007)

Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà: Mining unconnected patterns in workflows. Inf. Syst. 32(5): 685-712 (2007)

Francesco Scarcello, Gianluigi Greco, Nicola Leone: Weighted hypertree decompositions and optimal query plans. J. Comput. Syst. Sci. 73(3): 475-506 (2007)

Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their application to data integration. J. Comput. Syst. Sci. 73(4): 584-609 (2007)

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: An Information-Theoretic Framework for Process Structure and Data Mining. IJDWM 3(4): 99-119 (2007)

Georg Gottlob, Gianluigi Greco: Combinatorial auctions with tractable winner determination. SIGecom Exchanges 7(1): 15-18 (2007)

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Outlier detection by logic programming. ACM Trans. Comput. Log. 9(1) (2007)

Ana Karla Alves de Medeiros, Antonella Guzzo, Gianluigi Greco, Wil M. P. van der Aalst, A. J. M. M. Weijters, Boudewijn F. van Dongen, Domenico Saccà: Process Mining Based on Clustering: A Quest for Precision. Business Process Management Workshops 2007: 17-29

Lucantonio Ghionna, Luigi Granata, Gianluigi Greco, Francesco Scarcello: Hypertree Decompositions for Query Optimization. ICDE 2007: 36-45

Georg Gottlob, Gianluigi Greco, Toni Mancini: Conditional Constraint Satisfaction: Logical Foundations and Complexity. IJCAI 2007: 88-93

Georg Gottlob, Gianluigi Greco, Toni Mancini: Complexity of Pure Equilibria in Bayesian Games. IJCAI 2007: 1294-1299

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli: The LP-OD System: Logic Programming Meets Outlier Detection. LPNMR 2007: 254-259

Fabio Fassetti, Gianluigi Greco, Giorgio Terracina: L-SME: A Tool for the Efficient Discovery of Loosely Structured Motifs in Biological Data. SEBD 2007: 389-396

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: An Information-Theoretic Framework for High-Order Co-Clustering of Heterogeneous Objects. SEBD 2007: 397-404

Georg Gottlob, Gianluigi Greco: On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition. ACM Conference on Electronic Commerce 2007: 152-161

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà: Discovering Expressive Process Models by Clustering Log Traces. IEEE Trans. Knowl. Data Eng. 18(8): 1010-1027 (2006)

Antonio D. Chiaravalloti, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: An Information-Theoretic Framework for Process Structure and Data Mining. DaWaK 2006: 248-259

Antonio D. Chiaravalloti, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: An Information-Theoretic Framework for High-Order Co-clustering of Heterogeneous Objects. ECML 2006: 598-605

Gianluigi Greco: Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results. FoIKS 2006: 116-136

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization and Complexity Results. IFIP AI 2006: 41-50

Fabio Fassetti, Gianluigi Greco, Giorgio Terracina: Efficient discovery of loosely structured motifs in biological data. SAC 2006: 151-155

Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Luigi Palopoli: Protection Techniques from Information Extraction. Web Intelligence 2006: 1029-1033

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

Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà: Mining and Reasoning on Workflows. IEEE Trans. Knowl. Data Eng. 17(4): 519-534 (2005)

Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano: Optimization of bound disjunctive queries with constraints. TPLP 5(6): 713-745 (2005)

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri: Mining Hierarchies of Models: From Abstract Views to Concrete Specifications. Business Process Management 2005: 32-47

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

Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and Their Application to Data Integration. ICDT 2005: 306-320

Georg Gottlob, Gianluigi Greco, Francesco Scarcello: The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. IJCAI 2005: 150-155

Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383

Antonio Congiusta, Domenico Talia, Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Luigi Pontieri, Domenico Saccà: A Data Mining-based Framework for GridWorkflow Management. QSIC 2005: 349-356

Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà: Mining Unconnected Patterns in Workflows. SDM 2005

Wolfgang Faber, Gianluigi Greco, Nicola Leone: Magic Sets and their Application to Data Integration. SEBD 2005: 47-54

Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66

Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà: Mining Correlations in Workflows Executions. SEBD 2005: 137-148

Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917

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

Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (Eds.): Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Lecture Notes in Computer Science 3662, Springer 2005, isbn 3-540-28538-5

Gianluigi Greco, Sergio Greco, Ester Zumpano: Collaborative Filtering Supporting Web Site Navigation. AI Commun. 17(3): 155-166 (2004)

Filippo Furfaro, Gianluigi Greco, Sergio Greco: Minimal founded semantics for disjunctive logic programs and deductive databases. TPLP 4(1-2): 75-93 (2004)

Gianluigi Greco, Sergio Greco, Ester Zumpano: Web Communities: Models and Algorithms. World Wide Web 7(1): 58-82 (2004)

Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Luigi Pontieri, Domenico Saccà: Mining Constrained Graphs: The Case of Workflow Systems. Constraint-Based Mining and Inductive Databases 2004: 155-171

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà: An Ontology-Driven Process Modeling Framework. DEXA 2004: 13-23

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Detecting Outliers via Logical Theories and Its Data Complexity. Discovery Science 2004: 101-113

Gianluigi Greco, Francesco Scarcello: Constrained Pure Nash Equilibria in Graphical Games. ECAI 2004: 181-185

Gianluigi Greco, Domenico Lembo: Data Integration with Preferences Among Sources. ER 2004: 231-244

Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004: 371-385

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Discovering Anomalies in Evidential Knowledge by Logic Programming. JELIA 2004: 578-590

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà: Mining Expressive Process Models by Clustering Workflow Traces. PAKDD 2004: 52-62

Francesco Scarcello, Gianluigi Greco, Nicola Leone: Weighted Hypertree Decompositions and Optimal Query Plans. PODS 2004: 210-221

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

Gianluigi Greco, Nicola Leone, Francesco Scarcello: On Weighted Hypertree Decompositions. SEBD 2004: 54-61

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà: On the Mining of Complex Schemas. SEBD 2004: 118-129

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Outlier Detection by Logic Programming. CoRR cs.AI/0409019 (2004)

Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano: Optimization of Bound Disjunctive Queries with Constraints. CoRR cs.LO/0406013 (2004)

Gianluigi Greco, Sergio Greco, Ester Zumpano: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Trans. Knowl. Data Eng. 15(6): 1389-1408 (2003)

Gianluigi Greco, Sergio Greco, Ester Zumpano: Repairing and Querying Inconsistent Databases. Effective Databases for Text & Document Management 2003: 318-359

Gianluigi Greco, Antonella Guzzo, Domenico Saccà: Reasoning on Workflow Executions. ADBIS 2003: 205-219

Gianluigi Greco, Antonella Guzzo, Domenico Saccà: A Logic Programming Approach for Planning Workflows Evolutions. APPIA-GULP-PRODE 2003: 75-85

Chiara Cumbo, Wolfgang Faber, Gianluigi Greco: Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE 2003: 252-262

Gianluigi Greco, Antonella Guzzo, Domenico Saccà: A Logic-Based Formalism to Model and Analyze Workflow Executions. CAiSE Short Paper Proceedings 2003

Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo: Efficient Evaluation of Logic Programs for Querying Data Integration Systems. ICLP 2003: 163-177

Gianluigi Greco, Francesco Scarcello: Non-Binary Constraints and Optimal Dual-Graph Representations. IJCAI 2003: 227-232

Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà: Mining Frequent Instances on Workflows. PAKDD 2003: 209-221

Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash equilibria: hard and easy games. TARK 2003: 215-230

Sergio Flesca, Gianluigi Greco, Sergio Greco, Ester Zumpano: A Lightweight Tool for Easy Web Site Navigation. WISE 2003: 134-146

Filippo Furfaro, Gianluigi Greco, Sergio Greco: Minimal founded semantics for disjunctive logic programs and deductive databases. CoRR cs.LO/0312028 (2003)

Gianluigi Greco, Sergio Greco, Ester Zumpano: A Logic Framework for the Integration of Databases. ISMIS 2002: 274-284

Gianluigi Greco, Sergio Greco, Ester Zumpano: STED: A System for Topic Enumeration and Distillation. ITCC 2002: 294-299

Gianluigi Greco, Ester Zumpano: Complexity and Algorithms for the Matching of Bag and Set Terms. JELIA 2002: 137-148

Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano: Translating Datalog-Like Optimization Queries into ILOG Programs. LOPSTR 2002: 48-49

Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano: Query Optimization of Disjunctive Databases with Constraints through Binding Propagation. LPAR 2002: 216-230

Gianluigi Greco, Sergio Greco, Ester Zumpano: A Stochastic Approach for Modeling and Computing Web Communities. WISE 2002: 43-52

Gianluigi Greco, Sergio Greco, Ester Zumpano: A Probabilistic Approach for Distillation and Ranking of Web Pages. World Wide Web 4(3): 189-207 (2001)

Gianluigi Greco, Sergio Greco, Ester Zumpano: A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. ICLP 2001: 348-364

Gianluigi Greco, Sergio Greco, Ester Zumpano: A Probabilistic Approach for Discovering Authoritative Web Pages. WISE (1) 2001: 133