Abstract
We describe a problem in Shoham’s system of temporal logic and present a solution.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Y. Shoham: Reified Temporal Logics: Semantical and Ontological Considerations; Proceedings ECAI 1986, 390–397
Y. Shoham: Temporal Logics in AI: Semantical and Ontological Considerations; AI 33 (1987) 89–104
.Shoham: Reasoning about Change; MIT Press, Cambridge (Mass.), 1988
J.F. Ailen: Towards a General Theory of Action and Time: AI 23 (1984) 123–154
J.F.Allen, P.J. Hayes: A Common–Sense Theory of Time, Proceedings IJCAI 8 (1985) 528–531
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schlechta, K. (1988). Remarks to Shoham’s Temporal Logic. In: Hoeppner, W. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74064-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-74064-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50293-7
Online ISBN: 978-3-642-74064-0
eBook Packages: Springer Book Archive