Dipartimento di Informatica, Universita' di Pisa, Italy

Publications

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.

2011

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.

2010

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

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.

2008

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.

2006

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.

2005

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.

2004

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.

2003

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).

2002

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.

2001

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.

2000

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

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.

1998

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.

1997

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.

1996 and older

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.
D. Pedreschi and S. Ruggieri. A case study in logic program verification: the Vanilla metainterpreter. GULP-PRODE 1995 : 643-654. Univ. di Salerno, 1995.
D. Pedreschi and S. Ruggieri. Termination is language-independent. GULP-PRODE 1994 : 418-433. Univ. Politecnica de Valencia, 1994.
S. Ruggieri. Metodi formali per lo sviluppo di programmi logici. Dipartimento di Informatica, Università di Pisa, 1994. Computer Science Master's Thesis, In Italian.