Publications

You are here

Home » Research
Export 5 results:
Author [ Title(Asc)] 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 
D
L. Corciulo, Giannotti, F., and Pedreschi, D., “Datalog with Non-Deterministic Choice Computes NDB-PTIME”, in DOOD, 1993, pp. 49-66.
F. Giannotti and Pedreschi, D., “Datalog with Non-Deterministic Choice Computers NDB-PTIME”, J. Log. Program., vol. 35, pp. 79-101, 1998.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: a Basis for Active Object.Oriented Databases”, in SEBD, 1997, pp. 325-340.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: A Basis for Active Object-Oriented Databases”, in DOOD, 1997, pp. 283-301.
D. Janssens, Giannotti, F., Nanni, M., Pedreschi, D., and Rinzivillo, S., “Data Science for Simulating the Era of Electric Vehicles”, KI - Künstliche Intelligenz, 2012.
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.
V. Grossi, Pedreschi, D., and Turini, F., “Data Mining and Constraints: An Overview”, in Data Mining and Constraint Programming, Springer International Publishing, 2016, pp. 25–48.
C. Bessiere, De Raedt, L., Kotthoff, L., Nijssen, S., O'Sullivan, B., and Pedreschi, D., “Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach.”. 2016.
C
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.
P. Mancarella, Martini, S., and Pedreschi, D., “Complete Logic Programs with Domain-Closure Axiom”, J. Log. Program., vol. 5, pp. 263-276, 1988.
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.
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.
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.
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.
K. R. Apt, Gabbrielli, M., and Pedreschi, D., “A Closer Look at Declarative Interpretations”, J. Log. Program., vol. 28, pp. 147-180, 1996.
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.
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.
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 Smaus, J. - G., “Classes of Terminating Logic Programs”, CoRR, vol. cs.LO/0106, 2001.
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., “Characterisations of Termination in Logic Programming”, in Program Development in Computational Logic, 2004, pp. 376-431.
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 and Ruggieri, S., “A Case Study in Logic Program Verification: the Vanilla Metainterpreter”, in GULP-PRODE, 1995, pp. 643-654.
B
D. Pedreschi and Ruggieri, S., “Bounded Nondeterminism of Logic Programs”, in ICLP, 1999, pp. 350-364.

Pages