Papers by Salvatore Ruggieri

Home
Research:
Papers
Software
KDDLab
FINDHR
NoBias
Enforce
Teaching:
DSD
SDS

Citation and bibliographic indexes: Google scholar, DBLP, Scopus ArnetMiner

2023

R. Guidotti, A. Monreale, S. Ruggieri, F. Naretto, F. Turini, D. Pedreschi, F. Giannotti. Stable and Actionable Explanations of Black-box Models through Factual and Counterfactual Rules. Data Mining and Knowledge Discovery. To appear. DOI: 10.1007/s10618-022-00878-5.
O. Lampridis, L. State, R. Guidotti, S. Ruggieri. Explaining short text classification with diverse synthetic exemplars and counter-exemplars. Machine Learning Journal. Vol. 112, 4289–4322, 2023.
G. Cianci, R. Goglia, R. Guidotti, M. Kapllaj, R. Mosca, A. Pugnana, F. Ricotti, S. Ruggieri. Applied Data Science for Leasing Score Prediction. 11th IEEE International Conference on Big Data (IEEE BigData 2023) : 1687-1696. December 2023.
M. Setzu, S. Ruggieri. Correlation and Unintended Biases on Univariate and Multivariate Decision Trees. 11th IEEE International Conference on Big Data (IEEE BigData 2023) : 5382-5391. December 2023.
X. Zhao, K. Broelemann, S. Ruggieri, G. Kasneci. Causal Fairness-Guided Dataset Reweighting using Neural Networks. 11th IEEE International Conference on Big Data (IEEE BigData 2023) : 1386-1394. December 2023.
J. M. Alvarez, S. Ruggieri. Counterfactual Situation Testing: Uncovering Discrimination under Fairness given the Difference. 3rd ACM conference on Equity and Access in Algorithms, Mechanisms, and Optimization (EAAMO 2023) : Article 2. October 2023.
L. State, S. Ruggieri, F. Turini. Reason to explain: Interactive contrastive explanations (REASONX). 1st World Conference on XAI (xAI 2023): 421–437. Vol 1901 of CCIS, October 2023.
F. Mazzoni, M. Marchiori Manerba, M. Cinquini, R. Guidotti, S. Ruggieri. GenFair: A Genetic Fairness-Enhancing Data Generation Framework. Discovery Science (DS 2023): 356–371. Vol. 14276 of LNCS, Springer, October 2023.
L. State, S. Ruggieri, F. Turini. Declarative Reasoning on Explanations Using Constraint Logic Programming. 18th European Conference on Logics in Artificial Intelligence (JELIA 2023): 132-141. Vol. 14281 of LNCS, Springer, September 2023.
C. Mougan, J. M. Alvarez, S. Ruggieri, S. Staab. Fairness Implications of Encoding Protected Categorical Attributes. AAAI/ACM Conference on AI, Ethics, and Society (AIES 2023): 454–465. ACM Press, August 2023.
L. State, A. Bringas Colmenarejo, A. Beretta, S. Ruggieri, F. Turini, S. Law. The Explanation Dialogues: Understanding How Legal Experts Reason About XAI Methods. European Workshop on Algorithmic Fairness (EWAF 2023). Vol. 3442 of CEUR Workshop Proceedings, June 2023.
S. Ruggieri, J. M. Alvarez, A. Pugnana, L. State, F. Turini. Can We Trust Fair-AI? 37th AAAI Conference on Artificial Intelligence (AAAI 2023) 37(13), 15421-15430. AAAI Press, June 2023.
A. Pugnana, S. Ruggieri. A Model-Agnostic Heuristics for Selective Classification. 37th AAAI Conference on Artificial Intelligence (AAAI 2023) 37(8), 9461-9469. AAAI Press, June 2023.
J. M. Alvarez, K. M. Scott, B. Berendt, S. Ruggieri. Domain Adaptive Decision Trees: Implications for Accuracy and Fairness. ACM Conference on Fairness, Accountability, and Transparency (FAccT 2023): 423–433. ACM Press, June 2023.
A. Pugnana, S. Ruggieri. AUC-based Selective Classification. 26th International Conference on Artificial Intelligence and Statistics (AISTATS 2023): 2494--2514. Proceedings of Machine Learning Research, April 2023.

