Publications

You are here

Export 452 results:
Author Title Type [ Year(Asc)]
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.
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.
G. Amato, Giannotti, F., and Mainetto, G., Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation, in SEBD, 1994, pp. 329-349.
L. Corciulo, Giannotti, F., Pedreschi, D., and Zaniolo, C., Expressive Power of Non-Deterministic Operators for Logic-based Languages, in Workshop on Deductive Databases and Logic Programming, 1994, pp. 27-40.
F. Giannotti and Latella, D., Gate Splitting in LOTOS Specifications Using Abstract Interpretation, Sci. Comput. Program., vol. 23, pp. 127-149, 1994.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, pp. 292–307, 1994.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Modular Logic Programming, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
D. Pedreschi, A Proof Method for Runtime Properties of Prolog Programs, in ICLP, 1994, pp. 584-598.
P. Mascellani and Pedreschi, D., Proving termination of Prolog programs, in GULP-PRODE (1), 1994, pp. 46-61.

Pages