Temporal logics in AI: Semantical and ontological considerations
- 30 September 1987
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 33 (1) , 89-104
- https://doi.org/10.1016/0004-3702(87)90052-x
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Ten requirements for a theory of changeNew Generation Computing, 1985
- Executing temporal logic programsPublished by Springer Nature ,1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982
- Intervals and tensesJournal of Philosophical Logic, 1980
- Interval semantics for tense logic: Some remarksJournal of Philosophical Logic, 1979