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 
G
F. Giannotti, Matteucci, A., Pedreschi, D., and Turini, F., Symbolic Evaluation with Structural Recursive Symbolic Constants, Sci. Comput. Program., vol. 9, pp. 161-177, 1987.
F. Giannotti and Manco, G., Querying inductive Databases via Logic-Based user-defined aggregates, in APPIA-GULP-PRODE, 1999, pp. 605-620.
F. Giannotti and Pedreschi, D., Declarative Semantics for Pruning Operators in Logic Programming, in LPNMR, 1990, pp. 27-37.
F. Giannotti, Manco, G., Pedreschi, D., and Turini, F., Experiences with a Logic-Based Knowledge Discovery Support Environment, in AI*IA, 1999, pp. 202-213.
F. Giannotti, Manco, G., Pedreschi, D., and Turini, F., Experiences with a Logic-based knowledge discovery Support Environment, in 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999.
F. Giannotti and Hermenegildo, M. V., A Technique for Recursive Invariance Detection and Selective Program Specification, in PLILP, 1991, pp. 323-334.
F. Giannotti and Manco, G., Making Knowledge Extraction and Reasoning Closer, in PAKDD, 2000, pp. 360-371.
F. Giannotti, Pedreschi, D., Saccà, D., and Zaniolo, C., Non-Determinism in Deductive Databases, in DOOD, 1991, pp. 129-146.
F. Giannotti and Manco, G., Declarative Knowledge Extraction with Interactive User-Defined Aggregates, in FQAS, 2000, pp. 435-444.
F. Giannotti and Latella, D., Using Abstract Interpretation for Gate splitting in LOTOS Specifications, in WSA, 1992, pp. 194-204.
F. Giannotti, Mazzoni, A., Puntoni, S., and Renso, C., Synthetic generation of cellular network positioning data, in GIS, 2005, pp. 12-20.
P. Gravino, Sirbu, A., Becker, M., Servedio, V. D. P., and Loreto, V., Experimental Assessment of the Emergence of Awareness and Its Influence on Behavioral Changes: The Everyaware Lesson, in Participatory Sensing, Opinions and Collective Awareness, Springer, 2017, pp. 337–362.
P. Gravino, Caminiti, S., Sirbu, A., Tria, F., Servedio, V. D. P., and Loreto, V., Unveiling Political Opinion Structures with a Web-experiment, in Proceedings of the 1st International Conference on Complex Information Systems, 2016.
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.
V. Grossi, Romei, A., and Turini, F., Survey on using constraints in data mining, Data Mining and Knowledge Discovery, vol. 31, pp. 424–464, 2017.
V. Grossi, Guns, T., Monreale, A., Nanni, M., and Nijssen, S., Partition-Based Clustering Using Constraint Optimization, in Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, Springer International Publishing, 2016, pp. 282–299.
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.
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.
B. Guidi, Michienzi, A., and Rossetti, G., Towards the dynamic community discovery in decentralized online social networks, Journal of Grid Computing, vol. 17, pp. 23–44, 2019.
B. Guidi, Michienzi, A., and Rossetti, G., Dynamic community analysis in decentralized online social networks, in European Conference on Parallel Processing, 2017.
R. Guidotti, Rossetti, G., Pappalardo, L., Giannotti, F., and Pedreschi, D., Personalized Market Basket Prediction with Temporal Annotated Recurring Sequences, IEEE Transactions on Knowledge and Data Engineering, 2018.
R. Guidotti and Rossetti, G., “Know Thyself” How Personal Music Tastes Shape the Last. Fm Online Social Network, in International Symposium on Formal Methods, 2019.
R. Guidotti and Ruggieri, S., Assessing the Stability of Interpretable Models, arXiv preprint arXiv:1810.09352, 2018.
R. Guidotti, Soldani, J., Neri, D., and Brogi, A., Explaining successful docker images using pattern mining analysis, in Federation of International Conferences on Software Technologies: Applications and Foundations, 2018.
R. Guidotti, Monreale, A., Rinzivillo, S., Pedreschi, D., and Giannotti, F., Retrieving Points of Interest from Human Systematic Movements, in Software Engineering and Formal Methods, Springer International Publishing, 2014, pp. 294–308.

Pages