Complex-Prolog: a logic database language for handling complex objects. - Sergio Greco; Pasquale Rullo (Inf. Syst., 1989)

Negative Logic Programs. - Sergio Greco; Domenico Saccà (NACLP, 1990)

Minimum and Maximum Predicates in Logic Programming. - Sumit Ganguly; Sergio Greco; Carlo Zaniolo (PODS, 1991)

Netlog: A Logic Query Language for Network Model Databases. - Sergio Greco; Luigi Palopoli 001; Pasquale Rullo (Data Knowl. Eng., 1991)

Optimization of Linear Logic Programs Using Counting Methods. - Sergio Greco; Carlo Zaniolo (EDBT, 1992)

Set-Term Matching in Logic Programming. - Natraj Arni; Sergio Greco; Domenico Saccà (ICDT, 1992)

Greedy by Choice. - Sergio Greco; Carlo Zaniolo; Sumit Ganguly (PODS, 1992)

COMPLEX: An Object-Oriented Logic Programming System. - Sergio Greco; Nicola Leone; Pasquale Rullo (IEEE Trans. Knowl. Data Eng., 1992)

Optimization of Chain Queries. - Sergio Greco (DASFAA, 1993)

Dynamic Programming Optimization for Logic Queries with Aggregates. - Sergio Greco; Domenico Saccà; Carlo Zaniolo (ILPS, 1993)

Prototypes in the LOGIDATA+ Project. - Alessandro Artale; Jean Paul Ballerini; Filippo Cacace; Stefano Ceri; Francesca Cesarini; Anna Formica; Herman Lam; Sergio Greco; Giorgio Marrella; Michele Missikoff; Luigi Palopoli 001; Luigi Pichetti; et al. (LOGIDATA+: Deductive Databases with Complex Objects, 1993)

Evaluation of Negative Logic Programs. - Sergio Greco; Massimo Romeo; Domenico Saccà (LOGIDATA+: Deductive Databases with Complex Objects, 1993)

Efficient Execution of Recursive Queries Through Controlled Binding Propagation. - Sergio Greco; Carlo Zaniolo (ISMIS, 1994)

Implementazione di Interrogazioni Semplici Concatenate. - Francesco Buccafurri; Sergio Greco; Eugenio Spadafora (SEBD, 1994)

DatalogA: Array Manipulations in a Deductive Database Language. - Sergio Greco; Luigi Palopoli 001; Eugenio Spadafora (DASFAA, 1995)

The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). - Sergio Greco; Domenico Saccà; Carlo Zaniolo (ICALP, 1995)

DATALOG Queries with Stratified Negation and Choice: from P to DP. - Sergio Greco; Domenico Saccà; Carlo Zaniolo (ICDT, 1995)

Extending Datalog with Arrays. - Sergio Greco; Luigi Palopoli 001; Eugenio Spadafora (Data Knowl. Eng., 1995)

Extrema Predicates in Deductive Databases. - Sumit Ganguly; Sergio Greco; Carlo Zaniolo (J. Comput. Syst. Sci., 1995)

Extending Datalog with Choice and Weak Constraints. - Sergio Greco (APPIA-GULP-PRODE, 1996)

Implementation of Chain Logic Queries. - Sergio Greco; Eugenio Spadafora (APPIA-GULP-PRODE, 1996)

The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). - Sergio Greco; Domenico Saccà (ASIAN, 1996)

Optimal Unification of Bounded Simple Set Terms. - Sergio Greco (CIKM, 1996)

The Complexity of Weak Unification of Bounded Simple Set Terms. - Sergio Greco; Cristinel Mateis; Eugenio Spadafora (DEXA, 1996)

Unification of Bounded Simple Set Terms in Deductive Databases. - Sergio Greco; Cristinel Mateis; Eugenio Spadafora (Logic in Databases, 1996)

Matching of Bounded Set Terms in the Logic Language LDL++. - Natraj Arni; Sergio Greco; Domenico Saccà (J. Log. Program., 1996)

Querying Datalog with Arrays: Design and Implementation Issues. - Sergio Greco; Luigi Palopoli 001; Eugenio Spadafora (J. Syst. Integr., 1996)

Deterministic Semantics for Datalog¬: Complexity and Expressive Power. - Sergio Greco; Domenico Saccà (DOOD, 1997)

The Expressive Power of Unique Total Stable Model Semantics. - Francesco Buccafurri; Sergio Greco; Domenico Saccà (ICALP, 1997)

DATALOG with Nested Rules. - Sergio Greco; Nicola Leone; Francesco Scarcello (LPKR, 1997)

Un Linguaggio per Interrogazioni Funzionali: Implementazione di un Prototipo. - Stefano Basta; Sergio Greco (SEBD, 1997)

NP Optimization Problems in Datalog. - Sergio Greco; Domenico Saccà (ILPS, 1997)

