You are here

Home

1996

Aquilino D, Renso C, Turini F. Towards Declarative GIS Analysis. In ACM-GIS. 1996. pp. 98-104.
Carboni ME, Deo AD, Giannotti F, Masserotti MV. Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications. In DDLP. 1996. pp. 135-151.
Carboni ME, Deo AD, Giannotti F, Masserotti MV. Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche. In SEBD. 1996. pp. 73-90.
Asirelli P, Renso C, Turini F. Language Extensions for Semantic Integration of Deductive Databases. In Logic in Databases. 1996. pp. 415-434.
Montesi D, Renso C, Turini F. Using Temporary Integrity Constraints to Optimize Databases. In FAPR. 1996. pp. 430-435.
Pedreschi D, Zaniolo C. Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings. Lecture Notes in Computer Science. Springer; 1996.
Apt KR, Gabbrielli M, Pedreschi D. A Closer Look at Declarative Interpretations. J. Log. Program. 1996;28:147-180.

1995

Carboni ME, Foddai V, Giannotti F, Pedreschi D. Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. In GULP-PRODE. 1995. pp. 169-182.
Aquilino D, Asirelli P, Renso C, Turini F. An Operator for Composing Deductive Databases with Theories of Constraints. In LPNMR. 1995. pp. 57-70.
Pedreschi D, Ruggieri S. A Case Study in Logic Program Verification: the Vanilla Metainterpreter. In GULP-PRODE. 1995. pp. 643-654.

Pages