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, Giannotti, F., Guidotti, R., Monreale, A., Pappalardo, L., Ruggieri, S., and Turini, F., Open the Black Box Data-Driven Explanation of Black Box Decision Systems, 2018.
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, 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.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., Characterisations of Termination in Logic Programming, in Program Development in Computational Logic, 2004, pp. 376-431.
R. Pellungrini, Pappalardo, L., Simini, F., and Monreale, A., Modeling Adversarial Behavior Against Mobility Data Privacy, IEEE Transactions on Intelligent Transportation SystemsIEEE Transactions on Intelligent Transportation Systems, pp. 1 - 14, 2020.
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, Monreale, A., and Guidotti, R., Privacy Risk for Individual Basket Patterns, in ECML PKDD 2018 Workshops, Cham, 2019.

Pages