Termination is Language-Independent. - Dino Pedreschi; Salvatore Ruggieri (GULP-PRODE (1), 1994)

Proving (total) correctness of Prolog programs. - Salvatore Ruggieri (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

A Case Study in Logic Program Verification: the Vanilla Metainterpreter. - Dino Pedreschi; Salvatore Ruggieri (GULP-PRODE, 1995)

On Termination of Constraint Logic Programs. - Salvatore Ruggieri (APPIA-GULP-PRODE, 1996)

Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. - Monica Bordegoni; Giorgio P. Faconti; Thomas Rist; Salvatore Ruggieri; Panos E. Trahanias; Michael D. Wilson (MMM, 1996)

A standard reference model for intelligent multimedia presentation systems. - Monica Bordegoni; Giorgio P. Faconti; Steven Feiner; Mark T. Maybury; Thomas Rist; Salvatore Ruggieri; Panos E. Trahanias; Michael D. Wilson (Comput. Stand. Interfaces, 1997)

Describing the MMI2 demonstrators with the IMMPS reference model. - Salvatore Ruggieri; Michael D. Wilson (Comput. Stand. Interfaces, 1997)

Verification of Meta-Interpreters. - Dino Pedreschi; Salvatore Ruggieri (J. Log. Comput., 1997)

A Complete Declarative Debugger of Missing Answers. - Salvatore Ruggieri (ESOP, 1998)

On Linguistic Quality of Natural Language Requirements. - Fabrizio Fabbrini; Mario Fusani; Vincenzo Gervasi; Stefania Gnesi; Salvatore Ruggieri (REFSQ, 1998)

Weakest Preconditions for Pure Prolog Programs. - Dino Pedreschi; Salvatore Ruggieri (Inf. Process. Lett., 1998)

Verification of Logic Programs. - Dino Pedreschi; Salvatore Ruggieri (J. Log. Program., 1999)

On Logic Programs That Do Not Fail. - Dino Pedreschi; Salvatore Ruggieri (Verification of Logic Programs@ICLP, 1999)

Parallelisation of C4.5 as a Particular Divide and Conquer Computation. - Primo Becuzzi; Massimo Coppola; Salvatore Ruggieri; Marco Vanneschi (IPDPS Workshops, 2000)

Decidability of logic program semantics and applications to testing. - Salvatore Ruggieri (J. Log. Program., 2000)

Data Mining for Intelligent Web Caching. - Francesco Bonchi; Fosca Giannotti; Giuseppe Manco 001; Chiara Renso; Mirco Nanni; Dino Pedreschi; Salvatore Ruggieri (ITCC, 2001)

Web log data warehousing and mining for intelligent web caching. - Francesco Bonchi; Fosca Giannotti; Cristian Gozzi; Giuseppe Manco 001; Mirco Nanni; Dino Pedreschi; Chiara Renso; Salvatore Ruggieri (Data Knowl. Eng., 2001)

exists-Universal termination of logic programs. - Salvatore Ruggieri (Theor. Comput. Sci., 2001)

Negation as Failure through Abduction: Reasoning about Termination. - Paolo Mancarella; Dino Pedreschi; Salvatore Ruggieri (Computational Logic: Logic Programming and Beyond, 2002)

Efficient C4.5. - Salvatore Ruggieri (IEEE Trans. Knowl. Data Eng., 2002)

Classes of terminating logic programs. - Dino Pedreschi; Salvatore Ruggieri; Jan-Georg Smaus (Theory Pract. Log. Program., 2002)

Preprocessing and Mining Web Log Data for Web Personalization. - Miriam Baglioni; U. Ferrara; Andrea Romei; Salvatore Ruggieri; Franco Turini (AI*IA, 2003)

On computing the semi-sum of two integers. - Salvatore Ruggieri (Inf. Process. Lett., 2003)

On logic programs that always succeed. - Dino Pedreschi; Salvatore Ruggieri (Sci. Comput. Program., 2003)

On proving left termination of constraint logic programs. - Frédéric Mesnard; Salvatore Ruggieri (ACM Trans. Comput. Log., 2003)

YaDT: Yet another Decision Tree Builder. - Salvatore Ruggieri (ICTAI, 2004)

Characterisations of Termination in Logic Programming. - Dino Pedreschi; Salvatore Ruggieri; Jan-Georg Smaus (Program Development in Computational Logic, 2004)

Bounded Nondeterminism of Logic Programs. - Dino Pedreschi; Salvatore Ruggieri (Ann. Math. Artif. Intell., 2004)

KDDML: A middleware language and system for knowledge discovery in databases. - Andrea Romei; Salvatore Ruggieri; Franco Turini (Data Knowl. Eng., 2006)

Discrimination-aware data mining. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (KDD, 2008)

A Case Study in Sequential Pattern Mining for IT-Operational Risk. - Valerio Grossi; Andrea Romei; Salvatore Ruggieri (ECML/PKDD (1), 2008)

Typing Linear Constraints for Moding CLP() Programs. - Salvatore Ruggieri; Frédéric Mesnard (SAS, 2008)

Measuring Discrimination in Socially-Sensitive Decision Records. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (SDM, 2009)

Frequent regular itemset mining. - Salvatore Ruggieri (KDD, 2010)

Porting Decision Tree Algorithms to Multicore Using FastFlow. - Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati (ECML/PKDD (1), 2010)

Variable ranges in linear constraints. - Salvatore Ruggieri; Fred Mesnard (SAC, 2010)

DCUBE: discrimination discovery in databases. - Salvatore Ruggieri; Dino Pedreschi; Franco Turini (SIGMOD Conference, 2010)

Integrating induction and deduction for finding evidence of discrimination. - Salvatore Ruggieri; Dino Pedreschi; Franco Turini (Artif. Intell. Law, 2010)

Data mining for discrimination discovery. - Salvatore Ruggieri; Dino Pedreschi; Franco Turini (ACM Trans. Knowl. Discov. Data, 2010)

Typing linear constraints. - Salvatore Ruggieri; Fred Mesnard (ACM Trans. Program. Lang. Syst., 2010)

Who/Where Are My New Customers? - Salvatore Rinzivillo; Salvatore Ruggieri (ISMIS Industrial Session, 2011)

k-NN as an implementation of situation testing for discrimination discovery and prevention. - Binh Luong Thanh; Salvatore Ruggieri; Franco Turini (KDD, 2011)

Deciding Membership in a Class of Polyhedra. - Salvatore Ruggieri (ECAI, 2012)

Discovering Gender Discrimination in Project Funding. - Andrea Romei; Salvatore Ruggieri; Franco Turini (ICDM Workshops, 2012)

Computational complexity of inclusion queries over polyhedral sets. - Pavlos Eirinakis; Salvatore Ruggieri; K. Subramani 001; Piotr Wojciechowski 002 (ISAIM, 2012)

A study of top-k measures for discrimination discovery. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (SAC, 2012)

Subtree Replacement in Decision Tree Simplification. - Salvatore Ruggieri (SDM, 2012)

A complexity perspective on entailment of parameterized linear constraints. - Pavlos Eirinakis; Salvatore Ruggieri; K. Subramani 001; Piotr Wojciechowski 002 (Constraints An Int. J., 2012)

Data Anonymity Meets Non-discrimination. - Salvatore Ruggieri (ICDM Workshops, 2013)

Learning from Polyhedral Sets. - Salvatore Ruggieri (IJCAI, 2013)

Discrimination discovery in scientific project evaluation: A case study. - Andrea Romei; Salvatore Ruggieri; Franco Turini (Expert Syst. Appl., 2013)

The Discovery of Discrimination. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (Discrimination and Privacy in the Information Society, 2013)

Discrimination Data Analysis: A Multi-disciplinary Bibliography. - Andrea Romei; Salvatore Ruggieri (Discrimination and Privacy in the Information Society, 2013)

Anti-discrimination Analysis Using Privacy Attack Strategies. - Salvatore Ruggieri; Sara Hajian; Faisal Kamiran; Xiangliang Zhang 001 (ECML/PKDD (2), 2014)

Introduction to special issue on computational methods for enforcing privacy and fairness in the knowledge society. - Sergio Mascetti; Annarita Ricci; Salvatore Ruggieri (Artif. Intell. Law, 2014)

On quantified linear implications. - Pavlos Eirinakis; Salvatore Ruggieri; K. Subramani 001; Piotr Wojciechowski 002 (Ann. Math. Artif. Intell., 2014)

Decision tree building on multi-core using FastFlow. - Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati (Concurr. Comput. Pract. Exp., 2014)

A multidisciplinary survey on discrimination analysis. - Andrea Romei; Salvatore Ruggieri (Knowl. Eng. Rev., 2014)

On the complexity of quantified linear systems. - Salvatore Ruggieri; Pavlos Eirinakis; K. Subramani 001; Piotr Wojciechowski 002 (Theor. Comput. Sci., 2014)

Using t-closeness anonymity to control for non-discrimination. - Salvatore Ruggieri (Trans. Data Priv., 2014)

The layered structure of company share networks. - Andrea Romei; Salvatore Ruggieri; Franco Turini (DSAA, 2015)

Introduction to the special issue on Artificial Intelligence for Society and Economy. - Salvatore Ruggieri (Intelligenza Artificiale, 2015)

Classification Rule Mining Supported by Ontology for Discrimination Discovery. - Binh Thanh Luong; Salvatore Ruggieri; Franco Turini (ICDM Workshops, 2016)

A KDD Process for Discrimination Discovery. - Salvatore Ruggieri; Franco Turini (ECML/PKDD (3), 2016)

Causal Discrimination Discovery Through Propensity Score Analysis. - Bilal Qureshi; Faisal Kamiran; Asim Karim; Salvatore Ruggieri (CoRR, 2016)

Efficiently Clustering Very Large Attributed Graphs. - Alessandro Baroni 001; Alessio Conte; Maurizio Patrignani; Salvatore Ruggieri (ASONAM, 2017)

Enumerating Distinct Decision Trees. - Salvatore Ruggieri (ICML, 2017)

Sequential Pattern Mining for ICT Risk Assessment and Prevention. - Michele D'Andreagiovanni; Fabrizio Baiardi; Jacopo Lipilini; Salvatore Ruggieri; Federico Tonelli (SEFM Workshops, 2017)

How Data Mining and Machine Learning Evolved from Relational Data Base to Data Science. - Giuseppe Amato 001; Leonardo Candela; Donatella Castelli; Andrea Esuli; Fabrizio Falchi; Claudio Gennaro; Fosca Giannotti; Anna Monreale; Mirco Nanni; Pasquale Pagano; Luca Pappalardo; Dino Pedreschi; et al. (A Comprehensive Guide Through the Italian Database Research, 2018)

Local Rule-Based Explanations of Black Box Decision Systems. - Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Dino Pedreschi; Franco Turini; Fosca Giannotti (CoRR, 2018)

Open the Black Box Data-Driven Explanation of Black Box Decision Systems. - Dino Pedreschi; Fosca Giannotti; Riccardo Guidotti; Anna Monreale; Luca Pappalardo; Salvatore Ruggieri; Franco Turini (CoRR, 2018)

Assessing the Stability of Interpretable Models. - Riccardo Guidotti; Salvatore Ruggieri (CoRR, 2018)

Segregation discovery in a social network of companies. - Alessandro Baroni 001; Salvatore Ruggieri (J. Intell. Inf. Syst., 2018)

Meaningful Explanations of Black Box AI Decision Systems. - Dino Pedreschi; Fosca Giannotti; Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Franco Turini (AAAI, 2019)

SCube: A Tool for Segregation Discovery. - Alessandro Baroni 001; Salvatore Ruggieri (EDBT, 2019)

On The Stability of Interpretable Models. - Riccardo Guidotti; Salvatore Ruggieri (IJCNN, 2019)

Estimating the Total Volume of Queries to Google. - Fabrizio Lillo; Salvatore Ruggieri (WWW, 2019)

A Survey of Methods for Explaining Black Box Models. - Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Franco Turini; Fosca Giannotti; Dino Pedreschi (ACM Comput. Surv., 2019)

Factual and Counterfactual Explanations for Black Box Decision Making. - Riccardo Guidotti; Anna Monreale; Fosca Giannotti; Dino Pedreschi; Salvatore Ruggieri; Franco Turini (IEEE Intell. Syst., 2019)

Sequential pattern mining for ICT risk assessment and management. - Michele D'Andreagiovanni; Fabrizio Baiardi; Jacopo Lipilini; Salvatore Ruggieri; Federico Tonelli (J. Log. Algebraic Methods Program., 2019)

Complete Search for Feature Selection in Decision Trees. - Salvatore Ruggieri (J. Mach. Learn. Res., 2019)

Explaining Sentiment Classification with Synthetic Exemplars and Counter-Exemplars. - Orestis Lampridis; Riccardo Guidotti; Salvatore Ruggieri (DS, 2020)

Bias in Data-driven AI Systems - An Introductory Survey. - Eirini Ntoutsi; Pavlos Fafalios; Ujwal Gadiraju; Vasileios Iosifidis; Wolfgang Nejdl; Maria-Esther Vidal; Salvatore Ruggieri; Franco Turini; Symeon Papadopoulos; Emmanouil Krasanakis; Ioannis Kompatsiaris; Katharina Kinder-Kurlanda; et al. (CoRR, 2020)

Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. - Mirco Nanni; Gennady L. Andrienko; Albert-László Barabási; Chiara Boldrini; Francesco Bonchi; Ciro Cattuto; Francesca Chiaromonte; Giovanni Comandè; Marco Conti; Mark Coté; Frank Dignum; Virginia Dignum; et al. (CoRR, 2020)

Educational ecosystems for Information Science: The case of the University of Pisa. - Vittore Casarosa; Salvatore Ruggieri; Enrica Salvatori; Maria Simi; Simona Turbanti (Educ. Inf., 2020)

Causal inference for social discrimination reasoning. - Bilal Qureshi; Faisal Kamiran; Asim Karim; Salvatore Ruggieri; Dino Pedreschi (J. Intell. Inf. Syst., 2020)

Bias in data-driven artificial intelligence systems - An introductory survey. - Eirini Ntoutsi; Pavlos Fafalios; Ujwal Gadiraju; Vasileios Iosifidis; Wolfgang Nejdl; Maria-Esther Vidal; Salvatore Ruggieri; Franco Turini; Symeon Papadopoulos; Emmanouil Krasanakis; Ioannis Kompatsiaris; Katharina Kinder-Kurlanda; et al. (WIREs Data Mining Knowl. Discov., 2020)

Ensemble of Counterfactual Explainers. - Riccardo Guidotti; Salvatore Ruggieri (DS, 2021)

Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. - Mirco Nanni; Gennady L. Andrienko; Albert-László Barabási; Chiara Boldrini; Francesco Bonchi; Ciro Cattuto; Francesca Chiaromonte; Giovanni Comandè; Marco Conti; Mark Coté; Frank Dignum; Virginia Dignum; et al. (Ethics Inf. Technol., 2021)

Introduction to The Special Section on Bias and Fairness in AI. - Toon Calders; Eirini Ntoutsi; Mykola Pechenizkiy; Bodo Rosenhahn; Salvatore Ruggieri (SIGKDD Explor., 2021)

Bias Discovery within Human Raters: A Case Study of the Jigsaw Dataset. - Marta Marchiori Manerba; Riccardo Guidotti; Lucia C. Passaro; Salvatore Ruggieri (NLPerspectives@LREC, 2022)

Fairness implications of encoding protected categorical attributes. - Carlos Mougan; José M. Álvarez 002; Gourab K. Patro; Salvatore Ruggieri; Steffen Staab (CoRR, 2022)

Predicting and explaining employee turnover intention. - Matilde Lazzari; José M. Álvarez 002; Salvatore Ruggieri (Int. J. Data Sci. Anal., 2022)

Estimating the Total Volume of Queries to a Search Engine. - Fabrizio Lillo; Salvatore Ruggieri (IEEE Trans. Knowl. Data Eng., 2022)

Methods and tools for causal discovery and causal inference. - Ana Rita Nogueira; Andrea Pugnana; Salvatore Ruggieri; Dino Pedreschi; João Gama 001 (WIREs Data Mining Knowl. Discov., 2022)

A Model-Agnostic Heuristics for Selective Classification. - Andrea Pugnana; Salvatore Ruggieri (AAAI, 2023)

Can We Trust Fair-AI? - Salvatore Ruggieri; José M. Álvarez 002; Andrea Pugnana; Laura State; Franco Turini (AAAI, 2023)

Fairness Implications of Encoding Protected Categorical Attributes. - Carlos Mougan; José M. Álvarez 002; Salvatore Ruggieri; Steffen Staab (AIES, 2023)

AUC-based Selective Classification. - Andrea Pugnana; Salvatore Ruggieri (AISTATS, 2023)

Applied Data Science for Leasing Score Prediction. - Giuseppe Cianci; Roberto Goglia; Riccardo Guidotti; Matteo Kapllaj; Roberto Mosca 004; Andrea Pugnana; Franco Ricotti; Salvatore Ruggieri (IEEE Big Data, 2023)

Correlation and Unintended Biases on Univariate and Multivariate Decision Trees. - Mattia Setzu; Salvatore Ruggieri (IEEE Big Data, 2023)

Causal Fairness-Guided Dataset Reweighting using Neural Networks. - Xuan Zhao; Klaus Broelemann; Salvatore Ruggieri; Gjergji Kasneci (IEEE Big Data, 2023)

GenFair: A Genetic Fairness-Enhancing Data Generation Framework. - Federico Mazzoni; Marta Marchiori Manerba; Martina Cinquini; Riccardo Guidotti; Salvatore Ruggieri (DS, 2023)

Counterfactual Situation Testing: Uncovering Discrimination under Fairness given the Difference. - José M. Álvarez 002; Salvatore Ruggieri (EAAMO, 2023)

The Explanation Dialogues: Understanding How Legal Experts Reason About XAI Methods. - Laura State; Alejandra Bringas Colmenarejo; Andrea Beretta; Salvatore Ruggieri; Franco Turini; Stephanie Law (EWAF, 2023)

Domain Adaptive Decision Trees: Implications for Accuracy and Fairness. - José M. Álvarez 002; Kristen M. Scott; Bettina Berendt; Salvatore Ruggieri (FAccT, 2023)

Trustworthy AI at KDD Lab. - Fosca Giannotti; Riccardo Guidotti; Anna Monreale; Luca Pappalardo; Dino Pedreschi; Roberto Pellungrini; Francesca Pratesi; Salvatore Rinzivillo; Salvatore Ruggieri; Mattia Setzu; Rosaria Deluca (Ital-IA, 2023)

Declarative Reasoning on Explanations Using Constraint Logic Programming. - Laura State; Salvatore Ruggieri; Franco Turini (JELIA, 2023)

Reason to Explain: Interactive Contrastive Explanations (REASONX). - Laura State; Salvatore Ruggieri; Franco Turini (xAI (1), 2023)

Demographic Parity Inspector: Fairness Audits via the Explanation Space. - Carlos Mougan; Laura State; Antonio Ferrara 003; Salvatore Ruggieri; Steffen Staab (CoRR, 2023)

Explaining short text classification with diverse synthetic exemplars and counter-exemplars. - Orestis Lampridis; Laura State; Riccardo Guidotti; Salvatore Ruggieri (Mach. Learn., 2023)

Requirements of eXplainable AI in Algorithmic Hiring. - Andrea Beretta; Gianmario Ercoli; Alfonso Ferraro; Riccardo Guidotti; Andrea Iommi; Antonio Mastropietro; Anna Monreale; Daniela Rotelli; Salvatore Ruggieri (AIMMES, 2024)

Enhancing Fairness through Reweighting: A Path to Attain the Sufficiency Rule. - Xuan Zhao; Klaus Broelemann; Salvatore Ruggieri; Gjergji Kasneci (ECAI, 2024)

Policy Advice and Best Practices on Bias and Fairness in Artificial Intelligence. - José M. Álvarez 002; Alejandra Bringas Colmenarejo; Alaa Elobaid; Simone Fabbrizzi; Miriam Fahimi; Antonio Ferrara 003; Siamak Ghodsi; Carlos Mougan; Ioanna Papageorgiou; Paula Reyero Lobo; Mayra Russo; Kristen M. Scott; et al. (EWAF, 2024)

Deep Neural Network Benchmarks for Selective Classification. - Andrea Pugnana; Lorenzo Perini; Jesse Davis; Salvatore Ruggieri (CoRR, 2024)

Causal Perception. - José M. Álvarez 002; Salvatore Ruggieri (CoRR, 2024)

Mutatis Mutandis: Revisiting the Comparator in Discrimination Testing. - José M. Álvarez 002; Salvatore Ruggieri (CoRR, 2024)

Policy advice and best practices on bias and fairness in AI. - José M. Álvarez 002; Alejandra Bringas Colmenarejo; Alaa Elobaid; Simone Fabbrizzi; Miriam Fahimi; Antonio Ferrara 003; Siamak Ghodsi; Carlos Mougan; Ioanna Papageorgiou; Paula Reyero Lobo; Mayra Russo; Kristen M. Scott; et al. (Ethics Inf. Technol., 2024)

Stable and actionable explanations of black-box models through factual and counterfactual rules. - Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Francesca Naretto; Franco Turini; Dino Pedreschi; Fosca Giannotti (Data Min. Knowl. Discov., 2024)

A Practical Approach to Causal Inference over Time. - Martina Cinquini; Isacco Beretta; Salvatore Ruggieri; Isabel Valera (AAAI, 2025)

Things Machine Learning Models Know That They Don't Know. - Salvatore Ruggieri; Andrea Pugnana (AAAI, 2025)

A Causal Framework for Evaluating Deferring Systems. - Filippo Palomba; Andrea Pugnana; José M. Álvarez 002; Salvatore Ruggieri (AISTATS, 2025)

AI-enabled Cybersecurity using Synthetic Data. - Fabrizio Baiardi; Salvatore Ruggieri; Vincenzo Sammartino (PerCom Workshops, 2025)

The Initial Screening Order Problem. - José M. Álvarez 002; Antonio Mastropietro; Salvatore Ruggieri (WSDM, 2025)

Counterfactual Situation Testing: From Single to Multidimensional Discrimination. - José M. Álvarez 002; Salvatore Ruggieri (J. Artif. Intell. Res., 2025)

The explanation dialogues: an expert focus study to understand requirements towards explanations within the GDPR. - Laura State; Alejandra Bringas Colmenarejo; Andrea Beretta; Salvatore Ruggieri; Franco Turini; Stephanie Law (CoRR, 2025)

Bounded-Abstention Pairwise Learning to Rank. - Antonio Ferrara 003; Andrea Pugnana; Francesco Bonchi; Salvatore Ruggieri (CoRR, 2025)