- Abadi , M. and Manna , Z. 1989 . Temporal logic programming . Journal of Symbolic Computation , 8 : 277 – 295 .
- Alien , J. 1983 . Maintaining knowledge about temporal intervals . Commun. ACM , 26 (11) : 832 – 843 .
- Alien , J. and Koomen , J. 1983 . “ Planning using a temporal world model ” . In Proceedings of IJCAI'83 , 741 – 747 . San Diego, CA : Morgan-Kaufmann .
- Alien , J. 1984 . Towards a general model of action and time . Artificial Intelligence , 23 (2) : 123 – 154 .
- Van Alien , T. , Delgrande , J. P. and Gupta , A. 1998 . Point-based approaches to qualitative temporal reasoning 305 – 316 . PRICAI
- Barringer , H. , Kuiper , R. and Pnueli , A. Now you may compose temporal logic specifications . Proceedings of the 16th ACM Symposium on Theory of Computing . New York, ACM. pp. 51 – 63 .
- Boddy , M. S. 1993 . Temporal reasoning for planning and scheduling . SIGART Bulletin , 4 (3) : 17 – 20 .
- Cerrito , S. and Mayer , M.C. Using linear temporal logic to model and solve planning problems . Proceedings of Artificial Intelligence: Methodology. Systems, and Applications . pp. 141 – 152 .
- Cyre , W. R. 1994 . Conceptual representation of waveforms for temporal reasoning . IEEE Transactions on Computers , 43 (2) : 186 – 200 .
- Delgrande , James P. and Gupta , A. A representation for efficient temporal reasoning . Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence . Vol. 1 , pp. 381 – 388 .
- Drakengren , T. and Jonsson , P. 1997 . Twnety-one large tractable subclasses of Alien's algebra . Artificial Intelligence , 93 : 297 – 319 .
- Ferguson , G. and James , F. Alien. TRIPS: The rochester interactive planning system . Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence . pp. 906 – 907 .
- Freksa , C. 1992 . Temporal reasoning based on semi-intervals . Artificial Intelligence , 54 (1) : 199 – 227 .
- Gadia , S. and Yeung , C. 1991 . Inadequacy of interval timestamps in temporal databases . Information Sciences , 54 (1) : 1 – 22 .
- Gerevini , A. and Schubert , L.K. 1993 . Efficient temporal reasoning through timegraphs 648 – 654 . IJCAI
- Gerevini , A. and Schubert , L. 1995 . Efficient algorithms for qualitative reasoning about time . Artificial Intelligence , 74 : 207 – 248 .
- Gerevini , A. and Serina , I. Fast planning through greedy action graphs . Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence . pp. 503 – 510 .
- Haddawy , P. 1991 . A logic of time, chance, and action for representing plans . Artificial Intelligence , 80 : 243 – 308 .
- Halpern , J. and Shoham , Y. 1991 . A propostional model logic of time intervals . J. ACM , 38 (4) : 935 – 962 .
- Hrycej , T. 1993 . A temporal extension of PROLOG . The Journal of Logic Programming , 15 : 113 – 145 .
- Huang , Y. , Selman , B. and Kautz , H.A. Control knowledge in planning: benefits and trade-offs . Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence . pp. 511 – 517 .
- Kabanza , F. Synchronizing multiagent plans using temporal logic specifications . Proceedings of ICMAS-95 . San Francisco, CA. pp. 217 – 224 .
- Kraus , S. , Wilkenfeld , J. and Zlotkin , G. 1995 . Multiagent negotiation under time constraints . Artificial Intelligence , 75 : 297 – 345 .
- Ladkin , P. and Maddux , R. 1994 . On binary constraint problems. . J.of ACM , 41 (3) : 435 – 469 .
- Lamma , E. , Milano , M. and Mello , P. 1998 . Extending constraint logic programming for temporal reasoning . Annals of Mathematics and Artificial Intelligence , 22 (1-2) : 139 – 158 .
- Meiri , I. 1996 . Combining qualitative and quantitative constraints in temporal reasoning . Artificial Intelligence , 87 (1-2) : 343 – 385 .
- Moreira , V. P. and Edelweiss , N. Schema versioning: queries to the generalized temporal database system . Workshop Proceedings of International Conference and Workshop on Database and Expert Systems Applications . pp. 458 – 459 .
- Mouhoub , M. , Charpillet , F. and Haton , J.P. 1998 . Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning . Constraints , 3 (2/3) : 151 – 164 .
- Nebel , B. and Burckert , H. 1995 . Reasoning about temporal relations: A maximal tractable subclass of Alien's interval algebra . J. of ACM , 42 ( 1 ) : 43 – 66 .
- Nebel , B. 1997 . Solving hard qualitative temporal reasoning problems: evaluating the eifficiency of using the ORD-horn class . Constraints , 1 (3) : 175 – 190 .
- Pirri , F. and Reiter , R. 1995 . Some contributions to the metatheory of the situation calculus. . J.of ACM , 46 (1) : 325 – 361 .
- Schwalb , E. , Kask , K. and Dechter , R. 1994 . Temporal reasoning with constraints on fluents and events . AAAI , 2 : 1067 – 1072 .
- Schwalb , E. and Dechter , R. 1997 . Processing disjunctions in temporal constraint networks . Artificial Intelligence , 93 : 29 – 61 .
- Schwalb , E. A new unification method for temporal reasoning with constraints . Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence . pp. 165 – 171 .
- Shoham , Y. and Tennenholtz , M. 1994 . On social laws for artificial agent societies: off-line design . Artificial Intelligence , 72 : 231 – 252 .
- Snodgrass , R. 1987 . The temporal query language TQuel. ACM Trans . Database Systems , 12 (2) : 247 – 298 .
- Staab , S. and Hahn , Udo . 1999 . Scalable temporal reasoning . IJCAI , : 1247 – 1252 .
- Stuart , C. 1985 . An implementation of a multiagent plan synchronizer using a temporal logic theorem prover . Proceedings of IJCAI , 85 : 1031 – 1033 .
- Tang , T. 1989 . Temporal logic CTL +Prolog . Journal of Automated Reasoning , 5 : 49 – 65 .
- Tolba , H. , Charpillet , F. and Haton , J.P. 1991 . Representing and propagating constraints in temporal reasoning . AI Communications , 4 (4) : 145 – 151 .
- Tuzhilin , A. 1995 . Extending temporal logic to support high-level simulations . ACM Trans, on Modelling end Computer Simulation , 5 (2) : 129 – 155 .
- Vila , L. 1994 . A survey of temporal reasoning in artificial intelligence . Al Communications , 7 (1) : 4 – 28 .
- Vila , L. and Reichgelt , H. 1996 . The token reification approach to temporal reasoning . Artificial Intelligence , 83 : 59 – 74 .
- Vilain , M. and Kautz , H. Constraint propagation algorithms for temporal reasoning . Proceedings of AAAI . San Diego, CA. Vol. 86 , pp. 377 – 382 . Morgan-Kaufmann .
- Yampratoom , E and Alien , J.F. 1993 . Performance of temporal reasoning systems . SIGART Bulletin , 4 (3) : 26 – 29 .
Free access
Reprints and Corporate Permissions
Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?
To request a reprint or corporate permissions for this article, please click on the relevant link below:
Academic Permissions
Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?
Obtain permissions instantly via Rightslink by clicking on the button below:
If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.
Related research
People also read lists articles that other readers of this article have read.
Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.
Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.