Jorge Baier (2002) On procedure recognition in the Situation Calculus XXII International Conference of the Chilean Computer Science Society (SCCC’02) (2002)

On procedure recognition in the Situation Calculus

Tipo de publicación : Conferencia No A*

On procedure recognition in the Situation Calculus

Abstract