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 DCC

On procedure recognition in the Situation Calculus

Abstract