Programming with Non-Determinism in Deductive Databases. - Fosca Giannotti; Sergio Greco; Domenico Saccà; Carlo Zaniolo (Ann. Math. Artif. Intell., 1997)

"Possible is Certain" is Desirable and Can Be Expressive. - Sergio Greco; Domenico Saccà (Ann. Math. Artif. Intell., 1997)

Extending Datalog to Express Functional Queries: A Language and its Implementation. - Stefano Basta; Sergio Flesca; Sergio Greco (APPIA-GULP-PRODE, 1998)

Optimization of Logic Queries with MIN and MAX Predicates. - Sergio Greco; Carlo Zaniolo; Sumit Ganguly (FQAS, 1998)

Greedy Algorithms in Datalog with Choice and Negation. - Sergio Greco; Carlo Zaniolo (IJCSLP, 1998)

Deterministic and Nondeterministic Declarative Semantics for Active Rules. - Sergio Flesca; Sergio Greco (SEBD, 1998)

Binding Propagation in Disjunctive Databases. - Sergio Greco (VLDB, 1998)

Non-Determinism and Weak Constraints in Datalog. - Sergio Greco (New Gener. Comput., 1998)

A System Prototype for the Optimization of Disjunctive Queries. - Sergio Flesca; Sergio Greco; P. Lambardi; D. Romeo (APPIA-GULP-PRODE, 1999)

Optimization of Disjunctive Queries. - Sergio Greco (ICLP, 1999)

Minimal Founded Semantics for Disjunctive Logic Programming. - Sergio Greco (LPNMR, 1999)

A System Prototype for the Evaluation of Queries on Materialized Views. - Stefano Basta; Sergio Flesca; Sergio Greco; Ester Zumpano (SEBD, 1999)

Complexity and Expressive Power of Deterministic Semantics for DATALOG¬. - Sergio Greco; Domenico Saccà (Inf. Comput., 1999)

Grammars and Automata to Optimize Chain Logic Queries. - Sergio Greco; Domenico Saccà; Carlo Zaniolo (Int. J. Found. Comput. Sci., 1999)

Optimization of Bounded Linear Recursive Queries. - Stefano Basta; Sergio Flesca; Sergio Greco (Netw. Inf. Syst. J., 1999)

Dynamic Programming in Datalog with Aggregates. - Sergio Greco (IEEE Trans. Knowl. Data Eng., 1999)

A Hybrid Technique for Data Mining on Balance-Sheet Data. - Giuseppe Dattilo; Sergio Greco; Elio Masciari; Luigi Pontieri (DaWaK, 2000)

Querying Graph Databases. - Sergio Flesca; Sergio Greco (EDBT, 2000)

Combining Different Data Mining Techniques to Improve Data Analysis. - Sergio Greco; Elio Masciari; Luigi Pontieri (FQAS, 2000)

Modeling and Querying XML-Data. - Sergio Flesca; Sergio Greco; Ester Zumpano (IDEAS, 2000)

Querying Inconsistent Databases. - Sergio Greco; Ester Zumpano (LPAR, 2000)

Integrazione di basi dati con vincoli. - Stefano Basta; Sergio Greco; Ester Zumpano (SEBD, 2000)

Rappresentazione ed interrogazione di dati XML. - Sergio Flesca; Sergio Greco; G. Strazzulla (SEBD, 2000)

Deterministic semantics for disjunctive logic programs. - Gianluigi Greco; Sergio Greco; Ester Zumpano (APPIA-GULP-PRODE, 2001)

Computing Repairs for Inconsistent Databases. - Sergio Greco; Ester Zumpano (CODAS, 2001)

Integrating and Managing Conflicting Data. - Sergio Greco; Luigi Pontieri; Ester Zumpano (Ershov Memorial Conference, 2001)

A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. - Gianluigi Greco; Sergio Greco; Ester Zumpano (ICLP, 2001)

A Technique for Information System Integration. - Sergio Greco; Luigi Pontieri; Ester Zumpano (ISTA, 2001)

Integrating Possibly Conflicting Data. - Sergio Greco; Luigi Pontieri; Ester Zumpano (SEBD, 2001)

Weighted Path Queries on Web Data. - Sergio Flesca; Filippo Furfaro; Sergio Greco (WebDB, 2001)

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

Extending stratified datalog to capture complexity classes ranging from P to QH. - Sergio Greco; Domenico Saccà; Carlo Zaniolo (Acta Informatica, 2001)

Combining inductive and deductive tools for data analysis. - Sergio Greco; Elio Masciari; Luigi Pontieri (AI Commun., 2001)

Graph Grammars for Querying Graph-like Data. - Sergio Flesca; Filippo Furfaro; Sergio Greco (GT-VMT@ICALP, 2001)

Rewriting Queries Using Views. - Sergio Flesca; Sergio Greco (IEEE Trans. Knowl. Data Eng., 2001)

