CURRICULUM VITAE Sergio Greco

Data di nascita Luogo di nascita Tel: 0984 494971 Fax: 0984 494713 E-Mail: [email protected]

Curriculum Studiorum Laurea Degree in electrical engineering, 1983

Carriera Accademica ed attività didattiche Positions • 2002- Chair of the Department of Electronics, Computer and System Sciences, University of Calabria • 2000- Full professor, University of Calabria • 1998-2000 Associated professor, University of Calabria • 1998- Researcher associate, ICAR-CNR • Summer 1998 visiting scientist at the Computer Science Deparment of UCLA • Summer 1996 visiting scientist at the Computer Science Deparment of UCLA • Summer 1994 visiting scientist at the Computer Science Deparment of UCLA • Summer 1992 visiting scientist at the Computer Science Deparment of UCLA • 1990-1991 Visiting scientist at MCC (Microelectronics and Computer Corporation), Texas, • 1989-1998 Assistant professor, University of Calabria • 1986-1989 Researcher at CRAI (Consortium for Research and Applications in Informatics) • 1984-1986 Fellowship at CRAI.

Novembre 1998 - Ottobre 2000 professore associato presso la Facolta` di Ingegneria dell' Universita` della Calabria. Da Novembre 2000 professore straordinario presso la Facolta` di Ingegneria dell' Universita` della Calabria. 1998 - 2001: incaricato di ricerca presso l'Istituto di Informatica e Sistemistica (ISI) del CNR.

Attivita' di docente

Dall'a.a. 1992/93 svolge attivita' di docente presso la Facolta' di Ingegneria dell'Universita' della Calabria. Dall'a.a. 1996/97 all'a.a. 1999/2000 e` stato professore supplente presso la Facolta' di Ingegneria dell' Universita` di Reggio Calabria. Dall'a.a. 1999/2000 e` professore supplente presso la Facolta` di Scienze Politiche dell' Universita` di Reggio Calabria. Attivita' amministrative

