{"type":"ScholarlyArticle","title":"Time Structures for AI","authors":[{"name":"Edward P. K. Tsang","slug":"edward-p-k-tsang","given":"Edward P. K.","family":"Tsang","affiliation":""}],"abstract":"Tinw 1uu been studied by logici4ns for a long tirM and recvttly it 1uu been modeUed in more and more researcluts in AI. T1u!re exists a gap between til. logics built by temporal logici4ns and those used in AI. This paper aims at filling thls gap and providing a formol study on temporal logics for AI. In thls paper, we present a new axiomatizatwn of AUen & Hayes' temporal logic and locate thetr logic in til. spectrwn of logics built by temporal logici4ns. We also relate point-, .vent- and interval-based nme structures to one anoth.r.","doi":null,"url":"https://ijcai.org/proceedings/1987/90","pdf":"https://ijcai.org/proceedings/1987/0090.pdf","markdown":"https://ijcai.org/proceedings/1987/90.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/90","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":90,"pages":{"first":456,"last":460},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}