Proc. ICCI'94, 1501-1520 1994 Int. Conf. on Computing and Information Mehmet...  Home/Search
Context Related
| wi.euvfrankfurto.de/icci94/p...e22.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: wi.euvfrankfurto.de/icci...abse (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces an extension of logic programming based on multi-dimensional logics. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs of the language is based on a resolution-type proof procedure called MSLD-resolution. MSLDresolution is based on... (Update)
Context of citations to this paper: More
...are offered for the language. Another multidimensional language which is in spirit similar to pure InTense is considered by Orgun and Du [73]. They propose a resolution based proof procedure for the language and outline a spreadshet interface which can be used for both query...
.... can directly apply to Chronolog programs [Org91] Moreover, it can be easily extended to apply also to multi dimensional logic programs [OD94]. TiSLDresolution [OW93] can be seen as a special case of CSLD resolution. 2 The syntax of Cactus programs The syntax of Cactus...
Cited by: More
Temporal and Modal Logic Programming Languages - Gergatsoulis (Correct)
Multi-Dimensional Logic Programming: Theoretical Foundations - Orgun, Du (1997) (Correct)
Proof Procedures for Branching-Time Logic Programs - Gergatsoulis, Rondogiannis, .. (1997) (Correct)
Active bibliography (related documents): More All
1.7: An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994) (Correct)
0.8: Extending Temporal Logic Programming with Choice Predicates.. - Orgun, WADGE (1994) (Correct)
0.5: Chronolog Admits a Complete Proof Procedure - Orgun, Wadge (1993) (Correct)
Similar documents based on text: More All
0.1: A Temporal Algebra with Recursive Equations - Orgun (1995) (Correct)
0.1: Chronolog(Z): Linear-time logic programming - Mehmet Orgun (1993) (Correct)
0.1: Dealing with Multiple Granularity of Time in Temporal Logic.. - Liu, ORGUN (1996) (Correct)
Related documents from co-citation: More All
5: Temporal logic programming (context) - Abadi, Manna - 1987
4: Chronolog admits a complete proof procedure - Orgun, Wadge - 1993
4: A Simple Proof of the Completeness of Temporal Logic Programming (context) - Baudinet - 1992
BibTeX entry: (Update)
M. A. Orgun and W. Du. Multi-dimensional logic programming. In Proceedings of ICCI'94: The Sixth International Conference on Computing and Information, Trent University, Peterborough, Ontario, Canada, May 26--28 1994. To appear. http://citeseer.ist.psu.edu/article/orgun94multidimensional.html More
@inproceedings{ ali94multidimensional,
author = "Orgun, Mehmet Ali and Du, Weichang",
title = "{M}ulti-{D}imensional {L}ogic {P}rogramming",
booktitle = "Proceedings of the 6th International Conference on Computing and Information",
month = "May",
publisher = "Journal of Computing and Information, Vol.1, No.1, Special Issue",
pages = "1501-1520",
year = "1994",
url = "citeseer.ist.psu.edu/article/orgun94multidimensional.html" }
Citations (may not include all citations):343 Modal Logic: An Introduction (context) - Chellas - 1980
121 Executing Temporal Logic Programs - Moszkowski - 1986
77 Temporal logic programming (context) - Abadi, Manna - 1989
53 Theoretical Computer Science (context) - Abadi, of - 1989
40 Modal and temporal logic programming (context) - Gabbay - 1987
36 An overview of temporal and modal logic programming - Orgun, Ma - 1994
27 Temporal logic programming is complete and expressive (context) - Baudinet - 1989
18 Theory and practice of temporal logic programming (context) - Orgun, Wadge - 1992
17 Towards a unified theory of intensional logic programming (context) - Orgun, Wadge - 1992
17 Chronolog admits a complete proof procedure - Orgun, Wadge - 1993
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
10 Declarative semantics for modal logic programs (context) - Balbiani, nas et al. - 1988
5 The intensional logic language InTense (context) - Mitchell, Faustini - 1989
4 Eduction: A model of parallel computation and the programmin.. (context) - Ashcroft, Faustini et al. - 1985
3 Intensional Horn clause logic as a programming language -- i.. (context) - Mitchell - 1988
3 Parallel Logic Programming Using an Intensional Model of Com.. (context) - Rolston - 1992
Documents on the same site (http://www.wi.euv-frankfurt-o.de/icci94/abse.htm): More
Stabilization of the X.25 Connection Management Protocol - Ajoy Kumar (Correct)
Some Reusability Exercises in Persistent C - Sayed Muhammed (Correct)
IRCS: An Inheritance Rule Checking System for Model Management in DSS - Ma (1994) (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