Declarative semantics for active rules. - Sergio Flesca; Sergio Greco (Theory Pract. Log. Program., 2001)

Greedy Algorithms in Datalog. - Sergio Greco; Carlo Zaniolo (Theory Pract. Log. Program., 2001)

A Probabilistic Approach for Distillation and Ranking of Web Pages. - Gianluigi Greco; Sergio Greco; Ester Zumpano (World Wide Web, 2001)

Consistent Queries Over Databases with Integrity Constraints. - Sergio Greco; Ester Zumpano (Database Integrity, 2002)

A Logic Language for Database Integration. - Gianluigi Greco; Sergio Greco; Ester Zumpano (APPIA-GULP-PRODE, 2002)

Search and Optimization Problems in Datalog. - Sergio Greco; Domenico Saccà (Computational Logic: Logic Programming and Beyond, 2002)

A Graphical XML Query Language. - Sergio Flesca; Filippo Furfaro; Sergio Greco (ICDE, 2002)

XGL: a graphical query language for XML. - Sergio Flesca; Filippo Furfaro; Sergio Greco (IDEAS, 2002)

A Logic Framework for the Integration of Databases. - Gianluigi Greco; Sergio Greco; Ester Zumpano (ISMIS, 2002)

STED: A System for Topic Enumeration and Distillation. - Gianluigi Greco; Sergio Greco; Ester Zumpano (ITCC, 2002)

Translating Datalog-Like Optimization Queries into ILOG Programs. - Gianluigi Greco; Sergio Greco; Irina Trubitsyna; Ester Zumpano (LOPSTR, 2002)

Query Optimization of Disjunctive Databases with Constraints through Binding Propagation. - Gianluigi Greco; Sergio Greco; Irina Trubitsyna; Ester Zumpano (LPAR, 2002)

A Stochastic Approach for Modeling and Computing Web Communities. - Gianluigi Greco; Sergio Greco; Ester Zumpano (WISE, 2002)

Pushing extrema aggregates to optimize logic queries. - Filippo Furfaro; Sergio Greco; Sumit Ganguly; Carlo Zaniolo (Inf. Syst., 2002)

Functional Queries in Datalog. - Stefano Basta; Sergio Flesca; Sergio Greco (New Gener. Comput., 2002)

A Query Language for XML Based on Graph Grammars. - Sergio Flesca; Filippo Furfaro; Sergio Greco (World Wide Web, 2002)

Repairing and Querying Inconsistent Databases. - Gianluigi Greco; Sergio Greco; Ester Zumpano (Effective Databases for Text & Document Management, 2003)

Preferred Repairs for Inconsistent Databases. - Sergio Greco; Cristina Sirangelo; Irina Trubitsyna; Ester Zumpano (IDEAS, 2003)

On the rewriting and efficient computation of bound disjunctive datalog queries. - Sergio Greco; Ester Zumpano (PPDP, 2003)

A Lightweight Tool for Easy Web Site Navigation. - Sergio Flesca; Gianluigi Greco; Sergio Greco; Ester Zumpano (WISE, 2003)

Repairs and Consistent Answers for XML Data with Functional Dependencies. - Sergio Flesca; Filippo Furfaro; Sergio Greco; Ester Zumpano (Xsym, 2003)

Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. - Sergio Greco (IEEE Trans. Knowl. Data Eng., 2003)

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

Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases. - Sergio Greco; Cristina Sirangelo; Irina Trubitsyna; Ester Zumpano (DEXA, 2004)

Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques. - Andrea Tagarelli; Irina Trubitsyna; Sergio Greco (ICEIS (2), 2004)

Non-Invasive Support for Personalized Navigation of Websites. - Sergio Flesca; Sergio Greco; Andrea Tagarelli; Ester Zumpano (IDEAS, 2004)

Active integrity constraints. - Sergio Flesca; Sergio Greco; Ester Zumpano (PPDP, 2004)

On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. - Ester Zumpano; Sergio Greco; Irina Trubitsyna; Pierangelo Veltri (SAC, 2004)

A System Supporting Website Navigation. - Sergio Greco; Andrea Tagarelli; Irina Trubitsyna; Ester Zumpano (SEBD, 2004)

Clustering Transactional XML Data with Semantically-Enriched Content and Structural Features. - Andrea Tagarelli; Sergio Greco (WISE, 2004)

Collaborative Filtering Supporting Web Site Navigation. - Gianluigi Greco; Sergio Greco; Ester Zumpano (AI Commun., 2004)

Combining linear programming and clustering techniques for the classification of research centers. - Andrea Tagarelli; Irina Trubitsyna; Sergio Greco (AI Commun., 2004)

Minimal founded semantics for disjunctive logic programs and deductive databases. - Filippo Furfaro; Gianluigi Greco; Sergio Greco (Theory Pract. Log. Program., 2004)