2022

F. Lillo, S. Ruggieri. Estimating the Total Volume of Queries to a Search Engine. IEEE Transactions on Knowledge and Data Engineering. Vol. 34 Issue 11, November 2022, 5351-5363.
M. Lazzari, J. M. Alvarez, S. Ruggieri. Predicting and explaining employee turnover intention. International Journal of Data Science and Applications. Vol. 14, Issue 3, September 2022, 279–292.
M. Marchiori Manerba, R. Guidotti, L. Passaro, S. Ruggieri. Bias Discovery Within Human Raters: A Case Study of the Jigsaw Dataset. 1st Workshop on Perspectivist Approaches to NLP@LREC2022: 26-31. ELRA, June 2022.
A. R. Nogueira, A. Pugnana, S. Ruggieri, D. Pedreschi, J. Gama. Methods and Tools for Causal Discovery and Causal Inference. WIREs Data Mining and Knowledge Discovery. Vol. 12 Issue 2, March/April 2022, e1449.
S. Ruggieri. Algorithmic Fairness. In Elgar Encyclopedia of Law and Data Science. Edward Elgar Publishing Limited, Chapter 5, 2022. DOI: 10.4337/9781839104596. ISBN 978 1 83910 459 6.

2021

J. van den Hoven, G. Comandé, S. Ruggieri, J. Domingo-Ferrer, F. Musiani, F. Giannotti, F. Pratesi, M. Stauch, I. Lishchuk. Towards a Digital Ecosystem of Trust: Ethical, Legal and Societal Implications. Opinio Juris in Comparatione. Vol. 2021 Isue 1, December 2021, 131-156.
M. Nanni, G. L. Andrienko, A.-L. Barabási, C. Boldrini, F. Bonchi, C. Cattuto, F. Chiaromonte, G. Comandé, M. Conti, M. Coté, F. Dignum, V. Dignum, J. Domingo-Ferrer, P. Ferragina, F. Giannotti, R. Guidotti, D. Helbing, K. Kaski, J. Kertész, S. Lehmann, B. Lepri, P. Lukowicz, S. Matwin, D.M. Jimenez, A. Monreale, K. Morik, N. Oliver, A. Passarella, A. Passerini, D. Pedreschi, A. Pentland, F. Pianesi, F. Pratesi, S. Rinzivillo, S. Ruggieri, A. Siebes, V. Torra, R. Trasarti, J. van den Hoven, A. Vespignani. Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. Ethics and Information Technology. Vol. 23, November 2021, 1-6.
R. Guidotti, S. Ruggieri. Ensemble of Counterfactual Explainers. Discovery Science (DS 2021). 358-368. Vol. 12986 of LNCS, Springer, October 2021.
T. Calders, E. Ntoutsi, M. Pechenizkiy, B. Rosenhahn, S. Ruggieri. Introduction to The Special Section on Bias and Fairness in AI. ACM SIGKDD Explorations Newsletter. Vol. 23 Issue 1, June 2021, 1-3.

2020

