Publications

You are here

Home » Research
2000
F. Giannotti and Manco, G., “Declarative Knowledge Extraction with Interactive User-Defined Aggregates”, in FQAS, 2000, pp. 435-444.
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. Giannotti and Manco, G., “Making Knowledge Extraction and Reasoning Closer”, in PAKDD, 2000, pp. 360-371.
A. Raffaetà and Renso, C., “Temporal Reasoning in Geographical Information Systems”, in DEXA Workshop, 2000, pp. 899-905.
D. Aquilino, Asirelli, P., Formuso, A., Renso, C., and Turini, F., “Using Medlan to Integrate Geographical Data”, Journal of Logic Programming, pp. 3–14, 2000.
D. Aquilino, Asirelli, P., Formuso, A., Renso, C., and Turini, F., “Using MedLan to Integrate Geographical Data”, J. Log. Program., vol. 43, pp. 3-14, 2000.
F. Bonchi, Giannotti, F., and Pedreschi, D., “On Verification in Logic Database Languages”, in Computational Logic, 2000, pp. 957-971.
1999
F. Giannotti, Jeansoulin, R., and Theodoridis, Y., “Beyond Current Technology: The Perspective of Three EC GIS Projects”, in DEXA Workshop, 1999, p. 510.
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.
A. Brogi, Renso, C., and Turini, F., “Dynamic Composition of Parameterised Logic Modules”, Computer Languages, pp. 211–242, 1999.
A. Brogi, Renso, C., and Turini, F., “Dynamic composition of parameterised logic modules”, Comput. Lang., vol. 25, pp. 211-242, 1999.
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. Giannotti and Manco, G., “Querying Inductive Databases via Logic-Based User-Defined Aggregates”, in PKDD, 1999, pp. 125-135.
F. Giannotti and Manco, G., “Querying inductive Databases via Logic-Based user-defined aggregates”, in APPIA-GULP-PRODE, 1999, pp. 605-620.
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
P. Asirelli, Renso, C., and Turini, F., “The Constraint Operator of MedLan: Its Efficient Implementation and Use”, in IICIS, 1998, pp. 41-55.
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.

Pages