TY - CONF T1 - Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche T2 - SEBD Y1 - 1996 A1 - Marilisa E. Carboni A1 - Annalisa Di Deo A1 - Fosca Giannotti A1 - Maria V Masserotti JF - SEBD ER - TY - CONF T1 - Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications T2 - DDLP Y1 - 1996 A1 - Marilisa E. Carboni A1 - Annalisa Di Deo A1 - Fosca Giannotti A1 - Maria V Masserotti JF - DDLP ER - TY - CONF T1 - Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach T2 - SEBD Y1 - 1995 A1 - Marilisa E. Carboni A1 - Fosca Giannotti A1 - V. Foddai A1 - Dino Pedreschi JF - SEBD ER - TY - CONF T1 - Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach T2 - GULP-PRODE Y1 - 1995 A1 - Marilisa E. Carboni A1 - V. Foddai A1 - Fosca Giannotti A1 - Dino Pedreschi JF - GULP-PRODE ER -