Authors: Calvanese, D De Giacomo, G Lenzerini, M Nardi, D Rosati, R

Citation: D. Calvanese et al., Data integration in data warehousing, INT J COOP, 10(3), 2001, pp. 237-271

Authors: De Giacomo, G Massacci, F

Citation: G. De Giacomo et F. Massacci, Combining deduction and model checking into tableaux and algorithms for converse-PDL, INF COMPUT, 162(1-2), 2000, pp. 117-137

Authors: De Giacomo, G Lesperance, Y Levesque, HJ

Citation: G. De Giacomo et al., ConGolog, a concurrent programming language based on the situation calculus, ARTIF INTEL, 121(1-2), 2000, pp. 109-169

Authors: Chen, XJ De Giacomo, G

Citation: Xj. Chen et G. De Giacomo, Reasoning about nondeterministic and concurrent actions: A process algebraapproach, ARTIF INTEL, 107(1), 1999, pp. 63-98