Mehmet A. Orgun, William W. Wadge  Home/Search
Context Related
| au/pub/comp/techrep...930125.orgun.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mq.edu.au/~mehmet/publication (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Chronolog(Z) is a logic programming language based on a linear-time temporal logic with unbounded past and future. It is suitable for applications involving the notion of dynamic change such as modelling periodical changes, non-terminating computations and temporal databases. The declarative semantics of Chronolog(Z) programs are given in terms of temporal Herbrand models and the operational semantics in terms of a resolution-type proof procedure called TiSLD-resolution. TiSLD-resolution is... (Update)
Context of citations to this paper: More
...several other programming paradigms, most notably that of temporal logic programming. The original temporal logic language, Chronolog [23, 24], employs a very similar methodology to that of LUCID for its temporal indexing, also through the use of rst and next operators....
...languages presented in this section are based on linear time temporal logics. 3.1. 1 Chronolog Chronolog [Org91, OW92a, OW92b, OW93, OWD93] is a temporal logic programming language based on a simple temporal logic in which time is linear and discrete. Chronolog has two...
Cited by: More
Disjunctive Chronolog - Gergatsoulis Rondogiannis.. (1996) (Correct)
Branching-Time Logic Programming: The Language.. - Rondogiannis.. (1997) (Correct)
Temporal and Modal Logic Programming Languages - Gergatsoulis (Correct)
Similar documents (at the sentence level):
8.5%: Extending Temporal Logic Programming with Choice Predicates.. - Orgun, WADGE (1994) (Correct)
7.4%: Chronolog(Z): Linear-time logic programming - Mehmet Orgun (1993) (Correct)
Active bibliography (related documents): More All
1.6: An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994) (Correct)
1.1: Multi-Dimensional Logic Programming: Theoretical Foundations - Orgun, Du (1997) (Correct)
0.9: Parallel Execution of Temporal Logic Programs Using Dataflow.. - Zhang, Orgun (1994) (Correct)
Similar documents based on text: More All
0.8: Temporal Disjunctive Logic Programming - Gergatsoulis, RONDOGIANNIS (1997) (Correct)
0.5: Clocked Temporal Logic Programming - Chuchang Liu (1996) (Correct)
0.5: Dealing with Multiple Granularity of Time in Temporal Logic.. - Liu, ORGUN (1996) (Correct)
Related documents from co-citation: More All
13: Temporal logic programming (context) - Abadi, Manna - 1987
12: Modal and Temporal Logic Programming (context) - Gabbay - 1987
12: Tense logic programming: A respectable alternative (context) - Wadge - 1988
BibTeX entry: (Update)
M. A. Orgun and W. W. Wadge. Chronolog admits a complete proof procedure. In Proceedings of the Sixth International Symposium on Lucid and Intensional Programming, pages 120--135, Universit'e Laval, Qu'ebec City, Qu'ebec, Canada, April 26--27 1993. http://citeseer.ist.psu.edu/orgun93chronolog.html More
@techreport{ ali93chronolog,
author = "Orgun, Mehmet Ali and Wadge, William W",
title = "{C}hronolog {A}dmits a {C}omplete {P}roof {P}rocedure",
number = "93-125",
month = "March",
address = "NSW 2109, Australia",
year = "1993",
url = "citeseer.ist.psu.edu/orgun93chronolog.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
343 Modal Logic: An Introduction (context) - Chellas - 1980
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982
121 Executing Temporal Logic Programs - Moszkowski - 1986
103 The glory of the past (context) - Lichtenstein, Pnueli et al. - 1985
77 Temporal logic programming (context) - Abadi, Manna - 1987
74 Basic tense logic (context) - Burgess - 1984
70 Verification of concurrent programs: the temporal framework (context) - Manna, Pnueli - 1981
53 Theoretical Computer Science (context) - Abadi, of - 1989
46 Springer-Verlag (context) - Rescher, Urquhart - 1971
40 Modal and temporal logic programming (context) - Gabbay - 1987
32 Temporal Logics and Their Applications (context) - Galton - 1987
27 Temporal logic programming is complete and expressive (context) - Baudinet - 1989
24 Bibliography: Temporal databases (context) - McKenzie - 1986
24 Temporal logic programming and its relation to constraint lo.. (context) - Brzoska - 1991
22 A simple proof of the completeness of temporal logic program.. (context) - Baudinet - 1992
21 Tense logic programming: a respectable alternative (context) - Wadge - 1988
18 Theory and practice of temporal logic programming (context) - Orgun, Wadge - 1992
16 Molog: A system that extends prolog with modal logic (context) - nas, Cerro - 1986
13 Temporal logic programming language Tokio (context) - Aoyagi, Fujita et al. - 1986
13 Temporal logic programming (context) - Hale - 1987
12 Lucid -- a formal system for writing and proving programs (context) - Ashcroft, Wadge - 1976
10 A general proof method for modal predicate logic (context) - Jackson, Reichgelt - 1989
9 Implementation of temporal logic programming language Tokio (context) - Kono, Aoyagi et al. - 1986
7 Three approaches to temporal reasoning (context) - Sadri - 1987
5 The intensional logic language InTense (context) - Mitchell, Faustini - 1989
4 Department of Computer Science (context) - Faustini, Wadge et al. - 1986
4 A temporal logic programming machine [ modal and temporal lo.. (context) - Gabbay - 1989
4 Toward a tense-logic-based mitigation of the frame problem (context) - Rolston - 1987
3 An eductive interpreter for pLucid (context) - Faustini, Wadge - 1986
3 A relational algebra as a query language for Temporal datalo.. (context) - Orgun, Wadge - 1992
2 Intensional Logics for Programming (context) - nas, Cerro et al. - 1992
2 A formal treatment of non-deterministic dataflow streams in .. (context) - Orgun, Wadge - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.comp.mq.edu.au/~mehmet/publication.html): More
Extending Temporal Logic Programming with Choice Predicates.. - Orgun, WADGE (1994) (Correct)
Clocked Temporal Logic Programming - Chuchang Liu (1996) (Correct)
A Recursive Temporal Algebra and Temporal Completeness - Mehmet Orgun (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC