Welcome to D
SIGMOD 2005
PODS 2005
SIGMOD-RECOR
CIDR 2005
CIKM 2005
COMAD 2005
CVDB 2005
DaMoN 2005
Data Enginee
DEBS05
DMSN 2005
DOLAP 2005
GIR 2005
GIS 2005
Hypertext 20
ICDE 2005
ICDM 2005
IHIS 2005
IQIS 2005
JCDL 2005
KRAS 2005
MDM 2005
MIR 2005
MobiDE 2005
P2PIR 2005
RIDE 2005
SBBD 2005
SIGIR 2005
SIGIR-FORUM
SIGKDD 2005
SIGKDD-EXP
SSDBM 2005
TIME 2005
TKDE 2005
TODS 2005
VLDB 2005
VLDBJ 2005
WebDB 2005
WIDM 2005
About DiSC 2
Editorial Bo
Acknowledgem
DiSC'06 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Gianluigi Greco

Papers on DiSC'06


The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data

On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems

Mining and reasoning on workflows

Publications


Note: Links lead to the DBLP on the Web.

Gianluigi Greco

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

Chitta Baral , Gianluigi Greco, Nicola Leone , Giorgio Terracina : Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings Springer 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

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

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

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, 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 , 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, Antonella Guzzo , Luigi Pontieri , Domenico Saccà : On the Mining of Complex Schemas. SEBD 2004 : 118-129

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

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

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)

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 , Domenico Saccà : Reasoning on Workflow Executions. ADBIS 2003 : 205-219

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 Programming Approach for Planning Workflows Evolutions. APPIA-GULP-PRODE 2003 : 75-85

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

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

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 Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Trans. Knowl. Data Eng. 15 (6): 1389-1408 (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 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

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

1 [ 25 ] [ 32 ] [ 36 ]

2 [ 52 ]

3 [ 46 ]

4 [ 20 ] [ 33 ]

5 [ 17 ] [ 41 ] [ 42 ] [ 47 ]

6 [ 20 ] [ 33 ] [ 41 ] [ 42 ] [ 43 ] [ 47 ] [ 49 ]

7 [ 17 ] [ 41 ] [ 42 ] [ 47 ]

8 [ 13 ]

9 [ 11 ] [ 23 ]

10 [ 14 ] [ 41 ] [ 42 ] [ 47 ] [ 48 ]

11 [ 47 ]

12 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 22 ] [ 23 ] [ 24 ] [ 26 ] [ 39 ]

13 [ 15 ] [ 18 ] [ 19 ] [ 21 ] [ 28 ] [ 29 ] [ 31 ] [ 37 ] [ 38 ] [ 40 ] [ 44 ] [ 45 ] [ 46 ] [ 51 ]

14 [ 41 ] [ 47 ]

15 [ 41 ] [ 47 ]

16 [ 17 ] [ 34 ] [ 41 ] [ 47 ]

17 [ 41 ] [ 47 ]

18 [ 27 ] [ 30 ] [ 33 ] [ 41 ] [ 42 ] [ 43 ] [ 47 ] [ 49 ] [ 52 ]

19 [ 41 ] [ 47 ]

20 [ 15 ] [ 38 ] [ 40 ] [ 44 ] [ 45 ] [ 46 ]

21 [ 41 ] [ 47 ]

22 [ 25 ] [ 32 ] [ 36 ]

23 [ 28 ] [ 31 ] [ 37 ] [ 38 ] [ 46 ] [ 51 ]

24 [ 41 ] [ 47 ]

25 [ 41 ] [ 47 ]

26 [ 15 ] [ 18 ] [ 19 ] [ 21 ] [ 28 ] [ 29 ] [ 31 ] [ 37 ] [ 38 ] [ 40 ] [ 44 ] [ 45 ] [ 46 ]

27 [ 14 ] [ 16 ] [ 27 ] [ 29 ] [ 30 ] [ 35 ] [ 48 ] [ 50 ]

28 [ 41 ] [ 47 ]

29 [ 46 ]

30 [ 41 ] [ 47 ] [ 52 ]

31 [ 5 ] [ 6 ] [ 24 ] [ 39 ]

32 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 12 ] [ 13 ] [ 22 ] [ 24 ] [ 26 ] [ 39 ]




©2006 Association for Computing Machinery