TY - GEN
T1 - An overview of temporal and modal logic programming
AU - Orgun, Mehmet A.
AU - Ma, Wanli
PY - 1994/1/1
Y1 - 1994/1/1
N2 - This paper presents an overview of the development of the field of temporal and modal logic programming. We review temporal and modal logic programming languages under three headings: (1) languages based on interval logic, (2) languages based on temporal logic, and (3) languages based on (multi)modal logics. The overview includes most of the major results developed, and points out some of the similarities, and the differences, between languages and systems based on diverse temporal and modal logics. The paper concludes with a brief summary and discussion.
AB - This paper presents an overview of the development of the field of temporal and modal logic programming. We review temporal and modal logic programming languages under three headings: (1) languages based on interval logic, (2) languages based on temporal logic, and (3) languages based on (multi)modal logics. The overview includes most of the major results developed, and points out some of the similarities, and the differences, between languages and systems based on diverse temporal and modal logics. The paper concludes with a brief summary and discussion.
UR - http://www.scopus.com/inward/record.url?scp=79951595060&partnerID=8YFLogxK
UR - https://link.springer.com/book/10.1007/BFb0013976#about
U2 - 10.1007/bfb0014004
DO - 10.1007/bfb0014004
M3 - Conference contribution
AN - SCOPUS:79951595060
SN - 9783540582410
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 445
EP - 479
BT - Temporal Logic - 1st International Conference, ICTL 1994, Proceedings
A2 - Gabbay, Dov M.
A2 - Ohlbach, Hans Jurgen
PB - Springer
CY - Berlin
T2 - 1st International Conference on Temporal Logic, ICTL 1994
Y2 - 11 July 1994 through 14 July 1994
ER -