Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Dino Pedreschi  [Clear All Filters]
2003
F. Bonchi, Giannotti, F., Mazzanti, A., and Pedreschi, D., “ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint”, in ICDM, 2003, pp. 11-18.
F. Bonchi, Giannotti, F., Mazzanti, A., and Pedreschi, D., “ExAnte: Anticipated Data Reduction in Constrained Pattern Mining”, in PKDD, 2003, pp. 59-70.
D. Pedreschi and Ruggieri, S., “On logic programs that always succeed”, Sci. Comput. Program., vol. 48, pp. 163-196, 2003.
F. Bonchi, Giannotti, F., Mazzanti, A., and Pedreschi, D., “Pre-processing for Constrained Pattern Mining”, in SEBD, 2003, pp. 519-530.
F. Giannotti, Nanni, M., Pedreschi, D., and Samaritani, F., “WebCat: Automatic Categorization of Web Search Results”, in SEBD, 2003, pp. 507-518.
2002
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Classes of terminating logic programs”, TPLP, vol. 2, pp. 369-418, 2002.
P. Mascellani and Pedreschi, D., “The Declarative Side of Magic”, in Computational Logic: Logic Programming and Beyond, 2002, pp. 83-108.
P. Mancarella, Pedreschi, D., and Ruggieri, S., “Negation as Failure through Abduction: Reasoning about Termination”, in Computational Logic: Logic Programming and Beyond, 2002, pp. 240-272.
2001
D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Classes of Terminating Logic Programs”, CoRR, vol. cs.LO/0106, 2001.
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.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Nondeterministic, Nonmonotonic Logic Databases”, IEEE Trans. Knowl. Data Eng., vol. 13, pp. 813-823, 2001.
F. Giannotti, Pedreschi, D., and Zaniolo, C., “Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases”, J. Comput. Syst. Sci., vol. 62, pp. 15-42, 2001.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web Log Data Warehousing and Mining for Intelligent Web Caching”, Data and Knowledge Engineering, 2001.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
2000
M. Fayzullin, Nanni, M., Pedreschi, D., and Subrahmanian, V. S., “Foundations of distributed interaction systems”, Ann. Math. Artif. Intell., vol. 28, pp. 127-168, 2000.
F. Giannotti, Nanni, M., and Pedreschi, D., “Logic-Based Knowledge Discovery in Databases”, in EJC, 2000, pp. 279-283.
F. Bonchi, Giannotti, F., and Pedreschi, D., “On Verification in Logic Database Languages”, in Computational Logic, 2000, pp. 957-971.
1999
D. Pedreschi and Ruggieri, S., “Bounded Nondeterminism of Logic Programs”, in ICLP, 1999, pp. 350-364.
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.
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, 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., Nanni, M., Pedreschi, D., and Turini, F., “Integration of Deduction and Induction for Mining Supermarket Sales Data”, in SEBD, 1999, pp. 117-131.
D. Pedreschi and Ruggieri, S., “On Logic Programs That Do Not Fail”, Electr. Notes Theor. Comput. Sci., vol. 30, 1999.

Pages