Publications

You are here

Export 50 results:
Author [ Title(Desc)] Type Year
Filters: Author is Ruggieri, Salvatore  [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.
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. Qureshi, Kamiran, F., Karim, A., and Ruggieri, S., Causal Discrimination Discovery Through Propensity Score Analysis, arXiv preprint arXiv:1608.03735, 2016.
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, 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.
B. Thanh Luong, Ruggieri, S., and Turini, F., Classification Rule Mining Supported by Ontology for Discrimination Discovery, in Data Mining Workshops (ICDMW), 2016 IEEE 16th International Conference on, 2016.
S. Ruggieri, Eirinakis, P., Subramani, K., and Wojciechowski, P., On the complexity of quantified linear systems, Theoretical Computer Science, vol. 518, pp. 128–134, 2014.

Pages