Giuseppe De Giacomo

Affiliation:  Artificial Intelligence Group, Uni Rome 'La Sapienza', Italy.
To reach:     [email].

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. (With and Xiao Jun Chen).
To be presented at: National US Conf on Artificial Intelligence, 1996. Topics: [process-alg], [concurrency], [nondeterminism]. Code: [Giacomo96A].

Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions. (With and Maurizio Lenzerini).
Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [concurrency]. Code: [Giacomo95A].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.