S. Ruggieri, F. Giannotti, R. Guidotti, A. Monreale, D. Pedreschi, F. Turini. Opening the black box: a primer for anti-discrimination. Annuario di diritto comparato e di studi legislativi. Vol. 2020, December 2020, 231-242.
C. Musto, D. Magazzeni, S. Ruggieri, G. Semeraro(eds). XAI.it 2020: Italian Workshop on Explainable Artificial Intelligence. CEUR-WS, November 2020.
O. Lampridis, R. Guidotti, S. Ruggieri. Explaining Sentiment Classification with Synthetic Exemplars and Counter-Exemplars. Discovery Science (DS 2020). 357-373. Vol. 12323 of LNCS, Springer, September 2020. Honorable mention at DS 2020 Best Paper Award.
V. Casarosa, S. Ruggieri, E. Salvatori, M. Simi, S. Turbanti. Educational ecosystems for Information Science: the case of the University of Pisa. Education for Information. Vol. 36, Issue 2, July 2020, 119-138.
E. Ntoutsi, P. Fafalios, U. Gadiraju, V. Iosifidis, W. Nejdl, M.-E. Vidal, S. Ruggieri, F. Turini, S. Papadopoulos, E. Krasanakis, I. Kompatsiaris, K. Kinder-Kurlanda, C. Wagner, F. Karimi, M. Fernandez, H. Alanig, B. Berendt, T. Kruegel, C. Heinze, K. Broelemann, G. Kasneci, T. Tiropanisk, S. Staab. Bias in data-driven artificial intelligence systems — An introductory survey. WIREs Data Mining and Knowledge Discovery. Vol. 10, Issue 3, May/June 2020, e1356.
B. Qureshi, F. Kamiran, A. Karim, S. Ruggieri, D. Pedreschi. Causal inference for social discrimination reasoning. Journal of Intelligent Information Systems. Vol. 54, Issue 2, April 2020, 425-437.
M. Nanni, G. L. Andrienko, A.-L. Barabási, C. Boldrini, F. Bonchi, C. Cattuto, F. Chiaromonte, G. Comandé, M. Conti, M. Coté, F. Dignum, V. Dignum, J. Domingo-Ferrer, P. Ferragina, F. Giannotti, R. Guidotti, D. Helbing, K. Kaski, J. Kertész, S. Lehmann, B. Lepri, P. Lukowicz, S. Matwin, D.M. Jimenez, A. Monreale, K. Morik, N. Oliver, A. Passarella, A. Passerini, D. Pedreschi, A. Pentland, F. Pianesi, F. Pratesi, S. Rinzivillo, S. Ruggieri, A. Siebes, V. Torra, R. Trasarti, J. van den Hoven, A. Vespignani. Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. Trans. on Data Privacy. Vol. 13, Issue 1, April 2020, 61-66.
M. Hildebrandt, C. Castillo, E. Celis, S. Ruggieri, L. Taylor, G. Zanfir-Fortuna (eds). FAT* '20: Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency. ACM, January 2020.

2019-2010

