RENWEI LI, Centre for Artificial Intelligence, UNINOVA, and Department of...  Home/Search
Context Related
| dcs.kcl.ac.uk/journals/IGPL/...Li.ps.gz 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: dcs.kcl.ac.uk/journals/IGPL/V3... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an interval-based positional logic and proves its completeness. The proposed logic combines positional operators, defined by time intervals, with modal operators used to express the subinterval relationship. Moreover, the logic can be easily extended either by including more predicates for absolute temporal references or by adding other operators for relative and periodical temporal references. The positional logic can be used to express and reason about time-stamped... (Update)
Context of citations to this paper: More
.... of the intentions S at T for all time points T between T 1 and T 2 , and roughly corresponds to the positional formula [ T 1 ; T 2 ) S of [9]. The intention S eventually from T 1 to T 2 can be viewed as a disjunction of the intentions S at T for all time points T between T 1...
Cited by: More
Knowledge-Based Situated Agents among Us - Li, Pereira (1997) (Correct)
Active bibliography (related documents): More All
0.5: Planning for Behaviour-Based Robotic Assembly: A Logical Framework - Cranefield (1990) (Correct)
0.4: Temporal and Real-Time Databases: A Survey - Ozsoyoglu, Snodgrass (1995) (Correct)
0.3: A Reified Temporal Logic For Nonlinear Planning - Zhang, Barringer (1992) (Correct)
Similar documents based on text: More All
0.3: Representing Relative Temporal Knowledge with TAND.. - Wijayarathna, Kawata, .. (Correct)
0.2: Refining Action Theories through Abductive Logic Programming - Renwei Li (1997) (Correct)
0.2: SharedFantasy: A shared distributed Multi-User Technology.. - Sinnen, Leal, Pereira (2000) (Correct)
BibTeX entry: (Update)
Li, R. and Carmo, J., On completeness of a positional interval logic with equality, overlap and subinterval relations, Journal of the IGPL, 3:5, 1995, 765-790 http://citeseer.ist.psu.edu/214258.html More
@article{ li95completeness,
author = "R. Li and J. Carmo",
title = "On completeness of a positional interval logic with equality,
overlap and subinterval relations",
journal = "Journal of the IGPL",
volume = "3",
pages = "765--790",
year = "1995",
url = "citeseer.ist.psu.edu/214258.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal interval (context) - Allen - 1983
444 Towards a general theory of action and time (context) - Allen - 1984
343 Modal Logic: An Introduction (context) - Chellas - 1980
191 Temporal Databases (context) - Snodgrass, Ahn - 1986
132 Towards a logical reconstruction of relational database theo.. (context) - Reiter - 1984
123 A Companion to Modal Logic (context) - Hughes, Cresswell - 1984
99 Logic and databases: A deductive approach (context) - Gallaire, Minker et al. - 1984
74 A propositional modal logic of time intervals - Halpern, Shoham - 1986
69 Evaluation of relational algebra incorporating the time dime.. (context) - Jr, Snodgrass - 1991
59 Bibliography on temporal databases (context) - Soo - 1991
49 Reidel Publishing Company (context) - van Benthem, of - 1983
46 Springer-Verlag (context) - Rescher, Urquhart et al. - 1971
32 A temporal relational algebra as a basis for temporal relati.. (context) - Tuzhilin, Clifford - 1990
25 The Logic of Time Representation - Ladkin - 1987
24 Bibliography: Temporal Databases (context) - McKenzie - 1986
24 Extending relational algebra to manipulate temporal data (context) - Lorentzos, Johnson - 1988
21 A bibliography on temporal databases (context) - Stam, Snodgrass - 1988
21 Temporal Logic and Historical Databases (context) - Gabbay, McBrien - 1991
16 MOLOG: A system that extends PROLOG with modal logic (context) - nas, Cerro - 1986
11 The completeness of a natural system for reasoning with time.. (context) - Ladkin - 1987
9 Database: Theory vs (context) - Nicolas, Gallaire - 1978
5 Temporal inferencing on administrative databases (context) - Lee, Coelho et al. - 1985
4 Reified temporal logics: semantical and ontological consider.. (context) - Shoham - 1986
4 Reasoning about objects using a tableau method (context) - Li, Sernadas - 1991
4 Department of Mathematics and Computer Science (context) - Venema, Logic et al. - 1992
3 Semantics for reified temporal logic (context) - Reichgelt - 1987
1 Maintaining Temporal Information: An Axiomatic Approach (context) - Li - 1993
1 On Completeness of a Positional Interval Logic (context) - Gabbay, past et al. - 1989
1 Benjamin Cummings Publishing Co (context) - Tansel, Temporal et al. - 1993
1 Historical Databases: A Positional Logic Perspective (context) - Li, Carmo et al. - 1993
1 An interval-based modal logic for system specification (context) - Li, Carmo - 1992
Documents on the same site (http://www.dcs.kcl.ac.uk/journals/IGPL/V3-5/): More
A Short Proof of Representability of Fork Algebras - Gyuris (1995) (Correct)
A Note on Probabilistic Validity Measure in Propositional.. - Branislav Bori Ci (Correct)
LNint: A Temporal Logic that Combines Points and Intervals.. - de Guzmán, Rossi (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