Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
1999
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 APPIA-GULP-PRODE, 1999, pp. 605-620.
F. Giannotti and Manco, G., “Querying Inductive Databases via Logic-Based User-Defined Aggregates”, in PKDD, 1999, pp. 125-135.
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.
C. Renso, Mechanisms for Semantic Integration of Deductive Databases. 1998.
C. Renso and Ruggieri, S., “A Mediator Approach for Representing Knowledge”, Intelligent Multimedia Presentation Systems. Human Computer Interaction Letters, 1 (1): 32-38, April 1998., 1998.
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
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “Applying Restriction Constraint to Deductive Databases”, Annals of Mathematics and Artificial Intelligence, pp. 3–25, 1997.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “Applying Restriction Constraints to Deductive Databases”, Ann. Math. Artif. Intell., vol. 19, pp. 3-25, 1997.
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., Nanni, M., and Pedreschi, D., “Datalog++: A Basis for Active Object-Oriented Databases”, in DOOD, 1997, pp. 283-301.
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.
F. Giannotti, Greco, S., Saccà, D., and Zaniolo, C., “Programming with Non-Determinism in Deductive Databases”, Ann. Math. Artif. Intell., vol. 19, pp. 97-125, 1997.
G. Amato, Giannotti, F., and Mainetto, G., “Static Analysis of Transactions for Conservative Multigranularity Locking”, in DBPL, 1997, pp. 413-430.
D. Pedreschi and Ruggieri, S., “Verification of Meta-Interpreters”, J. Log. Comput., vol. 7, pp. 267-303, 1997.
1996
K. R. Apt, Gabbrielli, M., and Pedreschi, D., “A Closer Look at Declarative Interpretations”, J. Log. Program., vol. 28, pp. 147-180, 1996.
P. Asirelli, Renso, C., and Turini, F., “Language Extensions for Semantic Integration of Deductive Databases”, in Logic in Databases, 1996, pp. 415-434.

Pages