Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Dino Pedreschi  [Clear All Filters]
2001
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 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.
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.
F. Bonchi, Giannotti, F., Mainetto, G., and Pedreschi, D., “Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi”, in SEBD, 1999, pp. 69-84.
F. Bonchi, Giannotti, F., Mainetto, G., and Pedreschi, D., “Using Data Mining Techniques in Fiscal Fraud Detection”, in DaWaK, 1999, pp. 369-376.
D. Pedreschi and Ruggieri, S., “Verification of Logic Programs”, J. Log. Program., vol. 39, pp. 125-176, 1999.
1998
F. Giannotti and Pedreschi, D., “Datalog with Non-Deterministic Choice Computers NDB-PTIME”, J. Log. Program., vol. 35, pp. 79-101, 1998.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases”, in CSL, 1998, pp. 58-72.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Query Answering in Nondeterministic, Nonmonotonic Logic Databases”, in FQAS, 1998, pp. 175-187.
D. Pedreschi and Ruggieri, S., “Weakest Preconditions for Pure Prolog Programs”, Inf. Process. Lett., vol. 67, pp. 145-150, 1998.
1997
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: A Basis for Active Object-Oriented Databases”, in DOOD, 1997, pp. 283-301.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: a Basis for Active Object.Oriented Databases”, in SEBD, 1997, pp. 325-340.
F. Giannotti, Manco, G., and Pedreschi, D., “A Deductive Data Model for Representing and Querying Semistructured Data”, in APPIA-GULP-PRODE, 1997, pp. 129-140.
D. Pedreschi and Subrahmanian, V. S., “Non-determinism in Deductive Databases - Preface”, Ann. Math. Artif. Intell., vol. 19, pp. 1-2, 1997.

Pages