Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Filter is   [Clear All Filters]
1998
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 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.
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.
D. Pedreschi and Zaniolo, C., “Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings”, Lecture Notes in Computer Science, vol. 1154. Springer, 1996.
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., “Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche”, in SEBD, 1996, pp. 73-90.
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., “Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications”, in DDLP, 1996, pp. 135-151.
D. Aquilino, Renso, C., and Turini, F., “Towards {D}eclarative {GIS} {A}nalysis”, 1996, pp. 99–105.
D. Aquilino, Renso, C., and Turini, F., “Towards Declarative GIS Analysis”, in ACM-GIS, 1996, pp. 98-104.
D. Montesi, Renso, C., and Turini, F., “Using Temporary Integrity Constraints to Optimize Databases”, in FAPR, 1996, pp. 430-435.
1995
D. Pedreschi and Ruggieri, S., “A Case Study in Logic Program Verification: the Vanilla Metainterpreter”, in GULP-PRODE, 1995, pp. 643-654.
M. E. Carboni, Giannotti, F., Foddai, V., and Pedreschi, D., “Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach”, in SEBD, 1995, pp. 3-13.
M. E. Carboni, Foddai, V., Giannotti, F., and Pedreschi, D., “Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach”, in GULP-PRODE, 1995, pp. 169-182.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “An Operator for Composing Deductive Databases with Theories of Constraints”, pp. 57–70, 1995.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “An Operator for Composing Deductive Databases with Theories of Constraints”, in LPNMR, 1995, pp. 57-70.
1994
F. Fiore and Giannotti, F., “An abstract interpreter for the specification language LOTOS”, in FORTE, 1994, pp. 309-323.
A. Brogi, Renso, C., and Turini, F., “Amalgamating Language and Meta-language for Composing Logic Programs”, in GULP-PRODE (2), 1994, pp. 408-422.

Pages