M. Gergatsoulis, P. Rondogiannis, T. Panayiotopoulos Inst. of Informatics and ...  Home/Search
Context Related
| iit.demokritos.gr/~manolis/...mplp96.ps 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: iit.demokritos.gr/~manolis/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A disjunctive temporal logic programming language, called Disjunctive Chronolog is presented in this paper. Disjunctive Chronolog combines the ideas of both temporal logic programming and disjunctive logic programming. The new language is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. Minimal model semantics, model state semantics and fixpoint semantics are developed for the proposed language and their... (Update)
Context of citations to this paper: More
.... light(red) light(amber) next light(green) light(red) However, Cronolog as well as most temporal languages [OM94, Hry93, OWD93, Bau93, OW92, Brz91, Brz93, GRP96] are based on linear flow of time, a fact that This work has been funded by the Greek General Secretariat of...
.... computations [OW94] to provide branching time [RGP97] to allow uncertainty to be expressed using rules with disjunction in the heads [GRP96], and so on) However, despite its theoretical advances, Chronolog has not been evaluated in practical applications of significant size,...
Cited by: More
Branching-Time Logic Programming: The Language.. - Rondogiannis.. (1997) (Correct)
Temporal and Modal Logic Programming Languages - Gergatsoulis (Correct)
Temporal Disjunctive Logic Programming - Gergatsoulis, RONDOGIANNIS (1997) (Correct)
Similar documents (at the sentence level):
60.0%: Disjunctive Chronolog - Gergatsoulis, Rondogiannis.. (1996) (Correct)
5.2%: Cactus: A Branching-Time Logic Programming Language - Rondogiannis.. (1997) (Correct)
Active bibliography (related documents): More All
0.4: Intensional Programming Languages - Rondogiannis, Wadge (1998) (Correct)
0.3: Proof Procedures for Branching-Time Logic Programs - Gergatsoulis, Rondogiannis, .. (1997) (Correct)
0.3: An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994) (Correct)
Similar documents based on text: More All
1.2: Stratified Negation in Temporal Logic Programming and the.. - Rondogiannis (2001) (Correct)
1.2: Chronolog Admits a Complete Proof Procedure - Orgun, Wadge (1993) (Correct)
0.5: A Stratification Test for Temporal Logic Programs - Nomikos, Gergatsoulis (Correct)
Related documents from co-citation: More All
6: Intensional Logic Programming (context) - Orgun - 1991
5: Chronolog admits a complete proof procedure - Orgun, Wadge - 1993
5: Linear-time logic programming (context) - Orgun, Wadge et al. - 1993
BibTeX entry: (Update)
M. Gergatsoulis, P. Rondogiannis, and T. Panayiotopoulos. Disjunctive Chronolog. In M. Chacravarty, Y. Guo, and T. Ida, editors, Proceedings of the JICSLP'96 Post-Conference Workshop "Multi-Paradigm Logic Programming", pages 129--136, Bonn, 5-6 Sept. 1996. http://citeseer.ist.psu.edu/gergatsoulis96disjunctive.html More
@misc{ gergatsoulis96disjunctive,
author = "M. Gergatsoulis and P. Rondogiannis and T. Panayiotopoulos",
title = "Disjunctive Chronolog",
text = "M. Gergatsoulis, P. Rondogiannis, and T. Panayiotopoulos. Disjunctive Chronolog.
In M. Chacravarty, Y. Guo, and T. Ida, editors, Proceedings of the JICSLP'96
Post-Conference Workshop Multi-Paradigm Logic Programming, pages 129--136,
Bonn, 5-6 Sept. 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/gergatsoulis96disjunctive.html" }
Citations (may not include all citations):309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
80 the dataflow Programming Language (context) - Wadge, Ashcroft - 1985
36 An overview of temporal and modal logic programming - Orgun, Ma - 1994
21 Tense logic programming: A respectable alternative (context) - Wadge - 1988
17 Towards a unified theory of intensional logic programming (context) - Orgun, Wadge - 1992
17 Chronolog admits a complete proof procedure - Orgun, Wadge - 1993
16 Theory of disjunctive logic programs - Minker, Rajasekar et al. - 1991
10 First-order functional languages and intensional logic - Rondogiannis, Wadge - 1996
9 Intensional Logic Programming (context) - Orgun - 1991
8 Linear-time logic programming (context) - Orgun, Wadge et al. - 1993
8 Intelligent information processing using TRLi (context) - Panayiotopoulos, Gergatsoulis - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.iit.demokritos.gr/~manolis/papers/): More
Temporal Disjunctive Logic Programming - Gergatsoulis, RONDOGIANNIS (1997) (Correct)
Answering Queries Using Materialized Views With.. - Afrati, Gergatsoulis.. (1999) (Correct)
Incorporating Dimensions in XML and DTD - Gergatsoulis, Stavrakas, Karteris (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