Publications

You are here

Export 5 results:
Author [ Title(Desc)] Type Year
Filters: Author is Dino Pedreschi  [Clear All Filters]
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 
C
D. Pedreschi and Ruggieri, S., A Case Study in Logic Program Verification: the Vanilla Metainterpreter, in GULP-PRODE, 1995, pp. 643-654.
B. Qureshi, Kamiran, F., Karim, A., Ruggieri, S., and Pedreschi, D., Causal inference for social discrimination reasoning, Journal of Intelligent Information Systems, pp. 1–13, 2019.
B. Qureshi, Kamiran, F., Karim, A., Ruggieri, S., and Pedreschi, D., Causal inference for social discrimination reasoning, vol. 54, pp. 425 - 437, 2020.
A. Basu, Corena, J. C., Monreale, A., Pedreschi, D., Giannotti, F., Kiyomoto, S., Vaidya, J., and Miyake, Y., CF-inspired Privacy-Preserving Prediction of Next Location in the Cloud, in Cloud Computing Technology and Science (CloudCom), 2014 IEEE 6th International Conference on, 2014.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., Characterisations of Termination in Logic Programming, in Program Development in Computational Logic, 2004, pp. 376-431.
L. Gabrielli, Furletti, B., Trasarti, R., Giannotti, F., and Pedreschi, D., City users’ classification with mobile phone data, in IEEE Big Data, Santa Clara (CA) - USA, 2015.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., Classes of Terminating Logic Programs, CoRR, vol. cs.LO/0106, 2001.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., Classes of terminating logic programs, TPLP, vol. 2, pp. 369-418, 2002.
M. Coscia, Giannotti, F., and Pedreschi, D., A classification for community discovery methods in complex networks, Statistical Analysis and Data Mining, vol. 4, pp. 512-546, 2011.
F. Bonchi, Giannotti, F., Mainetto, G., and Pedreschi, D., A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection, in KDD, 1999, pp. 175-184.
K. R. Apt, Gabbrielli, M., and Pedreschi, D., A Closer Look at Declarative Interpretations, J. Log. Program., vol. 28, pp. 147-180, 1996.
V. Grossi, Monreale, A., Nanni, M., Pedreschi, D., and Turini, F., Clustering Formulation Using Constraint Optimization, in Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, 2015.
R. Guidotti, Monreale, A., Nanni, M., Giannotti, F., and Pedreschi, D., Clustering Individual Transactional Data for Masses of Users, in Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2017.
G. Rossetti, Pappalardo, L., Kikas, R., Pedreschi, D., Giannotti, F., and Dumas, M., Community-centric analysis of user engagement in Skype social network, in International conference on Advances in Social Network Analysis and Mining, Paris, France, 2015.
L. Pappalardo, Simini, F., Rinzivillo, S., Pedreschi, D., and Giannotti, F., Comparing General Mobility and Mobility by Car, in Computational Intelligence and 11th Brazilian Congress on Computational Intelligence (BRICS-CCI CBIC), 2013 BRICS Congress on, 2013.
P. Mancarella, Martini, S., and Pedreschi, D., Complete Logic Programs with Domain-Closure Axiom, J. Log. Program., vol. 5, pp. 263-276, 1988.
A. Monreale, Trasarti, R., Pedreschi, D., Renso, C., and Bogorny, V., C-safety: a framework for the anonymization of semantic trajectories, Transactions on Data Privacy, vol. 4, pp. 73-101, 2011.

Pages