R. Guidotti, A. Monreale, F. Giannotti, D. Pedreschi, S. Ruggieri, F. Turini. Factual and Counterfactual Explanations for Black-Box Decision Making. IEEE Intelligent Systems. Vol. 34, Issue 6, 14-23, Nov.-Dec. 2019.
S. Ruggieri. Complete Search for Feature Selection in Decision Trees. Journal of Machine Learning Research. Vol. 20, Article No 104, 2019.
R. Guidotti, S. Ruggieri. On The Stability of Interpretable Models. International Joint Conference on Neural Networks (IJCNN 2019) : paper N-19575. IEEE, July 2019.
F. Lillo, S. Ruggieri. Estimating the Total Volume of Queries to Google. 28th World Wide Web Conference on World Wide Web (WebConf 2019) : 1051-1060. ACM, May 2019.
A. Baroni, S. Ruggieri. SCube: A Tool for Segregation Discovery. 22nd International Conference on Extending Database Technology (EDBT 2019): 542-545. OpenProceedings.org, March 2019.
D. Pedreschi, F. Giannotti, R. Guidotti, A. Monreale, S. Ruggieri, F. Turini. Meaningful Explanations of Black Box AI Decision Systems. 33rd AAAI Conference on Artificial Intelligence (AAAI 2019): 9780-9784. AAAI Press, January 2019.
R. Guidotti, A. Monreale, S. Ruggieri, F. Turini, F. Giannotti, D. Pedreschi. A Survey of Methods for Explaining Black Box Models. ACM Computing Surveys. Vol. 51, Issue 5, January 2019, Article No. 93.
M. D'Andreagiovanni, F. Baiardi, J. Lipilini, S. Ruggieri, F. Tonelli. Sequential pattern mining for ICT risk assessment and management. Journal of Logical and Algebraic Methods in Programming . Vol. 109, January 2019, 1-16.
A. Baroni, S. Ruggieri. Segregation Discovery in a Social Network of Companies. Journal of Intelligent Information Systems. Vol. 51, Issue 1, August 2018, 71–96.
G. Amato, L. Candela, D. Castelli, A. Esuli, F. Falchi, C. Gennaro, F. Giannotti, A. Monreale, M. Nanni, P. Pagano, L. Pappalardo, D. Pedreschi, F. Pratesi, F. Rabitti, S. Rinzivillo, G. Rossetti, S. Ruggieri, F. Sebastiani, M. Tesconi. How Data Mining and Machine Learning Evolved from Relational Data Base to Data Science. A Comprehensive Guide Through the Italian Database Research, Springer Studies in Big Data, 2018, 287-306.
S. Ruggieri. Enumerating Distinct Decision Trees. International Conference on Machine Learning (ICML 2017). PMLR Proceedings of Machine Learning Research, 70, August 2017, 2960-2968.
A. Baroni, A. Conte, M. Patrignani, S. Ruggieri. Efficiently Clustering Very Large Attributed Graphs. IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2017) 369-376. ACM, August 2017.
M. D'Andreagiovanni, F. Baiardi, J. Lipilini, S. Ruggieri, F. Tonelli. Sequential Pattern Mining for ICT Risk Assessment and Prevention. Proc. of Workshops of Int. Conf. on Software Engineering and Formal Methods (SEFM Workshops 2017). 25-39. Vol. 10729 of LNCS, Springer, January 2018.
B. T. Luong, S. Ruggieri, F. Turini. Classification Rule Mining Supported by Ontology for Discrimination Discovery. IEEE ICDM Int. Workshop on Privacy and Discrimination in Data Mining (PDDM) 868-875. IEEE, December 2016.
S. Ruggieri, F. Turini. A KDD Process for Discrimination Discovery. Nectar track of the 27th European Conference on Machine Learning and 20th Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2016). Part III: 249-253. Vol. 9853 of LNCS, Springer, September 2016.
S. Bergamaschi, E. Carlini, M. Ceci, B. Furletti, F. Giannotti, D. Malerba, M. Mezzanzanica, A. Monreale, G. Pasi, D. Pedreschi, R. Perego, S. Ruggieri. Big Data Research in Italy: A Perspective. Engineering. Vol. 2, Issue 2, June 2016, 163-170.
A. Baroni, S. Ruggieri. Segregation Discovery in a Social Network of Companies. 14th International Symposium on Intelligent Data Analysis (IDA 2015) : 37-48. Vol. 9385 of LNCS, Springer, October 2015.
A. Romei, S. Ruggieri, F. Turini. The Layered Structure of Company Share Networks. 2nd IEEE Int. Conference on Data Science and Advanced Analytics (DSAA 2015) : 1-10. IEEE, October 2015.
S. Ruggieri. Introduction to special issue on Artificial Intelligence for Society and Economy. Intelligenza Artificiale. Vol. 9 Issue 1, July 2015, 23-23.
A. Romei, S. Ruggieri. A multidisciplinary survey on discrimination analysis. The Knowledge Engineering Review. Vol. 29, Issue 5, November 2014, 582-638.
S. Ruggieri, S. Hajian, F. Kamiran, and X. Zhang. Anti-discrimination Analysis Using Privacy Attack Strategies. 25th European Conference on Machine Learning and 18th Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2014). Part II: 694-710. Vol. 8725 of LNCS, Springer, September 2014.
S. Ruggieri. Using t-closeness anonymity to control for non-discrimination. Transactions on Data Privacy. Vol. 7, Issue 2, August 2014, 99-129.
P. Eirinakis, S. Ruggieri, K. Subramani, P. J. Wojciechowski. On Quantified Linear Implications. Annals of Mathematics and Artificial Intelligence. Vol. 71, Issue 4, August 2014, 301-325.
S. Mascetti, A. Ricci, S. Ruggieri. Introduction to special issue on Computational Methods for Enforcing Privacy and Fairness in the Knowledge Society. Artificial Intelligence and Law. Vol. 22, Issue 2, June 2014, 109-111.
M. Aldinucci, S. Ruggieri, M. Torquati. Decision tree building on multi-core using FastFlow. Concurrency and Computation: Practice & Experience. Vol. 26, Issue 3, March 2014, 800-820.
S. Ruggieri, P. Eirinakis, K. Subramani, P. J. Wojciechowski. On the complexity of quantified linear systems. Theoretical Computer Science. Vol. 518, January 2014, 128-134.
S. Ruggieri. Data Anonimity Meets Non-Discrimination. IEEE ICDM Int. Workshop on Privacy-Aware Data Mining (PADM). 875-882. IEEE, December 2013.
A. Romei, S. Ruggieri, F. Turini. Discrimination discovery in scientific project evaluation: A case study. Expert Systems with Applications. Vol. 40, Issue 15, November 2013, 6064–6079.
S. Ruggieri. Learning from Polyhedral Sets. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013): 1069-1075. AAAI Press, August 2013.
D. Pedreschi, S. Ruggieri, F. Turini. The Discovery of Discrimination. Discrimination and Privacy in the Information Society. Vol. 3 of SAPERE, 91-108. Springer, August 2012.
A. Romei, S. Ruggieri. Discrimination Data Analysis: A Multi-disciplinary Bibliography. Discrimination and Privacy in the Information Society. Vol. 3 of SAPERE, 109-135. Springer, August 2012.
A. Romei, S. Ruggieri, F. Turini. Discovering gender discrimination in project funding. IEEE ICDM Int. Workshop on Discrimination and Privacy-Aware Data Mining (DPADM). 394-401. IEEE, December 2012.
P. Eirinakis, S. Ruggieri, K. Subramani, P. J. Wojciechowski. A complexity perspective on entailment of parameterized linear constraints. Constraints. Vol. 17, Number 4, October 2012, 461-487.
S. Ruggieri. Deciding Membership in a Class of Polyhedra. 20th European Conference on Artificial Intelligence (ECAI 2012): 702-707. IOS Press, August 2012.
S. Ruggieri. Subtree Replacement in Decision Tree Simplification. 12th SIAM Conference on Data Mining (SDM 2012): 379-390. SIAM, April 2012.
D. Pedreschi, S. Ruggieri, F. Turini. A Study of Top-K Measures for Discrimination Discovery. 27th ACM Symposium on Applied Computing (SAC 2012): 126-131. ACM, March 2012.
P. Eirinakis, S. Ruggieri, K. Subramani, P. J. Wojciechowski. Computational complexity of inclusion queries over polyhedral sets. International Symposium on Artificial Intelligence and Mathematics (ISAIM 2012). January 2012.
S. Rinzivillo, S. Ruggieri. Who/Where are my new customers? Emerging Intelligent Technologies in Industry (ISMIS 2011 Industrial Session): 307-317. Vol. 369 of Studies in Computational Intelligence, September 2011.
B. T. Luong, S. Ruggieri, F. Turini. k-NN as an Implementation of Situation Testing for Discrimination Discovery and Prevention. 17th ACM International Conference on Knowledge Discovery and Data Mining (KDD 2011): 502-510. ACM, August 2011.
M. Aldinucci, S. Ruggieri, M. Torquati. Porting Decision Tree Algorithms to Multicore using FastFlow. 21th European Conference on Machine Learning and 14th Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2010), Part I: 7-23. Vol. 6321 of LNCS, Springer, September 2010.
S. Ruggieri. Frequent regular itemset mining. 16th ACM International Conference on Knowledge Discovery and Data Mining (KDD 2010): 263-272. ACM, July 2010.
S. Ruggieri, F. Mesnard Typing linear constraints. ACM Transactions on Programming Languages and Systems. Vol. 32, Issue 6, July 2010, Article 21.
S. Ruggieri, D. Pedreschi, F. Turini. DCUBE: Discrimination Discovery in Databases. ACM International Conference on Management of Data (SIGMOD 2010): 1127-1130. ACM, June 2010. Demo paper. Honorable mention at SIGMOD 2010 Best-demo Award Competition.
S. Ruggieri, D. Pedreschi, F. Turini. Data mining for discrimination discovery. ACM Transactions on Knowledge Discovery from Data. Vol. 4, Issue 2, May 2010, Article 9.
S. Ruggieri, D. Pedreschi, F. Turini. Integrating induction and deduction for finding evidence of discrimination. Artificial Intelligence and Law. Vol. 18, Issue 1, March 2010, 1-43.
S. Ruggieri, F. Mesnard Variable ranges in linear constraints. 25th ACM Symposium on Applied Computing (SAC 2010): 2061-2065. ACM, March 2010.