Web Communities: Models and Algorithms. - Gianluigi Greco; Sergio Greco; Ester Zumpano (World Wide Web, 2004)

Consistent Queries Over Databases with Integrity Constraints. - Sergio Greco; Ester Zumpano (Encyclopedia of Information Science and Technology (I), 2005)

Repairing Inconsistent XML Data with Functional Dependencies. - Sergio Flesca; Filippo Furfaro; Sergio Greco; Ester Zumpano (Encyclopedia of Database Technologies and Applications, 2005)

Managing Inconsistent Databases Using Active Integrity Constraints. - Sergio Flesca; Sergio Greco; Ester Zumpano (Encyclopedia of Database Technologies and Applications, 2005)

Preferred Repairs for Inconsistent Databases. - Sergio Greco; Cristina Sirangelo; Irina Trubitsyna; Ester Zumpano (Encyclopedia of Database Technologies and Applications, 2005)

Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries. - Sergio Greco; Ester Zumpano (Encyclopedia of Database Technologies and Applications, 2005)

Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries. - Sergio Greco; Ester Zumpano (Encyclopedia of Database Technologies and Applications, 2005)

NP Datalog: A Logic Language for NP Search and Optimization Queries. - Sergio Greco; Irina Trubitsyna; Ester Zumpano (IDEAS, 2005)

Aggregates and Preferences in Logic Programming. - Sergio Greco; Irina Trubitsyna; Ester Zumpano (ISMIS, 2005)

A Distributed System for Answering Range Queries on Sensor Network Data. - Alfredo Cuzzocrea; Filippo Furfaro; Sergio Greco; Elio Masciari; Giuseppe M. Mazzeo; Domenico Saccà (PerCom Workshops, 2005)

A logic based approach to P2P Databases. - Luciano Caroprese; Sergio Greco; Cristina Sirangelo; Ester Zumpano (SEBD, 2005)

A Mobile-Aware System for Website Personalization. - Sergio Greco; Alessandra Scicchitano; Andrea Tagarelli; Ester Zumpano (WAIM, 2005)

Querying and Repairing Inconsistent XML Data. - Sergio Flesca; Filippo Furfaro; Sergio Greco; Ester Zumpano (WISE, 2005)

Partially ordered regular languages for graph queries. - Sergio Flesca; Sergio Greco (J. Comput. Syst. Sci., 2005)

Optimization of bound disjunctive queries with constraints. - Gianluigi Greco; Sergio Greco; Irina Trubitsyna; Ester Zumpano (Theory Pract. Log. Program., 2005)

Mining User Preferences, Page Content and Usage to Personalize Website Navigation. - Sergio Flesca; Sergio Greco; Andrea Tagarelli; Ester Zumpano (World Wide Web, 2005)

Effective and efficient similarity search in time series. - Sergio Greco; Massimiliano Ruffolo; Andrea Tagarelli (CIKM, 2006)

Implementation and Experimentation of the Logic Language NP Datalog. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (DEXA, 2006)

A Logic Programming Approach to Querying and Integrating P2P Deductive Databases. - Luciano Caroprese; Sergio Greco; Ester Zumpano (FLAIRS, 2006)

Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies. - Luciano Caroprese; Sergio Greco; Ester Zumpano (ICEIS (1), 2006)

Declarative Semantics of Production Rules for Integrity Maintenance. - Luciano Caroprese; Sergio Greco; Cristina Sirangelo; Ester Zumpano (ICLP, 2006)

Preferred Generalized Answers for Inconsistent Databases. - Luciano Caroprese; Sergio Greco; Irina Trubitsyna; Ester Zumpano (ISMIS, 2006)

Toward Semantic XML Clustering. - Andrea Tagarelli; Sergio Greco (SDM, 2006)

Prioritized Active Integrity Constraints for Database Maintenance. - Cristian Molinaro; Sergio Greco; Luciano Caroprese (SEBD, 2006)

SemXClust: A System for Semantic XML Clustering. - Andrea Tagarelli; Sergio Greco (SEBD, 2006)

A graph grammars based framework for querying graph-like data. - Sergio Flesca; Filippo Furfaro; Sergio Greco (Data Knowl. Eng., 2006)

Weighted path queries on semistructured databases. - Sergio Flesca; Filippo Furfaro; Sergio Greco (Inf. Comput., 2006)

Preference rules in database querying. - Sergio Greco; Cristian Molinaro; Francesco Parisi (ICEIS (1), 2007)

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. - Sergio Greco; Cristian Molinaro (ICLP, 2007)

Exploiting Preference Rules for Querying Databases. - Sergio Greco; Cristian Molinaro; Francesco Parisi (SEBD, 2007)

Accurate and Fast Similarity Detection in Time Series. - Francesco Gullo; Giovanni Ponti; Andrea Tagarelli; Sergio Greco (SEBD, 2007)

