| 2008 |
|---|
| 32 | EE | Valerio Grossi,
Andrea Romei,
Salvatore Ruggieri:
A Case Study in Sequential Pattern Mining for IT-Operational Risk.
ECML/PKDD (1) 2008: 424-439 |
| 31 | EE | Dino Pedreschi,
Salvatore Ruggieri,
Franco Turini:
Discrimination-aware data mining.
KDD 2008: 560-568 |
| 30 | EE | Salvatore Ruggieri,
Frédéric Mesnard:
Typing Linear Constraints for Moding CLP() Programs.
SAS 2008: 128-143 |
| 2006 |
|---|
| 29 | EE | Andrea Romei,
Salvatore Ruggieri,
Franco Turini:
KDDML: A middleware language and system for knowledge discovery in databases.
Data Knowl. Eng. 57(2): 179-220 (2006) |
| 2005 |
|---|
| 28 | | Andrea Romei,
Salvatore Ruggieri,
Franco Turini:
KDDML: a middleware language and system for knowledge discovery in databases.
SEBD 2005: 208-219 |
| 2004 |
|---|
| 27 | EE | Salvatore Ruggieri:
YaDT: Yet another Decision Tree Builder.
ICTAI 2004: 260-265 |
| 26 | EE | Dino Pedreschi,
Salvatore Ruggieri,
Jan-Georg Smaus:
Characterisations of Termination in Logic Programming.
Program Development in Computational Logic 2004: 376-431 |
| 25 | EE | Dino Pedreschi,
Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs.
Ann. Math. Artif. Intell. 42(4): 313-343 (2004) |
| 2003 |
|---|
| 24 | EE | Miriam Baglioni,
U. Ferrara,
Andrea Romei,
Salvatore Ruggieri,
Franco Turini:
Preprocessing and Mining Web Log Data for Web Personalization.
AI*IA 2003: 237-249 |
| 23 | EE | Frédéric Mesnard,
Salvatore Ruggieri:
On proving left termination of constraint logic programs.
ACM Trans. Comput. Log. 4(2): 1-26 (2003) |
| 22 | EE | Frédéric Mesnard,
Salvatore Ruggieri:
On proving left termination of constraint logic programs.
ACM Trans. Comput. Log. 4(2): 207-259 (2003) |
| 21 | EE | Salvatore Ruggieri:
On computing the semi-sum of two integers.
Inf. Process. Lett. 87(2): 67-71 (2003) |
| 20 | EE | Dino Pedreschi,
Salvatore Ruggieri:
On logic programs that always succeed.
Sci. Comput. Program. 48(2-3): 163-196 (2003) |
| 2002 |
|---|
| 19 | EE | Paolo Mancarella,
Dino Pedreschi,
Salvatore Ruggieri:
Negation as Failure through Abduction: Reasoning about Termination.
Computational Logic: Logic Programming and Beyond 2002: 240-272 |
| 18 | EE | Salvatore Ruggieri:
Efficient C4.5.
IEEE Trans. Knowl. Data Eng. 14(2): 438-444 (2002) |
| 17 | | Dino Pedreschi,
Salvatore Ruggieri,
Jan-Georg Smaus:
Classes of terminating logic programs.
TPLP 2(3): 369-418 (2002) |
| 2001 |
|---|
| 16 | EE | Francesco Bonchi,
Fosca Giannotti,
Giuseppe Manco,
Chiara Renso,
Mirco Nanni,
Dino Pedreschi,
Salvatore Ruggieri:
Data Mining for Intelligent Web Caching.
ITCC 2001: 599-603 |
| 15 | EE | Dino Pedreschi,
Salvatore Ruggieri,
Jan-Georg Smaus:
Classes of Terminating Logic Programs
CoRR cs.LO/0106050: (2001) |
| 14 | EE | Francesco Bonchi,
Fosca Giannotti,
Cristian Gozzi,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi,
Chiara Renso,
Salvatore Ruggieri:
Web log data warehousing and mining for intelligent web caching.
Data Knowl. Eng. 39(2): 165-189 (2001) |
| 13 | EE | Salvatore Ruggieri:
exists-Universal termination of logic programs.
Theor. Comput. Sci. 254(1-2): 273-296 (2001) |
| 2000 |
|---|
| 12 | EE | Primo Becuzzi,
Massimo Coppola,
Salvatore Ruggieri,
Marco Vanneschi:
Parallelisation of C4.5 as a Particular Divide and Conquer Computation.
IPDPS Workshops 2000: 382-389 |
| 11 | | Salvatore Ruggieri:
Decidability of logic program semantics and applications to testing.
J. Log. Program. 46(1-2): 103-137 (2000) |
| 1999 |
|---|
| 10 | | Dino Pedreschi,
Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs.
ICLP 1999: 350-364 |
| 9 | EE | Dino Pedreschi,
Salvatore Ruggieri:
On Logic Programs That Do Not Fail.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 8 | | Dino Pedreschi,
Salvatore Ruggieri:
Verification of Logic Programs.
J. Log. Program. 39(1-3): 125-176 (1999) |
| 1998 |
|---|
| 7 | EE | Salvatore Ruggieri:
A Complete Declarative Debugger of Missing Answers.
ESOP 1998: 236-251 |
| 6 | EE | Dino Pedreschi,
Salvatore Ruggieri:
Weakest Preconditions for Pure Prolog Programs.
Inf. Process. Lett. 67(3): 145-150 (1998) |
| 1997 |
|---|
| 5 | | Salvatore Ruggieri:
Termination of Constraint Logic Programs.
ICALP 1997: 838-848 |
| 4 | | Dino Pedreschi,
Salvatore Ruggieri:
Verification of Meta-Interpreters.
J. Log. Comput. 7(2): 267-303 (1997) |
| 1996 |
|---|
| 3 | | Salvatore Ruggieri:
On Termination of Constraint Logic Programs.
APPIA-GULP-PRODE 1996: 391-406 |
| 2 | | Salvatore Ruggieri:
Decidability of Logic Program Semantics and Applications to Testing.
PLILP 1996: 347-362 |
| 1995 |
|---|
| 1 | | Dino Pedreschi,
Salvatore Ruggieri:
A Case Study in Logic Program Verification: the Vanilla Metainterpreter.
GULP-PRODE 1995: 643-654 |