Da Marzo 1996 e` responsabile del Laboratorio Universitario di Informatica (LUI) del Dipartimento di Elettronica Informatica e Sistemistica. Membro della giunta del dipartimento di elettronica informatica e Sistemistica dal 1993 al 2000 Membro sel Senato Accademico Integrato dell'Universita' della Calabria dal 1993 al 1996. Membro del Consiglio di Aministrazione del Centro Residenziale dell'Universit\`a della Calabria da Novembre 1998 a Ottobre 2001.

Sintesi delle attività di ricerca antecedenti all'ultimo quinquennio Databases, Logic programming, nonmonotonic reasoning, world wide web, data integration, nondeterminism in logic languages

Principali interessi di ricerca dell'ultimo quinquennio Data integration, inconsistend data management, data mining, logic languages

Corrente Attività di ricerca Data integration and exchange, inconsistend data management, data mining, logic languages

Appartenenza a società e comitati scientifici Service to the Profession (since 2000) „X Associated Editor of IEEE Transactions on Knowledge and Data Engineering. „X Program Committee Chair, Thirteenth International Database Engineering and Applications

Symposium (IDEAS). „X Program Committee Chair, Second International Conference on Scalable Uncertain Information Management, Napoli (Italia), (SUM 2008). „X Program Committee Chair, Eleventh Italian Conference on Database Systems, Cetraro, Italy, . „X Program Committee Chair, 8th European Conference on Logics in Artificial Intelligence, Cosenza (Italy), 2002. Other activities Member of the program committee of several international conferences (ICDT, EDBT, VLDB, LPAR, WISE, ¡K) Reviewer for many journals in the field of database (IEEE-TKDE, ACM TODS, TPLP, Acta Informatica, JCSS, TCS, JLP ¡K)

Altre attività E' intensamente impegnato nel giocare a calcio (calcetto, calcio a 7, 8, .., 11).

Pubblicazioni Articoli Greco S. , Molinaro C. , Trubitsyna I. , " Logic Programming with Function Symbols: Checking Termination of Bottom-up Evaluation Through Program Adornments". Theory and Practice of Logic Programming, 2013, Vol. 13, n. 4-5, pp. 737-752. Greco S. , Molinaro C. , " Probabilistic Query Answering over Inconsistent Databases". Annals of Mathematics and Artificial Intelligence, 2012, Vol. 64, n. 2-3, pp. 185-207. Greco S. , Gullo F. , Ponti G. , Tagarelli A. , " Collaborative Clustering of XML Documents". Journal of computer and system sciences, 2011, Vol. 77, n. 6, pp. 988-1008. Greco S. , Spezzano F. , Trubitsyna I. , " Stratification Criteria and Rewriting Techniques for Checking Chase Termination". Proceedings of the VLDB Endowment (ACM), 2011, Vol. 4, n. 11, pp. 1158-1168. Greco S. , Leone N. , Palopoli L. , Rullo P. , Sacca' D. , " A long tour from theory to practice". Intelligenza Artificiale, 2011, Vol. 5, n. 1, pp. 133-138. Greco S. , Palopoli L. , Leone N. , Rullo P. , Sacca' D. , " Logic programming in Datalog: A long tour from theory to practice". Artificial Intelligence, 2011, Vol. 5, n. 1, pp. 133-138. Gullo F. , Ponti G. , Greco S. , XML Data Mining: Models, Methods, and Applications. Cap. 18, " Organizing XML Documents on a Peer-to-Peer Network by Collaborative Clustering", Hershey, PA, USA: IGI Global. 2011. pp. 449-466.

Tagarelli A. , Greco S. , " Semantic Clustering of XML Documents". ACM Transactions on Information Systems, 2010, Vol. 28, n. 1, pp. Greco S. , Spezzano F. , " Chase Termination: A Constraints Rewriting Approach". Proceedings of the VLDB Endowment (ACM), 2010, Vol. 3, n. 1, pp. 93-104. Greco S. , Molinaro C. , Trubitsyna I. , Zumpano E. , " NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems". Theory and Practice of Logic Programming, 2010, Vol. 10, n. 2, pp. 125-166. Molinaro C. , Greco S. , " Polynomial Time Queries over Inconsistent Databases with Functional Dependencies and Foreign Keys". Data and Knowlodge Engineering, 2010, Vol. 69, n. 7, pp. 709722. Caroprese L. , Greco S. , Zumpano E. , " Active Integrity Constraints for Database Consistency Maintenance". IEEE Transactions on knowledge and data engineering, 2009, pp. 1-16. Gullo F. , Ponti G. , Tagarelli A. , Greco S. , " A Time Series Representation Model for Accurate and Fast Similarity Detection". Pattern Recognition, 2009, Vol. 42, n. 11, pp. 2998-3014. Cannataro M. , Cuda G. , Gaspari M. , Greco S. , Veltri P. , Tradigo G. , " The EIPeptiDi tool: enhancing peptide discovery in ICAT-based LC MS/MS experiments". BMC BIOINFORMATICS, 2007, Vol. 8, n. 255, pp. 1-14. Furfaro F. , Greco S. , Molinaro C. , " A three-valued semantics for querying and repairing inconsistent databases". Annals of Mathematics and Artificial Intelligence, 2007, Vol. 51, n. 2-4, pp. 167-193. Greco S. , Trubitsyna I. , Zumpano E. , " On the Semantics of Logic Programs with Preferences". Journal of Artificial Intelligence Research, 2007, Vol. 30, pp. 501-523. Flesca S. G. , Furfaro F. , Greco S. , " A graph grammars based framework for querying graph-like data". Data and Knowlodge Engineering, 2006, Vol. 59, n. 3, pp. 652-680. Flesca S. G. , Furfaro F. , Greco S. , " Weighted path queries on semistructured databases". Information and computation, 2006, Vol. 204, n. 5, pp. 679-696. Greco G. , Greco S. , Trubitsyna I. , Zumpano E. , " Optimization of bound disjunctive queries with constraints". Theory and Practice of Logic Programming, 2005, Vol. 5, n. 6, pp. 713-745. Flesca S. G. , Greco S. , " Partially Ordered Regular Languages for Graph Queries". Journal of computer and system sciences, 2005, Vol. 70, n. 1, pp. 1-25.

Flesca S. G. , Greco S. , Tagarelli A. , Zumpano E. , " Mining User Preferences, Page Content and Usage to Personalize Website Navigation". World Wide Web Journal: Internet and Web Information Systems, 2005, Vol. 8, n. 3, pp. 317-345. Greco G. , Greco S. , Zumpano E. , " Modeling and Computing Web Communities". World Wide Web Journal: Internet and Web Information Systems, 2004, Vol. 7, n. 1, pp. 58-82. Tagarelli A. , Trubitsyna I. , Greco S. , " Combining linear programming techniques and clustering algorithms for the classification of Research Centers". AI Communications, 2004, Vol. 17, n. 3, pp. 111-122. Greco G. , Greco S. , Zumpano E. , " Collaborative Filtering Supporting Web Sites Navigation". AI Communications, 2004, Vol. 17, n. 3, pp. 1-10. Furfaro F. , Greco G. , Greco S. , " Minimal Founded Semantics for Disjunctive Logic Programs and Disjunctive Deductive Databases". Theory and Practice of Logic Programming, 2004, Vol. 4, n. 1-2, pp. 75-93. Greco G. , Greco S. , Zumpano E. , " A logical Framework for Querying and Repairing Inconsistent Databases". IEEE Transactions on knowledge and data engineering, 2003, Vol. 15, n. 6, pp. 13891408. Zumpano E. , Greco G. , Greco S. , Effective databases for text and document management. Cap. 18, " Repairing and Querying Inconsistent Databases", Hershey, Pa: Idea group. 2003. pp. 318-359. Greco S. , " Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries". IEEE Transactions on knowledge and data engineering, 2003, Vol. 15, n. 2, pp. 368-385. Greco S. , Sacca' D. , " Search and Optimization Algorithm in Datalog". In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski (a cura di), : Springer, 2002, LNCF Vol. 2408, pp. 61-82. Greco S. , Zumpano E. , Database Integrity: Challenge And Solutions. Cap. 6, " Consistent Queries over Databases with Integrity Constraints", Hershey, Pa: Idea group. 2002. pp. 172-202. Flesca S. G. , Furfaro F. , Greco S. , " A Query Language for XML based on Graph Grammars". World Wide Web Journal: Internet and Web Information Systems, 2002, Vol. 5, n. 2, pp. 125-158. Furfaro F. , Greco S. , Ganguly S. , Zaniolo C. , " Pushing Extrema Aggregates to Optimize Logic Queries". Information Systems, 2002, Vol. 27, pp. 321-343.

Basta S. , Flesca S. G. , Greco S. , " Functional Queries in Datalog". New Generation Computing, 2002, Vol. 20, n. 4, pp. 339-372. Flesca S. G. , Greco S. , " Declarative semantics for active rules". Theory and Practice of Logic Programming, 2001, Vol. 1, n. 1, pp. 43-69. Flesca S. G. , Furfaro F. , Greco S. , " Graph Grammars for Querying Graph-like Data". Electronic Notes in Theoretical Computer Science, 2001, Vol. 50, pp. 1-10. Greco G. , Greco S. , Zumpano E. , " A Probabilistic Approach for Distillation and Ranking of Web Pages". World Wide Web Journal: Internet and Web Information Systems, 2001, Vol. 4, n. 3, pp. 189207. Flesca S. G. , Greco S. , " Rewriting Queries Using Views". IEEE Transactions on knowledge and data engineering, 2001, Vol. 13, n. 6, pp. 980-995. Greco S. , Masciari E. , Pontieri L. , " Combining inductive and deductive tools for data analysis". AI Communications, 2001, Vol. 14, n. 2, pp. 69-82. Greco S. , Sacca' D. , Zaniolo C. , " Extending stratified datalog to capture complexity classes ranging from P to QH.". Acta informatica, 2001, Vol. 37, n. 10, pp. 699-725. Greco S. , Zaniolo C. , " Greedy Algorithms in Datalog". Theory and Practice of Logic Programming, 2001, Vol. 1, n. 1, pp. 381-407. Flesca S. G. , Greco S. , " Declarative Extended Path Queries for Object-Relational Databases And Web Data". Journal of Applied System Science, 2000, Vol. 1, n. 3, pp. 1-10. Basta S. , Flesca S. G. , Greco S. , " Optimization of Bounded Linear Recursive Queries". Networking and Information Systems Journal, 1999, Vol. 2, n. 4, pp. 387-412. Greco S. , Sacca' D. , Zaniolo C. , " Grammars and Automata to Optimize Chain Logic Queries". International journal of Foundations of computer science : theoretical and mathematical aspects of computer science, 1999, Vol. 10, n. 3, pp. 349-372. Greco S. , Sacca' D. , " Complexity and Expressive Power of Deterministic Semantics for DATALOG¬". Information and computation, 1999, Vol. 153, n. 1, pp. 81-98. Greco S. , " Dynamic Programming in Datalog with Aggregates". IEEE Transactions on knowledge and data engineering, 1999, Vol. 11, n. 2, pp. 387-412. Greco S. , " Non-determinism and weak constraints in Datalog". New Generation Computing, 1998,

Vol. 16, n. 4, pp. 373-396. Giannotti F. , Greco S. , Sacca' D. , Zaniolo C. , " Programming with Non-Determinism in Deductive Databases". Annals of Mathematics and Artificial Intelligence, 1997, Vol. 10, n. 1-2, pp. 97-125. Greco S. , Sacca' D. , " "Possible is Certain" is Desiderable and can be Expressive". Annals of Mathematics and Artificial Intelligence, 1997, Vol. 10, n. 1-2, pp. 97-125. Arni N. , Greco S. , Sacca' D. , " Matching of Bounded Set Terms in the Logic Language LDL++". Journal of Logic Programming, 1996, Vol. 27, n. 1, pp. 73-87. Greco S. , Palopoli L. , Spadafora E. , " Querying Datalog with Arrays: Design and Implementation Issues". Journal of System Integration, 1996, Vol. 6, n. 1, pp. 299-327. Greco S. , Palopoli L. , Spadafora E. , " Extending Datalog with Arrays". Data and Knowlodge Engineering, 1995, Vol. 17, n. 1, pp. 31-57. Ganguly S. , Greco S. , Zaniolo C. , " Extrema Predicates in Deductive Databases". Journal of computer and system sciences, 1995, Vol. 51, n. 2, pp. 244-259. Greco S. , Leone N. , Rullo P. , " COMPLEX: An Object-Oriented Logic Programming System". IEEE Transactions on knowledge and data engineering, 1992, Vol. 4, n. 4, pp. 344-359. Greco S. , Palopoli L. , Rullo P. , " Netlog, A Logic Query Language for Network Model Database". Data and Knowlodge Engineering, 1991, Vol. 3, n. 6, pp. 183-203. Greco S. , Leone N. , Rullo P. , " Un linguaggio Logico per Basi di Dati e Conoscenza". Rivista Italiana di Informatica, 1991, Vol. XXI, n. 4, pp. 343-355. Greco S. , Rullo P. , " Complex-Prolog: A Logic Database Language for Handling Complex Objects". Information Systems, 1989, Vol. 14, n. 1, pp. 79-87. Libri e Monografie Greco S. , Molinaro C. , Spezzano F. , Incomplete Data and Data Dependencies in Relational Databases, Synthesis Lectures on Data Management : Morgan & Claypool Publishers, 2012. Atti di convegno Greco S. , Molinaro C. , Trubitsyna I. , " Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols". Atti del convegno "International Joint Conference on Artificial Intelligence (IJCAI)", Beijing, China, 2013, pp. 926-932. Romeo S. , Tagarelli A. , Gullo F. , Greco S. , " A Tensor-based Clustering Approach for Multiple Document Classifications". Atti del convegno "International Conference on Pattern Recognition

Applications and Methods (ICPRAM '13)", Barcelona, Spain, 2013, 2013, pp. Greco S. , Spezzano F. , Trubitsyna I. , " On the Termination of Logic Programs with Function Symbols". Atti del convegno "Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012)", Budapest, Ungheria, 2012, 2012, pp. 323-333. Greco S. , Spezzano F. , Trubitsyna I. , " Stratification-based Criteria for Checking Chase Termination". Atti del convegno "20th Italian Symposium on Advanced Database Systems (SEBD 2012)", Venezia, Italy, 2012, 2012, pp. 185-192. De Francesco A. , Greco S. , Spezzano F. , Trubitsyna I. , " ChaseT: A Tool for Checking Chase Termination". Atti del convegno "5th International Conference on Scalable Uncertainty Management (SUM 2011)", Dayton, Ohio - USA, 2011, 2011, pp. 520-524. Greco S. , Gullo F. , Ponti G. , Tagarelli A. , Agapito G. , " Clustering XML Documents: a Distributed Collaborative Approach". Atti del convegno "18th Italian Symposium on Advanced Database Systems (SEBD `10)", Rimini, Italy, 2010, 2010, pp. 406-413. Greco S. , Molinaro C. , Spezzano F. , Trubitsyna I. , " Querying and Updating Inconsistent Databases". Atti del convegno "Italian Symposium on Advanced Database Systems (SEBD)", Rimini, Italy, 2010, pp. 438-445. Greco S. , Molinaro C. , " Consistent Query Answering over Inconsistent Databases". Atti del convegno "International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES)", Santiago, Cile, 2009, pp. 17-28. Greco S. , Gullo F. , Ponti G. , Tagarelli A. , " Collaborative XML Document Clustering". Atti del convegno "1th International Workshop on Distributed XML Processing, ICPP 2009 Workshops", Vienna, Austria, 2009, 2009, pp. 579-586. Molinaro C. , Spezzano F. , Greco S. , " A System Prototype for Computing Probabilistic Query Answers over Inconsistent Databases". Atti del convegno "Italian Symposium on Advanced Database Systems (SEBD)", Camogli, Italy, 2009, pp. 9-20. Tagarelli A. , Longo M. , Greco S. , " Word Sense Disambiguation for XML Structure Feature Generation". Atti del convegno "6th European Semantic Web Conference (ESWC ’09)", Heraklion, Greece, 2009, 2009, pp. Gullo F. , Ponti G. , Tagarelli A. , Greco S. , " Information-Theoretic Hierarchical Clustering of Uncertain Data". Atti del convegno "17th Italian Symposium on Advanced Database Systems (SEBD `09)", Geneva, Italy, 2009, 2009, pp. 273-280. Gullo F. , Tagarelli A. , Greco S. , " Diversity-based Weighting Schemes for Clustering Ensembles". Atti del convegno "SIAM International Conference on Data Mining (SDM)", Sparks, NV (USA), April 30-May 2, 2009, 2009, pp. 437-448. Greco S. , Molinaro C. , " Approximate Probabilistic Query Answering over Inconsistent Databases". Atti del convegno "International Conference on Conceptual Modeling (ER)", Barcelona, Spain, 2008, pp. 311-325. Gullo F. , Ponti G. , Tagarelli A. , Greco S. , " A Hierarchical Algorithm for Clustering Uncertain Data via an Information-Theoretic Approach". Atti del convegno "IEEE International Conference on Data Mining (ICDM)", Pisa, Italy, 15-19 December, 2008, 2008, pp. 821-826. Amato F. , Cannataro M. , Greco S. , Tradigo G. , Veltri P. , Cosentino C. , " A web-based system for the collection and analysis of spectra signals for early detection of voice alterations". Atti del

convegno "ACM Symposium on Applied Computing (SAC)", Fortaleza, Ceara (Brasil), 2008, 2008, pp. 1405-1409. Garro A. , Greco S. , Palopoli F. , " Smart Agents and Smart Environments: a Predictive Approach to Replanning". Atti del convegno "Intelligent Agents and Services for Smart Environments(IASSE) as part of the Artificial Intelligence and Simulation of Behaviour (AISB) Convention", Aberdeen, SCOTLAND, 1-4 April, 2008, 2008, pp. Greco S. , Molinaro C. , " Towards Relational Inconsistent Databases with Functional Dependencies". Atti del convegno "International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES)", Zagreb, Croatia, 2008, pp. 695-702. Greco S. , Molinaro C. , Parisi F. , " Preference Rules in Database Querying". Atti del convegno "International Conference on Enterprise Information Systems (ICEIS)", Funchal, Madeira, Portugal, 2007, pp. 119-124. Palopoli F. , Greco S. , " A simulation based agent architecture for supporting decision making in dynamic environments". Atti del convegno "ESM'2007", St. Julian, Malta, 2007, 2007, pp. Greco S. , Molinaro C. , Parisi F. , " Exploiting Preference Rules for Querying Databases". Atti del convegno "Italian Symposium on Advanced Database Systems (SEBD)", Torre Canne, Italy, 2007, pp. 405-413. Caroprese L. , Greco S. , Molinaro C. , " Prioritized Active Integrity Constraints for Database Maintenance". Atti del convegno "International Conference on Database Systems for Advanced Applications (DASFAA)", Bangkok, Thailand, 2007, pp. 459-471. Gullo F. , Ponti G. , Tagarelli A. , Greco S. , " Accurate and Fast Similarity Detection in Time Series". Atti del convegno "SEBD", Bari, Italy, June 17-20, 2007, 2007, pp. 172-183. Greco S. , Molinaro C. , " Querying and Repairing Inconsistent Databases Under Three-Valued Semantics". Atti del convegno "International Conference on Logic programming (ICLP)", Porto, Portugal, 2007, pp. 149-164. Greco S. , Trubitsyna I. , Zumpano E. , " On the Semantics of Logic Programs with Preferences". Atti del convegno "JELIA", Liverpool, September 13-15, 2006, 2006, pp. 203-215. Caroprese L. , Greco S. , Zumpano E. , " Merging, Repairing and Querying Inconsistent Databases". Atti del convegno "ICEIS", Paphos - Cyprus, 2006, 2006, pp. 38-45. Tagarelli A. , Greco S. , " SemXClust: A System for Semantic XML Clustering". Atti del convegno "SEBD", Portonovo (Ancona), 2006, 2006, pp. 72-79. Tagarelli A. , Greco S. , " Toward Semantic XML Clustering". Atti del convegno "Proceedings of the Sixth SIAM International Conference on Data Mining, SDM '06", Bethesda, Maryland, USA, 20-22 April, 2006, 2006, pp. Caroprese L. , Greco S. , Zumpano E. , " Declarative Semantics of Production Rules". Atti del convegno "ICLP", Seattle, WA, USA, 2006, 2006, pp. 26-40. Greco S. , Molinaro C. , Trubitsyna I. , " Implementation and Experimentation of the Logic Language NP Datalog". Atti del convegno "International Conference on Database and Expert Systems Applications (DEXA)", Krakow, Poland, 2006, pp. 622-633. Caroprese L. , Greco S. , Molinaro C. , " Prioritized Active Integrity Constraints for Database Maintenance". Atti del convegno "Italian Symposium on Advanced Database Systems (SEBD)", Ancona, Italy, 2006, pp. 20-31.

Caroprese L. , Greco S. , Zumpano E. , " A Logic Programming Approach to Querying and Integrating P2P Deductive Databases". Atti del convegno "FLAIRS", Melbourne Beach, Florida, 2006, 2006, pp. 31-36. Caroprese L. , Greco S. , Trubitsyna I. , Zumpano E. , " Preferred Generalized Answers for Inconsistent Databases". Atti del convegno "ISMIS", Bari - Italy, 2006, 2006, pp. 344-349. Greco S. , Ruffolo M. , Tagarelli A. , " Effective and efficient similarity search in time series". Atti del convegno "CIKM - Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management", Arlington, Virginia, USA, 2006, 2006, pp. Greco S. , Scicchitano A. , Tagarelli A. , Zumpano E. , " A Mobile-Aware System for Website Personalization". Atti del convegno "WAIM '05", Hangzhou, China, 2005, 2005, pp. 810-815. Caroprese L. , Greco S. , Zumpano E. , " A logic based approach to P2P Databases". Atti del convegno "SEBD", Bressanone, 2005, 2005, pp. 67-74. Flesca S. G. , Furfaro F. , Greco S. , Zumpano E. , " Querying and Repairing Inconsistent XML Data". Atti del convegno "Web Information Systems Engineering (WISE)", New York, NY, USA, 20-22 novembre, 2005, 2005, pp. 175-188. Zumpano E. , Greco S. , Trubitsyna I. , " NP Datalog: A Logic Language for NP Search and Optimization Queries". Atti del convegno "IDEAS", Montreal, Canada, July 25-27, 2005, 2005, pp. 344-353. Zumpano E. , Greco S. , Trubitsyna I. , " Aggregates and Preferences in Logic Programming". Atti del convegno "ISMIS", Saratoga Springs, New York, 2005, 2005, pp. 413-424. Cuzzocrea A. , Furfaro F. , Greco S. , Mazzeo G. M. , Masciari E. , Sacca' D. , " A Distributed System for Answering Range Queries on Sensor Network Data". Atti del convegno "1st International Workshop on Sensor Networks and Systems for Pervasive Computing", Kauai, Hawai, Stati Uniti d'America, 8-12 Marzo, 2005, 2005, pp. 369-373. Greco S. , Tagarelli A. , Trubitsyna I. , Zumpano E. , " A System Supporting Website Navigation". Atti del convegno "SEBD", S. Margherita di Pula (CA), 2004, 2004, pp. 142-149. Tagarelli A. , Trubitsyna I. , Greco S. , " Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques". Atti del convegno "International Conference on Enterprise Information Systems", Porto (Portugal), April 14-17, 2004, 2004, Vol. II, pp. 84-91. Greco S. , Sirangelo C. , Trubitsyna I. , Zumpano E. , " Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases". Atti del convegno "International Conference on Database and Expert Systems Applications (DEXA)", Zaragoza, Spain, 2004, 2004, pp. 44-55. Zumpano E. , Flesca S. G. , Greco S. , " Active Integrity Constraints". Atti del convegno "International Conference on Principles and Practice of Declarative Programming (PPDP)", Verona, Italy, 2004, 2004, pp. Flesca S. G. , Greco S. , Tagarelli A. , Zumpano E. , " Non-Invasive Support for Personalized Navigation of Websites". Atti del convegno "IDEAS", Coimbra, Portugal, 2004, 2004, pp. 183-192. Tagarelli A. , Greco S. , " Clustering Transactional XML Data with Semantically-Enriched Content and Structural Features". Atti del convegno "WISE '04", Brisbane, Australia, 2004, 2004, pp. 266-278. Zumpano E. , Greco S. , Trubitsyna I. , Veltri P. , " On the semantics and expressive power of Datalog-like languages for NP search and optimization problems". Atti del convegno "Proceedings of the 2004 ACM Symposium on Applied Computing (SAC)", Nicosia, Cyprus, 2004, ACM:2004, pp.

692-697. Greco S. , Zumpano E. , " On the Rewriting and Efficient Computation of Bound Disjunctive Datalog.". Atti del convegno "Int. Conf. on Principles and Practice of Declarative Programming", Uppsala, Sweden, 27-29 August 2003, 2003, 2003, pp. 136-147. Greco S. , Sirangelo C. , Trubitsyna I. , Zumpano E. , " Preferred Repairs for Inconsistent Databases". Atti del convegno "IDEAS", Hong Kong, 2003, 2003, pp. 202-211. Flesca S. G. , Greco G. , Greco S. , Zumpano E. , " A lightweight tool for easy web sites navigation". Atti del convegno "Int. Conf. on Web Information Systems Engineering", Rome, December 10th 12th, 2003, 2003, pp. 134-146. Flesca S. G. , Furfaro F. , Greco S. , Zumpano E. , " Repairs and Consistent Answers for XML Data with Functional Dependencies". Atti del convegno "XML Database Symposium (XSym)", Berlin, Germany, 2003, 2003, pp. 238-253. Greco G. , Greco S. , Zumpano E. , " A Logic Language for Database Integration". Atti del convegno "APPIA-GULP-PRODE Joint Conference on Declarative Programming", Madrin, Spain, 2002, 2002, pp. 1-15. Greco G. , Greco S. , Zumpano E. , " Sted: A System Prototype for Discovering Authoritative Web Pages". Atti del convegno "IEEE International Conference on Information Technology: Coding and Computing (ITCC)", Las Vegas, 2002, 2002, pp. 294-299. Flesca S. G. , Furfaro F. , Greco S. , " XGL: A Graphical Query Language for XML". Atti del convegno "International Conference on Data Engineering (ICDE)", San Jose, California, USA, 2002, 2002, pp. Flesca S. G. , Furfaro F. , Greco S. , " XGL: a graphical query language for XML". Atti del convegno "International Database Engineering and Application Symposium (IDEAS)", Edmonton, Alberta, Canada, July 17-19, 2002, IEEE Computer Society:2002, pp. 86-95. Greco G. , Greco S. , Zumpano E. , " A Stochastic Approach for Modeling and Computing Web Communities". Atti del convegno "The 3rd International Conference on Web Information Systems Engineering (WISE)", Singapore, 12 - 14th Dec, 2002, 2002, pp. 43-52. Greco G. , Greco S. , Trubitsyna I. , Zumpano E. , " Translating Datalog-like Optimization Queries into ILOG Programs". Atti del convegno "Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR)", Madrid, Spain, 17 - 20 September, 2002, 2002, pp. 48-49. Greco G. , Greco S. , Zumpano E. , " A logical Framework for the Integration of Databases". Atti del convegno "International Symposium on Methodologies for Intelligent Sistems (ISMIS)", Lyon, June 27-29, 2002, Springer:2002, Vol. LNCS 2366, pp. 274-284. Greco G. , Greco S. , Trubitsyna I. , Zumpano E. , " Binding Propagation in Disjunctive Deductive Databases with Constraints through Binding Propagation". Atti del convegno "Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)", Tiblisi, Georgia, October 14-18th, 2002, Springer:2002, pp. 216-230. Greco G. , Greco S. , Zumpano E. , " A Probabilistic Approach for Discovering Authoritative Web Pages". Atti del convegno "International Conference on Web and Information Systems (WISE)", Kyoto (Japan), 2001, 2001, pp. Greco S. , Pontieri L. , Zumpano E. , " Integrating and Managing Conflicting Data". Atti del convegno "Perspectives of System Informatics, 4th International - Andrei Ershov Memorial Conference (PSI)",

Novosibirsk (Russia), 2001, 2001, pp. 187-192. Greco G. , Greco S. , Zumpano E. , " Deterministic Semantics for Disjunctive Logic Programs". Atti del convegno "APPIA-GULP-PRODE Joint Conference on Declarative Programming", Evora (Portugal), 26/9 - 28/9, 2001, 2001, pp. 17-30. Greco S. , Zumpano E. , Pontieri L. , " Integrating Possibly Conflicting Data". Atti del convegno "Conferenza Nazionale su Sistemi Evoluti per Basi di Dati", Venezia (Italy), 2001, 2001, pp. 241-248. Greco S. , Zumpano E. , " Computing Repairs for Inconsistent Databases". Atti del convegno "International Symposium on Cooperative Database Systems and Applications (CODAS)", Beijing, China, April 23-24, 2001, IEEE Computer Society:2001, pp. 33-42. Greco G. , Greco S. , Zumpano E. , " A logic Programming approach to the Integration, Repairing and Querying of". Atti del convegno "International Conference on Logic Programming", Paphos (Cypress), 26/11 - 1/12, 2001, Springer:2001, pp. 348-364. Flesca S. G. , Furfaro F. , Greco S. , " Weighted path queries on Web Data". Atti del convegno "International Workshop on the Web and Databases (WEBDB)", Santa Barbara (California, USA), 2001, 2001, pp. 7-12. Greco S. , Pontieri L. , Zumpano E. , " A Technique for Information System Integration". Atti del convegno "International Conference on Information Systems Technology and its Applications (ISTA)", Kharkiv (Ukraine), 2001, 2001, pp. Flesca S. G. , Greco S. , " Querying Graph Databases". Atti del convegno "International Conference on Extending Database Technology", Konstanz, Germany, March 27-31, 2000, Springer (LNCS):2000, Vol. 1777, pp. 510-524. Flesca S. G. , Greco S. , Strazzulla G. , " Rappresentazione ed interrogazione di dati XML". Atti del convegno "Convegno Nazionale su Sistemi Evoluti per Basi di Dati", L'Aquila, 26-28 Giugno, 2000, 2000, pp. 95-108. Greco S. , Dattilo G. , Masciari E. , Pontieri L. , " A Hybrid Technique for Data Mining on BalanceSheet Data". Atti del convegno "International Conference on Data Warehousing and Knowledge Discovery", London, September 4-6, 2000, Springer (LNCS):2000, Vol. 1874, pp. 419-424. Greco S. , Masciari E. , Pontieri L. , " Combining Different Data Mining Techniques to Improve Data Analysis". Atti del convegno "International Conference on Flexible Query Answering Systems", Warsaw, Poland, October 25 - 28, 2000, Springer-Verlag:2000, pp. 455-464. Greco S. , Basta S. , Zumpano E. , " Integrazione di basi dati con vincoli". Atti del convegno "Convegno Nazionale su Sistemi Evoluti per Basi di Dati", L'Aquila, 26-28 Giugno, 2000, 2000, pp. 333-344. Greco S. , Zumpano E. , " Querying Inconsistent Databases". Atti del convegno "International Conference on Logic for Programming and Automated Reasoning (LPAR)", Reunion Island, France, November 11-12, 2000, Springer (LNCS):2000, Vol. 1955, pp. 308-325. Greco S. , Sacca' D. , " Search and Optimization Algorithm in Datalog". Atti del convegno "APPIAGULP-PRODE Joint Conference on Declarative Programming", Habana, Cuba, December, 4-7, 2000, 2000, pp. 1-15. Flesca S. G. , Greco S. , Zumpano E. , " Modeling and Querying XML-Data". Atti del convegno "International Database Engineering and Applications Symposium", Yokohoma, Japan, September 1820, 2000, . IEEE Computer Society:2000, pp. 275-286.

Flesca S. G. , Greco S. , " Partially Ordered Regular Languages for Graph Queries". Atti del convegno "International Colloquium on Automata, Languages and Programming", Prague, July 11-15, 1999, Springer (LNCS):1999, Vol. 1644, pp. 321-330. Flesca S. G. , Greco S. , Lambardi P. , Romeo D. , " A System Prototype for the Optimization of Disjunctive Logic Programs". Atti del convegno "APPIA-GULP-PRODE Joint Conference on Declarative Programming", L'Aquila, Italy, 1999, 1999, pp. 229-241. Greco S. , " Minimal Founded Semantics for Disjunctive Logic Programming". Atti del convegno "International Conference on Logic Programming and Non-Monotonic Reasoning", El Paso, December 2-4, 1999, Springer (LNCS):1999, Vol. 1730, pp. 221-235. Flesca S. G. , Greco S. , " Declarative Extended Path Queries For Object-Relational Databases And Web Data". Atti del convegno "International Conference on Databases, Web and Cooperative Systems", 1999, 1999, Vol. 1, pp. 35-40. Greco S. , " Optimization of Disjunctive Queries". Atti del convegno "International Conference on Logic Programming", Las Cruces, November 29 - Decemb, 1999, MIT Press:1999, pp. 441-455. Flesca S. G. , Greco S. , " Rewriting Queries Using Views". Atti del convegno "International Conference on Database and Expert Systems Applications", Firenze, August 30 - Septembe, 1999, Springer (LNCS):1999, Vol. 1677, pp. 352-361. Greco S. , Palopoli L. , Spadafora E. , " Datalog : Array Manipulations in a Deductive Database Language,". Atti del convegno "4th Intl. Conference on Database Systems for Advanced Applications,", Singapore, 1995, World Scientific Pub.,:pp. 180-188. Greco S. , Palopoli L. , Rullo P. , " Updating Deductive Databases: a Survey,". Atti del convegno "AICA", Bari, 1990, Vol. 1, pp. 211-226. Volume intero in qualità di curatore o co-autore A cura di Desai B. , Sacca' D. , Greco S. , International Database Engineering and Applications Symposium (IDEAS 2009), New York, NY: ACM Press, 2009. A cura di Greco S. , Lukasiewicz T. , Scalable Uncertainty Management, Second International Conference (SUM), Lecture Notes in Computer Science Vol. 5291, : Springer, 2008. A cura di Flesca S. G. , Greco S. , Sacca' D. , Zumpano E. , Proceedings Eleventh Italian Conference on Database Systems, Soveria Mannelli: Rubbettino editore, 2003. A cura di Flesca S. G. , Greco S. , Ianni G. , Leone N. , Logics in Artificial Intelligence (JELIA), LNAI Vol. 2424, : Springer Verlag, 2002.