## An Overview of Temporal and Modal Logic Programming (1994)

Venue: | Proc. First Int. Conf. on Temporal Logic - LNAI 827 |

Citations: | 60 - 6 self |

### BibTeX

@INPROCEEDINGS{Orgun94anoverview,

author = {Mehmet A. Orgun and Wanli Ma},

title = {An Overview of Temporal and Modal Logic Programming},

booktitle = {Proc. First Int. Conf. on Temporal Logic - LNAI 827},

year = {1994},

pages = {445--479},

publisher = {Springer-Verlag}

}

### Years of Citing Articles

### OpenURL

### Abstract

. 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. Categories: Temporal and Modal Logic Programming. 1 Introduction In logic programming, a program is a set of Horn clauses representing our knowledge and assumptions about some problem. The semantics of logic programs as developed by van Emden and Kowalski [96] is based on the notion of the least (minimum) Herbrand model and its fixed-point characterization. As logic programming has been applied to a growing number of problem domai...