Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Desc)]
Filters: Author is Salvatore Ruggieri  [Clear All Filters]
1995
D. Pedreschi and Ruggieri, S., “A Case Study in Logic Program Verification: the Vanilla Metainterpreter”, in GULP-PRODE, 1995, pp. 643-654.
1997
D. Pedreschi and Ruggieri, S., “Verification of Meta-Interpreters”, J. Log. Comput., vol. 7, pp. 267-303, 1997.
1998
C. Renso and Ruggieri, S., “A Mediator Approach for Representing Knowledge”, Intelligent Multimedia Presentation Systems. Human Computer Interaction Letters, 1 (1): 32-38, April 1998., 1998.
D. Pedreschi and Ruggieri, S., “Weakest Preconditions for Pure Prolog Programs”, Inf. Process. Lett., vol. 67, pp. 145-150, 1998.
1999
D. Pedreschi and Ruggieri, S., “Bounded Nondeterminism of Logic Programs”, in ICLP, 1999, pp. 350-364.
D. Pedreschi and Ruggieri, S., “On Logic Programs That Do Not Fail”, Electr. Notes Theor. Comput. Sci., vol. 30, 1999.
D. Pedreschi and Ruggieri, S., “Verification of Logic Programs”, J. Log. Program., vol. 39, pp. 125-176, 1999.
2001
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Classes of Terminating Logic Programs”, CoRR, vol. cs.LO/0106, 2001.
F. Bonchi, Giannotti, F., Manco, G., Renso, C., Nanni, M., Pedreschi, D., and Ruggieri, S., “Data Mining for Intelligent Web Caching”, in ITCC, 2001, pp. 599-603.
F. Bonchi, Giannotti, F., Manco, G., Renso, C., Nanni, M., Pedreschi, D., and Ruggieri, S., “Data Mining for Intelligent Web Caching”, in ITCC, 2001, pp. 599-603.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web Log Data Warehousing and Mining for Intelligent Web Caching”, Data and Knowledge Engineering, 2001.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
2002
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Classes of terminating logic programs”, TPLP, vol. 2, pp. 369-418, 2002.
P. Mancarella, Pedreschi, D., and Ruggieri, S., “Negation as Failure through Abduction: Reasoning about Termination”, in Computational Logic: Logic Programming and Beyond, 2002, pp. 240-272.
2003
D. Pedreschi and Ruggieri, S., “On logic programs that always succeed”, Sci. Comput. Program., vol. 48, pp. 163-196, 2003.
2004
D. Pedreschi and Ruggieri, S., “Bounded Nondeterminism of Logic Programs”, Ann. Math. Artif. Intell., vol. 42, pp. 313-343, 2004.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Characterisations of Termination in Logic Programming”, in Program Development in Computational Logic, 2004, pp. 376-431.
2008
V. Grossi, Romei, A., and Ruggieri, S., “A Case Study in Sequential Pattern Mining for IT-Operational Risk”, in ECML/PKDD (1), 2008, pp. 424-439.
D. Pedreschi, Ruggieri, S., and Turini, F., “Discrimination-aware data mining”, in KDD, 2008, pp. 560-568.
S. Ruggieri and Mesnard, F., “Typing Linear Constraints for Moding CLP() Programs”, in SAS, 2008, pp. 128-143.
2009
D. Pedreschi, Ruggieri, S., and Turini, F., “Integrating induction and deduction for finding evidence of discrimination”, in ICAIL, 2009, pp. 157-166.
D. Pedreschi, Ruggieri, S., and Turini, F., “Measuring Discrimination in Socially-Sensitive Decision Records”, in SDM, 2009, pp. 581-592.
2011
S. Rinzivillo and Ruggieri, S., “Who/Where Are My New Customers?”, in ISMIS Industrial Session, 2011, pp. 307-317.
2013
S. Ruggieri, “Data Anonymity Meets Non-discrimination”, in Data Mining Workshops (ICDMW), 2013 IEEE 13th International Conference on, 2013.

Pages