A three-valued semantics for querying and repairing inconsistent databases. - Filippo Furfaro; Sergio Greco; Cristian Molinaro (Ann. Math. Artif. Intell., 2007)

The EIPeptiDi tool: enhancing peptide discovery in ICAT-based LC MS/MS experiments. - Mario Cannataro; Giovanni Cuda; Marco Gaspari; Sergio Greco; Giuseppe Tradigo; Pierangelo Veltri (BMC Bioinform., 2007)

On the Semantics of Logic Programs with Preferences. - Sergio Greco; Irina Trubitsyna; Ester Zumpano (J. Artif. Intell. Res., 2007)

Logic Programming in DataLog: A Long Tour from Theory to Practice. - Sergio Greco; Luigi Palopoli 001; Nicola Leone; Pasquale Rullo; Domenico Saccà (Il Milione, 2008)

Approximate Probabilistic Query Answering over Inconsistent Databases. - Sergio Greco; Cristian Molinaro (ER, 2008)

A Hierarchical Algorithm for Clustering Uncertain Data via an Information-Theoretic Approach. - Francesco Gullo; Giovanni Ponti; Andrea Tagarelli; Sergio Greco (ICDM, 2008)

Towards Relational Inconsistent Databases with Functional Dependencies. - Sergio Greco; Cristian Molinaro (KES (2), 2008)

A web-based system for the collection and analysis of spectra signals for early detection of voice alterations. - Francesco Amato 001; Mario Cannataro; Carlo Cosentino; Francesco Montefusco; Giuseppe Tradigo; Pierangelo Veltri; Aldo Garozzo; Nicola Lombardo; Sergio Greco; Claudia Manfredi (SAC, 2008)

Extracting Structural Semantic Features for XML Data. - Andrea Tagarelli; Mario Longo; Sergio Greco (SEBD, 2008)

Word Sense Disambiguation for XML Structure Feature Generation. - Andrea Tagarelli; Mario Longo; Sergio Greco (ESWC, 2009)

Diversity-Based Weighting Schemes for Clustering Ensembles. - Francesco Gullo; Andrea Tagarelli; Sergio Greco (SDM, 2009)

Information-Theoretic Hierarchical Clustering of Uncertain Data. - Francesco Gullo; Giovanni Ponti; Andrea Tagarelli; Sergio Greco (SEBD, 2009)

A System Prototype for Computing Probabilistic Query Answers over Inconsistent Databases. - Cristian Molinaro; Francesca Spezzano; Sergio Greco (SEBD, 2009)

NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems - Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (CoRR, 2009)

A time series representation model for accurate and fast similarity detection. - Francesco Gullo; Giovanni Ponti; Andrea Tagarelli; Sergio Greco (Pattern Recognit., 2009)

Active Integrity Constraints for Database Consistency Maintenance. - Luciano Caroprese; Sergio Greco; Ester Zumpano (IEEE Trans. Knowl. Data Eng., 2009)

Logic Programming Languages for Databases and the Web. - Sergio Greco; Francesca A. Lisi (25 Years GULP, 2010)

Clustering XML Documents: a Distributed Collaborative Approach (Extended Abstract). - Sergio Greco; Francesco Gullo; Giovanni Ponti; Andrea Tagarelli; Giuseppe Agapito (SEBD, 2010)

Querying and Updating Inconsistent Databases (Extended Abstract). - Sergio Greco; Cristian Molinaro; Francesca Spezzano; Irina Trubitsyna (SEBD, 2010)

Polynomial time queries over inconsistent databases with functional dependencies and foreign keys. - Cristian Molinaro; Sergio Greco (Data Knowl. Eng., 2010)

Geomedica: managing and querying clinical data distributions on geographical database systems. - Giuseppe Tradigo; Pierangelo Veltri; Sergio Greco (ICCS, 2010)

Chase Termination: A Constraints Rewriting Approach. - Francesca Spezzano; Sergio Greco (Proc. VLDB Endow., 2010)

Semantic clustering of XML documents. - Andrea Tagarelli; Sergio Greco (ACM Trans. Inf. Syst., 2010)

NP Datalog: A logic language for expressing search and optimization problems. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (Theory Pract. Log. Program., 2010)

ChaseT: A Tool for Checking Chase Termination. - Andrea De Francesco; Sergio Greco; Francesca Spezzano; Irina Trubitsyna (SUM, 2011)

A long tour from theory to practice. - Sergio Greco; Nicola Leone; Luigi Palopoli 001; Pasquale Rullo; Domenico Saccà (Intelligenza Artificiale, 2011)

Collaborative clustering of XML documents. - Sergio Greco; Francesco Gullo; Giovanni Ponti; Andrea Tagarelli (J. Comput. Syst. Sci., 2011)

Consistent query answering over inconsistent databases. - Sergio Greco; Cristian Molinaro (Int. J. Knowl. Based Intell. Eng. Syst., 2011)

