Charles Elkan

Affiliation:  Uni of California at San Diego, USA.
To reach:     [homepage], [email].

Reasoning about action in first-order logic.
Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Code: [Elkan95A].

On solving the Qualification Problem.
Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [qualification]. Code: [Elkan95B].

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.