On Procedure Recognition in the Situation Calculus. Baier, J. A. In XII International Conference of the Chilean Computer Science Society (SCCC-02), pages 33-42, Copiapo, Chile, November, 2002.
On Procedure Recognition in the Situation Calculus [pdf]Paper  bibtex   1 download  
@InProceedings{bai02,
        author = {Jorge A. Baier},
        title = {On Procedure Recognition in the Situation Calculus},
        booktitle = {XII International Conference of the Chilean Computer Science Society (SCCC-02)},
        address = {Copiapo, Chile},
        month = {November},
        pages = {33-42},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai02.pdf},
        year = 2002
}
Downloads: 1