Leo Bertossi

Affiliation:  LYRCC group: Lógica y Representación Computacional de Conocimiento, Pontificia Universidad Católica de Chile, Santiago, Chile.
To reach:     [homepage], [email].

Automating Proofs of Integrity Constraints in Situation Calculus. (With Javier Pinto, Pablo Saez, Deepak Kapur, and Mahadevan Subramaniam).
To be presented at: ISMIS 1996. Venue: Zakopane, Poland, 9-13.6.1996. Topics: [integrity]. Code: [Bertossi96A].

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.