2009-2000

A. Albano, S. Ruggieri. A graduate program in business informatics: Experiences at the University of Pisa. 5th European Computer Science Summit (ECSS 2009). October 2009.
D. Pedreschi, S. Ruggieri, F. Turini. Integrating induction and deduction for finding evidence of discrimination. 12th International Conference on Artificial Intelligence and Law (ICAIL 2009): 157-166. ACM, June 2009.
D. Pedreschi, S. Ruggieri, F. Turini. Measuring discrimination in socially-sensitive decision records. 9th SIAM Conference on Data Mining (SDM 2009): 581-592. SIAM, April 2009.
V. Grossi, A. Romei, S. Ruggieri A case study in sequential pattern mining for IT-operational risk. 19th European Conference on Machine Learning and 12th Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2008), Part I: 424-439. Vol. 5211 of LNCS, Springer, September 2008.
D. Pedreschi, S. Ruggieri, F. Turini. Discrimination-aware data mining. 14th ACM International Conference on Knowledge Discovery and Data Mining (KDD 2008): 560-568. ACM, August 2008.
S. Ruggieri, F. Mesnard Typing linear constraints for moding CLP(R) programs. 15th International Static Analysis Symposium (SAS 2008): 128-143. Vol. 5079 of LNCS, Springer, July 2008.
A. Romei, S. Ruggieri, F. Turini KDDML: a middleware language and system for knowledge discovery in databases. Data and Knowledge Engineering. Vol. 57, Issue 2, May 2006, 179-220.
A. Romei, S. Ruggieri, F. Turini KDDML: a middleware language and system for knowledge discovery in databases. 13th Italian Symposium on Advanced Database Systems (SEBD 2005): 208-219. Aracne editrice, June 2005.
D. Pedreschi and S. Ruggieri. Bounded nondeterminism of logic programs. Annals of Mathematics and Artificial Intelligence. Vol. 42, Issue 4, December 2004, 313-343.
S. Ruggieri YaDT: Yet another Decision Tree builder. 16th International Conference on Tools with Artificial Intelligence (ICTAI 2004): 260-265. IEEE Press, November 2004.
D. Pedreschi, S. Ruggieri, J.-G. Smaus Characterizations of termination in logic programming. Program Development in Computational Logic: 377-432. Vol. 3049 of LNCS, 2004.
M. Baglioni, U. Ferrara, A. Romei, S. Ruggieri, F. Turini Preprocessing and mining web log data for web personalization. 8th Italian Conf. on Artificial Intelligence (AI*IA 2003): 237-249. Vol. 2829 of LNCS, September 2003.
D. Pedreschi and S. Ruggieri. On logic programs that always succeed. Science of Computer Programming. Vol. 48, Issue 2-3, August-September 2003, 163-196.
S. Ruggieri. On computing the semi-sum of two integers. Information Processing Letters. Vol. 87, Issue 2, July 2003, 67-71.
F. Mesnard and S. Ruggieri. On proving left-termination of constraint logic programs. ACM Transactions on Computational Logic. Vol. 4, Number 2, April 2003, 207-259 (paper) and 1-26 (electronic appendix).
D. Pedreschi, S. Ruggieri, J.-G. Smaus Classes of terminating logic programs. Theory and Practice of Logic Programming. Vol. 2, Part 3, May 2002, 369-418.
S. Ruggieri. Efficient C4.5. IEEE Transactions on Knowledge and Data Engineering. Vol. 14, Issue 2, March-April 2002, 438-444.
P. Mancarella, D. Pedreschi and S. Ruggieri Negation as failure through abduction: Reasoning about termination. Computational Logic: From Logic Programming into the Future : 240-272. Vol. 2407 of LNCS, 2002.
F. Bonchi, F. Giannotti, C. Gozzi, G. Manco, M. Nanni, D. Pedreschi, C. Renso and S. Ruggieri Web log data warehousing and mining for intelligent web caching. Data and Knowledge Engineering. Vol. 32, Issue 2, November 2001, 165-189.
F. Bonchi, F. Giannotti, G. Manco, M. Nanni, D. Pedreschi, C. Renso and S. Ruggieri Data mining for intelligent web caching. International Conference on Information Technology: Coding and Computing: 599 -603 IEEE Press, April 2001.
S. Ruggieri. E-Universal termination of logic programs. Theoretical Computer Science. Vol. 254, Issue 1-2, March 2001, 273-296.
S. Ruggieri. Decidability of logic program semantics and applications to testing. Journal of Logic Programming. Vol. 46(1-2) November/December 2000, 103-137.
P. Becuzzi, M. Coppola, S. Ruggieri and M. Vanneschi. Parallelisation of C4.5 as a particular divide and conquer computation. 3rd Workshop on High Performance Data Mining : 382-389. IPDPS 2000 Conference. Vol. 1800 of LNCS, May 2000.

