Sequential, Temporal GOLOG. Reiter, R. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), pages 547–556, Trento, Italy, 1998.
Paper bibtex @InProceedings{Reiter98,
Title = {Sequential, Temporal GOLOG},
Author = {Reiter, Ray},
Booktitle = {Principles of Knowledge Representation and Reasoning:
Proceedings of the Sixth International Conference
(KR'98)},
Year = {1998},
Address = {Trento, Italy},
Pages = {547--556},
File = {reiterkr98.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.pdf:PDF;reiterkr98.ps:http\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps:PostScript},
Key = {CogRobo},
Keywords = {Golog},
Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps.gz},
Timestamp = {2018.09.23},
Url = {reiterkr98.pdf}
}