Camilla Schwind. Temporal Logic in Artificial Intelligence. In Joachim Laubsch, editor, GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings. Volume 103 of Informatik-Fachberichte, pages 238-264, Springer, 1984.
@inproceedings{Schwind84a,
title = {Temporal Logic in Artificial Intelligence},
author = {Camilla Schwind},
year = {1984},
tags = {logic},
researchr = {https://researchr.org/publication/Schwind84a},
cites = {0},
citedby = {0},
pages = {238-264},
booktitle = {GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings},
editor = {Joachim Laubsch},
volume = {103},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-15669-0},
}