Publications

You are here

Export 5 results:
Author [ Title(Asc)] Type Year
Filters: Author is Salvatore Ruggieri  [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
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.
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.
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.
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., Characterisations of Termination in Logic Programming, in Program Development in Computational Logic, 2004, pp. 376-431.
B. Qureshi, Kamiran, F., Karim, A., and Ruggieri, S., Causal Discrimination Discovery Through Propensity Score Analysis, arXiv preprint arXiv:1608.03735, 2016.
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.
D. Pedreschi and Ruggieri, S., A Case Study in Logic Program Verification: the Vanilla Metainterpreter, in GULP-PRODE, 1995, pp. 643-654.

Pages