Stratification Criteria and Rewriting Techniques for Checking Chase Termination. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (Proc. VLDB Endow., 2011)

Studying neonatal TSH distribution by using GIS. - Giuseppe Tradigo; Pierangelo Veltri; Onorina Marasco; Giovanna Scozzafava; Giuseppe Parlato; Sergio Greco (HealthGIS, 2012)

On the Termination of Logic Programs with Function Symbols. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (ICLP (Technical Communications), 2012)

Stratification-based Criteria for Checking Chase Termination. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (SEBD, 2012)

Preface. - Sergio Greco; Thomas Lukasiewicz (Ann. Math. Artif. Intell., 2012)

Probabilistic query answering over inconsistent databases. - Sergio Greco; Cristian Molinaro (Ann. Math. Artif. Intell., 2012)

Incomplete Data and Data Dependencies in Relational Databases - Sergio Greco; Cristian Molinaro; Francesca Spezzano (Morgan & Claypool Publishers, 2012)

A Tensor-based Clustering Approach for Multiple Document Classifications. - Salvatore Romeo; Andrea Tagarelli; Francesco Gullo; Sergio Greco (ICPRAM, 2013)

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IJCAI, 2013)

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2013)

An Architecture for Integrating Genetic and Clinical Data. - Giuseppe Tradigo; Claudia Veneziano; Sergio Greco; Pierangelo Veltri (ICCS, 2014)

Checking Termination of Logic Programs with Function Symbols through Linear Constraints. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (RuleML, 2014)

Certain Query Answering in Partially Consistent Databases. - Sergio Greco; Fabian Pijcke; Jef Wijsen (Proc. VLDB Endow., 2014)

Rewriting-based Check of Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (AMW, 2015)

Logic Program Termination Analysis Using Atom Sizes. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IJCAI, 2015)

Checking Termination of Datalog with Function Symbols Through Linear Constraints. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2015)

Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (IEEE Trans. Knowl. Data Eng., 2015)

Checking termination of bottom-up evaluation of logic programs with function symbols. - Marco Calautti; Sergio Greco; Francesca Spezzano; Irina Trubitsyna (Theory Pract. Log. Program., 2015)

Datalog and Logic Databases - Sergio Greco; Cristian Molinaro (Morgan & Claypool Publishers, 2015)

All-pairs shortest distances maintenance in relational DBMSs. - Sergio Greco; Cristian Molinaro; Chiara Pulice; Ximena Quintana (ASONAM, 2016)

G-quadruplex Structure Prediction and integration in the GenData2020 data model. - Giuseppe Tradigo; Francesca Cristiano; Stefano Alcaro; Sergio Greco; Gianluca Pollastri; Pierangelo Veltri; Mattia Prosperi (BCB, 2016)

Efficient Computation of Deterministic Extensions for Dynamic Abstract Argumentation Frameworks. - Sergio Greco; Francesco Parisi (ECAI, 2016)

Incremental Computation of Grounded Semantics for Dynamic Abstract Argumentation Frameworks. - Sergio Greco; Francesco Parisi (COREDEMA@ECAI, 2016)

Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks. - Sergio Greco; Francesco Parisi (JELIA, 2016)

Leveraging Equality Generating Dependencies for Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2016)

Efficient Maintenance of All-Pairs Shortest Distances. - Sergio Greco; Cristian Molinaro; Chiara Pulice (SSDBM, 2016)

Controversy in Trust Networks. - Paolo Zicari; Roberto Interdonato; Diego Perna; Andrea Tagarelli; Sergio Greco (TRUST, 2016)

Exploiting Equality Generating Dependencies in Checking Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Proc. VLDB Endow., 2016)

Using linear constraints for logic program termination analysis. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2016)

Computing Stable and Preferred Extensions of Dynamic Bipolar Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (AI³@AI*IA, 2017)

Computing Approximate Certain Answers over Incomplete Databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (AMW, 2017)

Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (IJCAI, 2017)

Incremental maximum flow computation on evolving networks. - Sergio Greco; Cristian Molinaro; Chiara Pulice; Ximena Quintana (SAC, 2017)

Approximation Algorithms for Computing Certain Answers over Incomplete Databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2017)

Controversy-Aware Hybrid Trust Inference in Online Social Networks. - Paolo Zicari; Roberto Interdonato; Andrea Tagarelli; Sergio Greco (TrustCom/BigDataSE/ICESS, 2017)

Efficient Maximum Flow Maintenance on Dynamic Networks. - Sergio Greco; Cristian Molinaro; Chiara Pulice; Ximena Quintana (WWW (Companion Volume), 2017)

An information-theoretic approach to hierarchical clustering of uncertain data. - Francesco Gullo; Giovanni Ponti; Andrea Tagarelli; Sergio Greco (Inf. Sci., 2017)

