Publications

You are here

Export 5 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
D. Pedreschi, A Proof Method for Runtime Properties of Prolog Programs, in ICLP, 1994, pp. 584-598.
D. Pedreschi and Ruggieri, S., A Case Study in Logic Program Verification: the Vanilla Metainterpreter, in GULP-PRODE, 1995, pp. 643-654.
D. Pedreschi, Ruggieri, S., and Turini, F., The discovery of discrimination, in Discrimination and privacy in the information society, Springer, 2013, pp. 91–108.
D. Pedreschi and Zaniolo, C., Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings, Lecture Notes in Computer Science, vol. 1154. Springer, 1996.
D. Pedreschi and Ruggieri, S., Verification of Meta-Interpreters, J. Log. Comput., vol. 7, pp. 267-303, 1997.
D. Pedreschi and Subrahmanian, V. S., Non-determinism in Deductive Databases - Preface, Ann. Math. Artif. Intell., vol. 19, pp. 1-2, 1997.
D. Pedreschi and Ruggieri, S., Weakest Preconditions for Pure Prolog Programs, Inf. Process. Lett., vol. 67, pp. 145-150, 1998.
D. Pedreschi and Ruggieri, S., Verification of Logic Programs, J. Log. Program., vol. 39, pp. 125-176, 1999.
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., Bounded Nondeterminism of Logic Programs, in ICLP, 1999, pp. 350-364.
D. Pedreschi, Ruggieri, S., and Turini, F., Integrating induction and deduction for finding evidence of discrimination, in ICAIL, 2009, pp. 157-166.
D. Pedreschi, Giannotti, F., Guidotti, R., Monreale, A., Ruggieri, S., and Turini, F., Meaningful explanations of Black Box AI decision systems, in Proceedings of the AAAI Conference on Artificial Intelligence, 2019.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., Classes of Terminating Logic Programs, CoRR, vol. cs.LO/0106, 2001.
D. Pedreschi, Ruggieri, S., and Turini, F., Measuring Discrimination in Socially-Sensitive Decision Records, in SDM, 2009, pp. 581-592.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., Classes of terminating logic programs, TPLP, vol. 2, pp. 369-418, 2002.
D. Pedreschi, Ruggieri, S., and Turini, F., Discrimination-aware data mining, in KDD, 2008, pp. 560-568.
D. Pedreschi and Ruggieri, S., On logic programs that always succeed, Sci. Comput. Program., vol. 48, pp. 163-196, 2003.
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.
D. Pedreschi and Miliou, I., Artificial Intelligence (AI): new developments and innovations applied to e-commerce, European Parliament's committee on the Internal Market and Consumer Protection, 2020.
D. Pedreschi, Bonchi, F., Turini, F., Verykios, V. S., Atzori, M., Malin, B., Moelans, B., and Saygin, Y., Privacy Protection: Regulations and Technologies, Opportunities and Threats, in Mobility, Data Mining and Privacy, 2008, pp. 101-119.
R. Pellungrini, Monreale, A., and Guidotti, R., Privacy Risk for Individual Basket Patterns, in ECML PKDD 2018 Workshops, Cham, 2019.
R. Pellungrini, Pappalardo, L., Pratesi, F., and Monreale, A., Fast Estimation of Privacy Risk in Human Mobility Data. 2017.
R. Pellungrini, Pappalardo, L., Pratesi, F., and Monreale, A., A Data Mining Approach to Assess Privacy Risk in Human Mobility Data, ACM Trans. Intell. Syst. Technol., vol. 9, pp. 31:1–31:27, 2017.
R. Pellungrini, Pappalardo, L., Pratesi, F., and Monreale, A., Analyzing Privacy Risk in Human Mobility Data, in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, 2018.

Pages