1999 and older

D. Pedreschi and S. Ruggieri. Bounded nondeterminism of logic programs. 16th International Conference on Logic Programming.(ICLP 1999): 350-369. The Mit Press, December 1999.
D. Pedreschi and S. Ruggieri. Verification of logic programs. Journal of Logic Programming, 39 (1-3):125-176, April 1999. Case studies available.
S. Ruggieri. Verification and validation of logic programs. Dipartimento di Informatica, Università di Pisa. Ph.D. Thesis TD 6/99, March 1999. Booklet slides available.
D. Pedreschi and S. Ruggieri. On logic programs that do not fail. ICLP 1999 Workshop on Verification of Logic Programs. ENTCS Vol. 30 No. 1.
D. Pedreschi and S. Ruggieri. Weakest preconditions for pure prolog programs. Information Processing Letters, 67 (3):145-150, August 1998.
C. Renso and S. Ruggieri. A mediator approach for representing knowledge in intelligent multimedia presentation systems. Human Computer Interaction Letters, 1 (1): 32-38, April 1998.
S. Ruggieri. A complete declarative debugger of missing answers. 7th European Symposium on Programming (ESOP 1998: 236-251. Vol. 1381 of LNCS, 1998.
F. Fabbrini, M. Fusani, V. Gervasi, S. Gnesi and S. Ruggieri. Achieving quality in natural language requirements. QUALITY WEEK 1998. Software Research Inc.
F. Fabbrini, M. Fusani, V. Gervasi, S. Gnesi and S. Ruggieri. On Linguistic Quality of Natural Language Requirements. Int. Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ 1998): 57-62. Presses Universitaires de Namur.
M. Bordegoni, G. Faconti, S. Feiner, T. Maybury, T. Rist, S.Ruggieri, P. Trahanias, and M. Wilson. A Standard Reference Model for Intelligent Multimedia Presentation Systems. Journal of Computer Standards & Interfaces, 18 (6-7) : 477-496. December 1997.
S. Ruggieri and M. Wilson. Describing the MMI2 demonstrators with the IMMPS reference model. Journal of Computer Standards & Interfaces, 18 (6-7): 613-621. Amsterdam, December 1997.
S. Ruggieri: Termination of constraint logic programs. 24th International Colloquium on Automata, Languages and Programming (ICALP 1997): 838-848. Vol. 1256 of LNCS, July 1997.
D. Pedreschi and S. Ruggieri. Verification of metainterpreters. Journal of Logic and Computation, 7 (2) : 267-303. April 1997.
S. Ruggieri. Decidability of logic program semantics and applications to testing. 8th International Symposium on Programming Languages: Implementations, Logics, and Programs, (PLILP 1996): 347-362. Vol. 1140 of LNCS, 1996.
M. Bordegoni, G. Faconti, S.Ruggieri, T. Rist, P. Trahanias, and M. Wilson. Intelligent multimedia presentation systems: A proposal for a reference model. 3rd International Conference on Multimedia Modeling (MMM 1996): 3-20. World Scientific, 1996.
S. Ruggieri. Metodi formali per lo sviluppo di programmi logici. Dipartimento di Informatica, Università di Pisa, 1994. Computer Science Master's Thesis, In Italian.

Department of Computer Science

Citation and bibliographic indexes: Google scholar, DBLP, Scopus ArnetMiner

2023

2022

2021

2020

2019-2010

2009-2000

1999 and older

Contact