default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSalvatore Ruggieri
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j44]Riccardo Guidotti
, Anna Monreale, Salvatore Ruggieri, Francesca Naretto, Franco Turini, Dino Pedreschi, Fosca Giannotti:
Stable and actionable explanations of black-box models through factual and counterfactual rules. Data Min. Knowl. Discov. 38(5): 2825-2862 (2024)- [j43]José M. Álvarez, Alejandra Bringas Colmenarejo, Alaa Elobaid, Simone Fabbrizzi, Miriam Fahimi, Antonio Ferrara, Siamak Ghodsi, Carlos Mougan, Ioanna Papageorgiou, Paula Reyero Lobo, Mayra Russo, Kristen M. Scott, Laura State, Xuan Zhao, Salvatore Ruggieri:
Policy advice and best practices on bias and fairness in AI. Ethics Inf. Technol. 26(2): 31 (2024) - [c65]Xuan Zhao, Klaus Broelemann, Salvatore Ruggieri, Gjergji Kasneci:
Enhancing Fairness through Reweighting: A Path to Attain the Sufficiency Rule. ECAI 2024: 794-801 - [i27]Andrea Pugnana, Lorenzo Perini, Jesse Davis, Salvatore Ruggieri:
Deep Neural Network Benchmarks for Selective Classification. CoRR abs/2401.12708 (2024) - [i26]José M. Álvarez, Salvatore Ruggieri:
Causal Perception. CoRR abs/2401.13408 (2024) - [i25]José M. Álvarez, Salvatore Ruggieri:
Mutatis Mutandis: Revisiting the Comparator in Discrimination Testing. CoRR abs/2405.13693 (2024) - [i24]Filippo Palomba, Andrea Pugnana, José M. Álvarez, Salvatore Ruggieri:
A Causal Framework for Evaluating Deferring Systems. CoRR abs/2405.18902 (2024) - [i23]Xuan Zhao, Klaus Broelemann, Salvatore Ruggieri, Gjergji Kasneci:
Enhancing Fairness through Reweighting: A Path to Attain the Sufficiency Rule. CoRR abs/2408.14126 (2024) - 2023
- [j42]Orestis Lampridis, Laura State, Riccardo Guidotti, Salvatore Ruggieri:
Explaining short text classification with diverse synthetic exemplars and counter-exemplars. Mach. Learn. 112(11): 4289-4322 (2023) - [c64]Andrea Pugnana, Salvatore Ruggieri:
A Model-Agnostic Heuristics for Selective Classification. AAAI 2023: 9461-9469 - [c63]Salvatore Ruggieri, José M. Álvarez, Andrea Pugnana, Laura State, Franco Turini:
Can We Trust Fair-AI? AAAI 2023: 15421-15430 - [c62]Carlos Mougan, José M. Álvarez, Salvatore Ruggieri, Steffen Staab:
Fairness Implications of Encoding Protected Categorical Attributes. AIES 2023: 454-465 - [c61]Andrea Pugnana, Salvatore Ruggieri:
AUC-based Selective Classification. AISTATS 2023: 2494-2514 - [c60]Xuan Zhao, Klaus Broelemann, Salvatore Ruggieri, Gjergji Kasneci:
Causal Fairness-Guided Dataset Reweighting using Neural Networks. IEEE Big Data 2023: 1386-1394 - [c59]Giuseppe Cianci, Roberto Goglia, Riccardo Guidotti, Matteo Kapllaj, Roberto Mosca, Andrea Pugnana, Franco Ricotti, Salvatore Ruggieri:
Applied Data Science for Leasing Score Prediction. IEEE Big Data 2023: 1687-1696 - [c58]Mattia Setzu, Salvatore Ruggieri:
Correlation and Unintended Biases on Univariate and Multivariate Decision Trees. IEEE Big Data 2023: 5382-5391 - [c57]Federico Mazzoni, Marta Marchiori Manerba, Martina Cinquini, Riccardo Guidotti, Salvatore Ruggieri:
GenFair: A Genetic Fairness-Enhancing Data Generation Framework. DS 2023: 356-371 - [c56]José M. Álvarez, Salvatore Ruggieri:
Counterfactual Situation Testing: Uncovering Discrimination under Fairness given the Difference. EAAMO 2023: 2:1-2:11 - [c55]Laura State, Alejandra Bringas Colmenarejo, Andrea Beretta, Salvatore Ruggieri, Franco Turini, Stephanie Law:
The Explanation Dialogues: Understanding How Legal Experts Reason About XAI Methods. EWAF 2023 - [c54]José M. Álvarez, Kristen M. Scott, Bettina Berendt, Salvatore Ruggieri:
Domain Adaptive Decision Trees: Implications for Accuracy and Fairness. FAccT 2023: 423-433 - [c53]Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Dino Pedreschi, Roberto Pellungrini, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Mattia Setzu, Rosaria Deluca:
Trustworthy AI at KDD Lab. Ital-IA 2023: 388-393 - [c52]Laura State, Salvatore Ruggieri, Franco Turini:
Declarative Reasoning on Explanations Using Constraint Logic Programming. JELIA 2023: 132-141 - [c51]Laura State, Salvatore Ruggieri, Franco Turini:
Reason to Explain: Interactive Contrastive Explanations (REASONX). xAI (1) 2023: 421-437 - [i22]José M. Álvarez, Salvatore Ruggieri:
Counterfactual Situation Testing: Uncovering Discrimination under Fairness given the Difference. CoRR abs/2302.11944 (2023) - [i21]José M. Álvarez, Kristen M. Scott, Salvatore Ruggieri, Bettina Berendt:
Domain Adaptive Decision Trees: Implications for Accuracy and Fairness. CoRR abs/2302.13846 (2023) - [i20]Carlos Mougan, Laura State, Antonio Ferrara, Salvatore Ruggieri, Steffen Staab:
Demographic Parity Inspector: Fairness Audits via the Explanation Space. CoRR abs/2303.08040 (2023) - [i19]Laura State, Salvatore Ruggieri, Franco Turini:
Reason to explain: Interactive contrastive explanations (REASONX). CoRR abs/2305.18143 (2023) - [i18]José M. Álvarez, Antonio Mastropietro, Salvatore Ruggieri:
The Initial Screening Order Problem. CoRR abs/2307.15398 (2023) - [i17]Riccardo Guidotti, Salvatore Ruggieri:
Ensemble of Counterfactual Explainers. CoRR abs/2308.15194 (2023) - [i16]Laura State, Salvatore Ruggieri, Franco Turini:
Declarative Reasoning on Explanations Using Constraint Logic Programming. CoRR abs/2309.00422 (2023) - [i15]Xuan Zhao, Klaus Broelemann, Salvatore Ruggieri, Gjergji Kasneci:
Causal Fairness-Guided Dataset Reweighting using Neural Networks. CoRR abs/2311.10512 (2023) - [i14]Mattia Setzu, Salvatore Ruggieri:
Correlation and Unintended Biases on Univariate and Multivariate Decision Trees. CoRR abs/2312.01884 (2023) - 2022
- [j41]Matilde Lazzari, José M. Álvarez, Salvatore Ruggieri:
Predicting and explaining employee turnover intention. Int. J. Data Sci. Anal. 14(3): 279-292 (2022) - [j40]Fabrizio Lillo, Salvatore Ruggieri:
Estimating the Total Volume of Queries to a Search Engine. IEEE Trans. Knowl. Data Eng. 34(11): 5351-5363 (2022) - [j39]Ana Rita Nogueira, Andrea Pugnana, Salvatore Ruggieri, Dino Pedreschi, João Gama:
Methods and tools for causal discovery and causal inference. WIREs Data Mining Knowl. Discov. 12(2) (2022) - [c50]Marta Marchiori Manerba, Riccardo Guidotti, Lucia C. Passaro, Salvatore Ruggieri:
Bias Discovery within Human Raters: A Case Study of the Jigsaw Dataset. NLPerspectives@LREC 2022: 26-31 - [i13]Carlos Mougan, José M. Álvarez, Gourab K. Patro, Salvatore Ruggieri, Steffen Staab:
Fairness implications of encoding protected categorical attributes. CoRR abs/2201.11358 (2022) - [i12]Andrea Pugnana, Salvatore Ruggieri:
AUC-based Selective Classification. CoRR abs/2210.10703 (2022) - 2021
- [j38]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, Josep Domingo-Ferrer, Paolo Ferragina, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, Kimmo Kaski, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Stan Matwin, David Megías Jiménez, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Fabio Pianesi, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Vicenç Torra, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani:
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. Ethics Inf. Technol. 23(S1): 1-6 (2021) - [j37]Toon Calders, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Salvatore Ruggieri:
Introduction to The Special Section on Bias and Fairness in AI. SIGKDD Explor. 23(1): 1-3 (2021) - [c49]Riccardo Guidotti, Salvatore Ruggieri:
Ensemble of Counterfactual Explainers. DS 2021: 358-368 - [i11]Fabrizio Lillo, Salvatore Ruggieri:
Estimating the Total Volume of Queries to a Search Engine. CoRR abs/2101.09807 (2021) - 2020
- [j36]Vittore Casarosa, Salvatore Ruggieri, Enrica Salvatori, Maria Simi, Simona Turbanti:
Educational ecosystems for Information Science: The case of the University of Pisa. Educ. Inf. 36(2): 119-138 (2020) - [j35]Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri, Dino Pedreschi:
Causal inference for social discrimination reasoning. J. Intell. Inf. Syst. 54(2): 425-437 (2020) - [j34]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, Josep Domingo-Ferrer, Paolo Ferragina, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, Kimmo Kaski, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Stan Matwin, David Megías, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Fabio Pianesi, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Vicenç Torra, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani:
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. Trans. Data Priv. 13(1): 61-66 (2020) - [j33]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, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab:
Bias in data-driven artificial intelligence systems - An introductory survey. WIREs Data Mining Knowl. Discov. 10(3) (2020) - [c48]Orestis Lampridis, Riccardo Guidotti, Salvatore Ruggieri:
Explaining Sentiment Classification with Synthetic Exemplars and Counter-Exemplars. DS 2020: 357-373 - [e2]Cataldo Musto, Daniele Magazzeni, Salvatore Ruggieri, Giovanni Semeraro:
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, XAI.it@AIxIA 2020, Online Event, November 25-26, 2020. CEUR Workshop Proceedings 2742, CEUR-WS.org 2020 [contents] - [e1]Mireille Hildebrandt, Carlos Castillo, L. Elisa Celis, Salvatore Ruggieri, Linnet Taylor, Gabriela Zanfir-Fortuna:
FAT* '20: Conference on Fairness, Accountability, and Transparency, Barcelona, Spain, January 27-30, 2020. ACM 2020, ISBN 978-1-4503-6936-7 [contents] - [i10]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, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab:
Bias in Data-driven AI Systems - An Introductory Survey. CoRR abs/2001.09762 (2020) - [i9]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, Josep Domingo-Ferrer, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani:
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. CoRR abs/2004.05222 (2020)
2010 – 2019
- 2019
- [j32]Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi:
A Survey of Methods for Explaining Black Box Models. ACM Comput. Surv. 51(5): 93:1-93:42 (2019) - [j31]Riccardo Guidotti, Anna Monreale, Fosca Giannotti, Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Factual and Counterfactual Explanations for Black Box Decision Making. IEEE Intell. Syst. 34(6): 14-23 (2019) - [j30]Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli:
Sequential pattern mining for ICT risk assessment and management. J. Log. Algebraic Methods Program. 102: 1-16 (2019) - [j29]Salvatore Ruggieri:
Complete Search for Feature Selection in Decision Trees. J. Mach. Learn. Res. 20: 104:1-104:34 (2019) - [c47]Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini:
Meaningful Explanations of Black Box AI Decision Systems. AAAI 2019: 9780-9784 - [c46]Alessandro Baroni, Salvatore Ruggieri:
SCube: A Tool for Segregation Discovery. EDBT 2019: 542-545 - [c45]Riccardo Guidotti, Salvatore Ruggieri:
On The Stability of Interpretable Models. IJCNN 2019: 1-8 - [c44]Fabrizio Lillo, Salvatore Ruggieri:
Estimating the Total Volume of Queries to Google. WWW 2019: 1051-1060 - 2018
- [j28]Alessandro Baroni, Salvatore Ruggieri:
Segregation discovery in a social network of companies. J. Intell. Inf. Syst. 51(1): 71-96 (2018) - [p4]Giuseppe Amato, Leonardo Candela, Donatella Castelli, Andrea Esuli, Fabrizio Falchi, Claudio Gennaro, Fosca Giannotti, Anna Monreale, Mirco Nanni, Pasquale Pagano, Luca Pappalardo, Dino Pedreschi, Francesca Pratesi, Fausto Rabitti, Salvatore Rinzivillo, Giulio Rossetti, Salvatore Ruggieri, Fabrizio Sebastiani, Maurizio Tesconi:
How Data Mining and Machine Learning Evolved from Relational Data Base to Data Science. A Comprehensive Guide Through the Italian Database Research 2018: 287-306 - [i8]Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Dino Pedreschi, Franco Turini, Fosca Giannotti:
Local Rule-Based Explanations of Black Box Decision Systems. CoRR abs/1805.10820 (2018) - [i7]Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Salvatore Ruggieri, Franco Turini:
Open the Black Box Data-Driven Explanation of Black Box Decision Systems. CoRR abs/1806.09936 (2018) - [i6]Riccardo Guidotti, Salvatore Ruggieri:
Assessing the Stability of Interpretable Models. CoRR abs/1810.09352 (2018) - 2017
- [c43]Alessandro Baroni, Alessio Conte, Maurizio Patrignani, Salvatore Ruggieri:
Efficiently Clustering Very Large Attributed Graphs. ASONAM 2017: 369-376 - [c42]Salvatore Ruggieri:
Enumerating Distinct Decision Trees. ICML 2017: 2960-2968 - [c41]Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli:
Sequential Pattern Mining for ICT Risk Assessment and Prevention. SEFM Workshops 2017: 25-39 - [i5]Alessandro Baroni, Alessio Conte, Maurizio Patrignani, Salvatore Ruggieri:
Efficiently Clustering Very Large Attributed Graphs. CoRR abs/1703.08590 (2017) - [i4]Alessandro Baroni, Salvatore Ruggieri:
SCube: A Tool for Segregation Discovery. CoRR abs/1709.08348 (2017) - 2016
- [c40]Binh Thanh Luong, Salvatore Ruggieri, Franco Turini:
Classification Rule Mining Supported by Ontology for Discrimination Discovery. ICDM Workshops 2016: 868-875 - [c39]Salvatore Ruggieri, Franco Turini:
A KDD Process for Discrimination Discovery. ECML/PKDD (3) 2016: 249-253 - [i3]Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri:
Causal Discrimination Discovery Through Propensity Score Analysis. CoRR abs/1608.03735 (2016) - 2015
- [j27]Salvatore Ruggieri:
Introduction to the special issue on Artificial Intelligence for Society and Economy. Intelligenza Artificiale 9(1): 23 (2015) - [c38]Andrea Romei, Salvatore Ruggieri, Franco Turini:
The layered structure of company share networks. DSAA 2015: 1-10 - [c37]Alessandro Baroni, Salvatore Ruggieri:
Segregation Discovery in a Social Network of Companies. IDA 2015: 37-48 - 2014
- [j26]Sergio Mascetti, Annarita Ricci, Salvatore Ruggieri:
Introduction to special issue on computational methods for enforcing privacy and fairness in the knowledge society. Artif. Intell. Law 22(2): 109-111 (2014) - [j25]Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
On quantified linear implications. Ann. Math. Artif. Intell. 71(4): 301-325 (2014) - [j24]Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati:
Decision tree building on multi-core using FastFlow. Concurr. Comput. Pract. Exp. 26(3): 800-820 (2014) - [j23]Andrea Romei, Salvatore Ruggieri:
A multidisciplinary survey on discrimination analysis. Knowl. Eng. Rev. 29(5): 582-638 (2014) - [j22]Salvatore Ruggieri, Pavlos Eirinakis, K. Subramani, Piotr Wojciechowski:
On the complexity of quantified linear systems. Theor. Comput. Sci. 518: 128-134 (2014) - [j21]Salvatore Ruggieri:
Using t-closeness anonymity to control for non-discrimination. Trans. Data Priv. 7(2): 99-129 (2014) - [c36]Salvatore Ruggieri, Sara Hajian, Faisal Kamiran, Xiangliang Zhang:
Anti-discrimination Analysis Using Privacy Attack Strategies. ECML/PKDD (2) 2014: 694-710 - 2013
- [j20]Andrea Romei, Salvatore Ruggieri, Franco Turini:
Discrimination discovery in scientific project evaluation: A case study. Expert Syst. Appl. 40(15): 6064-6079 (2013) - [c35]Salvatore Ruggieri:
Data Anonymity Meets Non-discrimination. ICDM Workshops 2013: 875-882 - [c34]Salvatore Ruggieri:
Learning from Polyhedral Sets. IJCAI 2013: 1069-1075 - [p3]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
The Discovery of Discrimination. Discrimination and Privacy in the Information Society 2013: 91-108 - [p2]Andrea Romei, Salvatore Ruggieri:
Discrimination Data Analysis: A Multi-disciplinary Bibliography. Discrimination and Privacy in the Information Society 2013: 109-135 - 2012
- [j19]Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
A complexity perspective on entailment of parameterized linear constraints. Constraints An Int. J. 17(4): 461-487 (2012) - [c33]Salvatore Ruggieri:
Deciding Membership in a Class of Polyhedra. ECAI 2012: 702-707 - [c32]Andrea Romei, Salvatore Ruggieri, Franco Turini:
Discovering Gender Discrimination in Project Funding. ICDM Workshops 2012: 394-401 - [c31]Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
Computational complexity of inclusion queries over polyhedral sets. ISAIM 2012 - [c30]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
A study of top-k measures for discrimination discovery. SAC 2012: 126-131 - [c29]Salvatore Ruggieri:
Subtree Replacement in Decision Tree Simplification. SDM 2012: 379-390 - 2011
- [c28]Salvatore Rinzivillo, Salvatore Ruggieri:
Who/Where Are My New Customers? ISMIS Industrial Session 2011: 307-317 - [c27]Binh Luong Thanh, Salvatore Ruggieri, Franco Turini:
k-NN as an implementation of situation testing for discrimination discovery and prevention. KDD 2011: 502-510 - 2010
- [j18]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
Integrating induction and deduction for finding evidence of discrimination. Artif. Intell. Law 18(1): 1-43 (2010) - [j17]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
Data mining for discrimination discovery. ACM Trans. Knowl. Discov. Data 4(2): 9:1-9:40 (2010) - [j16]Salvatore Ruggieri, Fred Mesnard:
Typing linear constraints. ACM Trans. Program. Lang. Syst. 32(6): 21:1-21:42 (2010) - [c26]Salvatore Ruggieri:
Frequent regular itemset mining. KDD 2010: 263-272 - [c25]Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati:
Porting Decision Tree Algorithms to Multicore Using FastFlow. ECML/PKDD (1) 2010: 7-23 - [c24]Salvatore Ruggieri, Fred Mesnard:
Variable ranges in linear constraints. SAC 2010: 2061-2065 - [c23]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
DCUBE: discrimination discovery in databases. SIGMOD Conference 2010: 1127-1130 - [i2]Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati:
Porting Decision Tree Algorithms to Multicore using FastFlow. CoRR abs/1006.3424 (2010)
2000 – 2009
- 2009
- [c22]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166 - [c21]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592 - 2008
- [c20]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Discrimination-aware data mining. KDD 2008: 560-568 - [c19]Valerio Grossi, Andrea Romei, Salvatore Ruggieri:
A Case Study in Sequential Pattern Mining for IT-Operational Risk. ECML/PKDD (1) 2008: 424-439 - [c18]Salvatore Ruggieri, Frédéric Mesnard:
Typing Linear Constraints for Moding CLP() Programs. SAS 2008: 128-143 - 2006
- [j15]Andrea Romei, Salvatore Ruggieri, Franco Turini:
KDDML: A middleware language and system for knowledge discovery in databases. Data Knowl. Eng. 57(2): 179-220 (2006) - 2005
- [c17]Andrea Romei, Salvatore Ruggieri, Franco Turini:
KDDML: a middleware language and system for knowledge discovery in databases. SEBD 2005: 208-219 - 2004
- [j14]Dino Pedreschi, Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs. Ann. Math. Artif. Intell. 42(4): 313-343 (2004) - [c16]Salvatore Ruggieri:
YaDT: Yet another Decision Tree Builder. ICTAI 2004: 260-265 - [p1]Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431 - 2003
- [j13]Salvatore Ruggieri:
On computing the semi-sum of two integers. Inf. Process. Lett. 87(2): 67-71 (2003) - [j12]Dino Pedreschi, Salvatore Ruggieri:
On logic programs that always succeed. Sci. Comput. Program. 48(2-3): 163-196 (2003) - [j11]Frédéric Mesnard, Salvatore Ruggieri:
On proving left termination of constraint logic programs. ACM Trans. Comput. Log. 4(2): 207-259 (2003) - [c15]Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini:
Preprocessing and Mining Web Log Data for Web Personalization. AI*IA 2003: 237-249 - 2002
- [j10]Salvatore Ruggieri:
Efficient C4.5. IEEE Trans. Knowl. Data Eng. 14(2): 438-444 (2002) - [j9]Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Classes of terminating logic programs. Theory Pract. Log. Program. 2(3): 369-418 (2002) - [c14]Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri:
Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272 - 2001
- [j8]Francesco Bonchi, Fosca Giannotti, Cristian Gozzi, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Chiara Renso, Salvatore Ruggieri:
Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng. 39(2): 165-189 (2001) - [j7]Salvatore Ruggieri:
exists-Universal termination of logic programs. Theor. Comput. Sci. 254(1-2): 273-296 (2001) - [c13]Francesco Bonchi, Fosca Giannotti, Giuseppe Manco, Chiara Renso, Mirco Nanni, Dino Pedreschi, Salvatore Ruggieri:
Data Mining for Intelligent Web Caching. ITCC 2001: 599-603 - [i1]Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Classes of Terminating Logic Programs. CoRR cs.LO/0106050 (2001) - 2000
- [j6]Salvatore Ruggieri:
Decidability of logic program semantics and applications to testing. J. Log. Program. 46(1-2): 103-137 (2000) - [c12]Primo Becuzzi, Massimo Coppola, Salvatore Ruggieri, Marco Vanneschi:
Parallelisation of C4.5 as a Particular Divide and Conquer Computation. IPDPS Workshops 2000: 382-389
1990 – 1999
- 1999
- [j5]Dino Pedreschi, Salvatore Ruggieri:
Verification of Logic Programs. J. Log. Program. 39(1-3): 125-176 (1999) - [c11]Dino Pedreschi, Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs. ICLP 1999: 350-364 - [c10]Dino Pedreschi, Salvatore Ruggieri:
On Logic Programs That Do Not Fail. Verification of Logic Programs@ICLP 1999: 77-101 - 1998
- [j4]Dino Pedreschi, Salvatore Ruggieri:
Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett. 67(3): 145-150 (1998) - [c9]Salvatore Ruggieri:
A Complete Declarative Debugger of Missing Answers. ESOP 1998: 236-251 - [c8]Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri:
On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62 - 1997
- [j3]Monica Bordegoni, Giorgio P. Faconti, Steven Feiner, Mark T. Maybury, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson:
A standard reference model for intelligent multimedia presentation systems. Comput. Stand. Interfaces 18(6-7): 477-496 (1997) - [j2]Salvatore Ruggieri, Michael D. Wilson:
Describing the MMI2 demonstrators with the IMMPS reference model. Comput. Stand. Interfaces 18(6-7): 613-621 (1997) - [j1]Dino Pedreschi, Salvatore Ruggieri:
Verification of Meta-Interpreters. J. Log. Comput. 7(2): 267-303 (1997) - [c7]Salvatore Ruggieri:
Termination of Constraint Logic Programs. ICALP 1997: 838-848 - 1996
- [c6]Salvatore Ruggieri:
On Termination of Constraint Logic Programs. APPIA-GULP-PRODE 1996: 391-406 - [c5]Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson:
Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. MMM 1996: 3-20 - [c4]Salvatore Ruggieri:
Decidability of Logic Program Semantics and Applications to Testing. PLILP 1996: 347-362 - 1995
- [c3]Dino Pedreschi, Salvatore Ruggieri:
A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE 1995: 643-654 - 1994
- [c2]Dino Pedreschi, Salvatore Ruggieri:
Termination is Language-Independent. GULP-PRODE (1) 1994: 418-433 - [c1]Salvatore Ruggieri:
Proving (total) correctness of Prolog programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 20:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