Incremental maintenance of all-pairs shortest paths in relational DBMSs. - Sergio Greco; Cristian Molinaro; Chiara Pulice; Ximena Quintana (Soc. Netw. Anal. Min., 2017)

Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. - Marco Calautti; Sergio Greco; Irina Trubitsyna (ACM Trans. Comput. Log., 2017)

Dealing with Inconsistency in Databases: An Overview. - Marco Calautti; Luciano Caroprese; Bettina Fazzinga; Sergio Flesca; Filippo Furfaro; Sergio Greco; Cristian Molinaro; Francesco Parisi; Andrea Pugliese 001; Domenico Saccà; Irina Trubitsyna; Ester Zumpano (A Comprehensive Guide Through the Italian Database Research, 2018)

Computing Extensions of Dynamic Abstract Argumentation Frameworks with Second-Order Attacks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (IDEAS, 2018)

Algorithms for Computing Approximate Certain Answers over Incomplete Databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IDEAS, 2018)

Computing Approximate Query Answers over Inconsistent Knowledge Bases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IJCAI, 2018)

An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Gerardo Ignacio Simari; Guillermo Ricardo Simari (KR, 2018)

Incremental computation of warranted arguments in dynamic defeasible argumentation: the rule addition case. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Gerardo I. Simari; Guillermo Ricardo Simari (SAC, 2018)

Approximate Query Answering over Inconsistent Knowledge Bases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2018)

Ethics-aware Data Governance (Vision Paper). - Letizia Tanca; Paolo Atzeni; Davide Azzalini; Ilaria Bartolini; Luca Cabibbo; Luca Calderoni; Paolo Ciaccia; Valter Crescenzi; Juan Carlos De Martin; Selina Fenoglietto; Donatella Firmani; Sergio Greco; et al. (SEBD, 2018)

ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases. - Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SIGMOD Conference, 2018)

A meta-argumentation approach for the efficient computation of stable and preferred extensions in dynamic bipolar argumentation frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (Intelligenza Artificiale, 2018)

Efficient Maintenance of Shortest Distances in Dynamic Graphs. - Sergio Greco; Cristian Molinaro; Chiara Pulice (IEEE Trans. Knowl. Data Eng., 2018)

Is Your Argument Still Skeptically Accepted? - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (DDC@AI*IA, 2019)

ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases. - Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (AIKE, 2019)

HIKE: A Step Beyond Data Exchange. - Sergio Greco; Elio Masciari; Domenico Saccà; Irina Trubitsyna (ER, 2019)

Flexible Querying and Analytics for Smart Cities and Smart Societies in the Age of Big Data: Overview of the FQAS 2019 International Conference. - Alfredo Cuzzocrea; Sergio Greco (FQAS, 2019)

An Efficient Algorithm for Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (IJCAI, 2019)

On scaling the enumeration of the preferred extensions of abstract argumentation frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (SAC, 2019)

A System Prototype for Approximate Query Answering over Incomplete Data. - Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2019)

Approximation algorithms for querying incomplete databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Inf. Syst., 2019)

On the Semantics of Recursive Bipolar AFs and Partial Stable Models. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2020)

Computing Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks with Recursive Attack and Support Relations. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (COMMA, 2020)

Dynamics in Abstract Argumentation Frameworks with Recursive Attack and Support Relations. - Gianvincenzo Alfano; Andrea Cohen; Sebastian Gottifredi; Sergio Greco; Francesco Parisi; Guillermo Ricardo Simari (ECAI, 2020)

Consistent query answering with prioritized active integrity constraints. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (IDEAS, 2020)

3D Average Common Submatrix Measure. - Federica Franco; Alessia Amelio; Sergio Greco (IRCDL, 2020)

Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. - Gianvincenzo Alfano; Marco Calautti; Sergio Greco; Francesco Parisi; Irina Trubitsyna (KR, 2020)

Probabilistic Answers over Inconsistent Knowledge Bases. - Marco Calautti; Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2020)

Smart Data Exchange. - Sergio Greco; Michele Ianni; Elio Masciari; Domenico Saccà; Irina Trubitsyna (SEBD, 2020)

On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Theory Pract. Log. Program., 2020)

Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2021)

On Weak Constrained Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2021)

Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract). - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2021)

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper). - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2021)

Incremental computation for structured argumentation over dynamic DeLP knowledge bases. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Gerardo I. Simari; Guillermo Ricardo Simari (Artif. Intell., 2021)

Understanding the growth of the Fediverse through the lens of Mastodon. - Lucio La Cava; Sergio Greco; Andrea Tagarelli (Appl. Netw. Sci., 2021)

Existential active integrity constraints. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (Expert Syst. Appl., 2021)

Incremental Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco (IEEE Intell. Syst., 2021)

Incremental Computation in Dynamic Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi (IEEE Intell. Syst., 2021)

On the Incremental Computation of Semantics in Dynamic Argumentation. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Gerardo I. Simari; Guillermo Ricardo Simari (FLAP, 2021)

