Publications
Export 5 results:
Author Title Type [ Year
] Filters: Author is Marilisa E. Carboni [Clear All Filters]
, “Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche”, in SEBD, 1996, pp. 73-90.
, “Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications”, in DDLP, 1996, pp. 135-151.
, “Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach”, in SEBD, 1995, pp. 3-13.
, “Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach”, in GULP-PRODE, 1995, pp. 169-182.