Incomplete Argumentation Frameworks: Properties and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2022)

On Properties and Complexity of Incomplete Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2022)

Abstract Argumentation Framework with Priority Rules and Preferences. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (DP@AI*IA, 2022)

Network Analysis of the Information Consumption-Production Dichotomy in Mastodon User Behaviors. - Lucio La Cava; Sergio Greco; Andrea Tagarelli (ICWSM, 2022)

On Preferences and Priority Rules in Abstract Argumentation. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2022)

Heart Disease Prediction Using Hybrid Machine Learning Model Based on Decision Tree and Neural Network. - Mostafa Bakhshi; Seyedeh Leili Mirtaheri; Sergio Greco (ISCMI, 2022)

Active Integrity Constraints with Existential Quantification. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (SEBD, 2022)

Discovering the Landscape of Decentralized Online Social Networks through Mastodon. - Lucio La Cava; Sergio Greco; Andrea Tagarelli (SEBD, 2022)

Preference-based inconsistency-tolerant query answering under existential rules. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Artif. Intell., 2022)

Information consumption and boundary spanning in Decentralized Online Social Networks: The case of Mastodon users. - Lucio La Cava; Sergio Greco; Andrea Tagarelli (Online Soc. Networks Media, 2022)

Query answering over inconsistent knowledge bases: A probabilistic approach. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theor. Comput. Sci., 2022)

Abstract Argumentation Framework with Conditional Preferences. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2023)

On the Verification and Existence Problems in Epistemic Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2023)

On the Abstract Reasoning Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (DP@AI*IA, 2023)

Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAMAS, 2023)

Complexity of Verification and Existence Problems in Epistemic Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Irina Trubitsyna (ECAI, 2023)

Preferences and Constraints in Abstract Argumentation. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2023)

Stable Semantics for Epistemic Abstract Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Arg&App@KR, 2023)

On the Conditional Preference-based Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (NMR, 2023)

On the Extended Preference-based Constrained Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (NMR, 2023)

Querying Data Exchange Settings Beyond Positive Queries. - Marco Calautti; Sergio Greco; Hebatalla Hammad; Tariq Mahmood 006; Cristian Molinaro; Irina Trubitsyna (SEBD, 2023)

Machine Learning Techniques for Detecting Fraud in Credit Card Transactions. - Tariq Mahmood 006; Seyedeh Khadijeh Hashemi; Seyedeh Leili Mirtaheri; Sergio Greco (SEBD, 2023)

Fraud Detection in Banking Data by Machine Learning Techniques. - Seyedeh Khadijeh Hashemi; Seyedeh Leili Mirtaheri; Sergio Greco (IEEE Access, 2023)

Generative Adversarial Networks Assist Missing Data Imputation: A Comprehensive Survey and Evaluation. - Reza Shahbazian; Sergio Greco (IEEE Access, 2023)

Practical autoencoder based anomaly detection by using vector reconstruction error. - Hasan Torabi; Seyedeh Leili Mirtaheri; Sergio Greco (Cybersecur., 2023)

An approximation algorithm for querying inconsistent knowledge bases. - Gianvincenzo Alfano; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Intell. Syst. Appl., 2023)

On acceptance conditions in abstract argumentation frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Inf. Sci., 2023)

Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks. - Gianvincenzo Alfano; Marco Calautti; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Artif. Intell., 2023)

Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2024)

On the General Epistemic Abstract Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAPEI@ECAI, 2024)

On Counterfactual and Semifactual Explanations in Abstract Argumentation (Short paper). - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (DP@AI*IA, 2024)

On General Epistemic Abstract Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAMAS, 2024)

General Epistemic Abstract Argumentation Framework: Semantics and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2024)

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (KR, 2024)

Design of a Telemedicine Infrastructure for Rural and Remote Areas. - Pietro Hiram Guzzi; Patrizia Vizza; Giuseppe Tradigo; Sergio Greco; Pierangelo Veltri (SEBD, 2024)

Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach. - Gianvincenzo Alfano; Andrea Cohen; Sebastian Gottifredi; Sergio Greco; Francesco Parisi; Guillermo Ricardo Simari (Artif. Intell., 2024)

Abstract argumentation frameworks with strong and weak constraints. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Irina Trubitsyna (Artif. Intell., 2024)

A self-attention TCN-based model for suicidal ideation detection from social media posts. - Seyedeh Leili Mirtaheri; Sergio Greco; Reza Shahbazian (Expert Syst. Appl., 2024)

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Theory Pract. Log. Program., 2024)

Querying Data Exchange Settings Beyond Positive Queries. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2024)

Even-if Explanations: Formal Foundations, Priorities and Complexity. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Reza Shahbazian; Irina Trubitsyna (AAAI, 2025)

Decentralized federated learning meets Physics-Informed Neural Networks. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Reza Shahbazian; Irina Trubitsyna (Knowl. Based Syst., 2025)