{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:34Z","timestamp":1725455974783},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0028115","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:50:00Z","timestamp":1132638600000},"page":"286-295","source":"Crossref","is-referenced-by-count":1,"title":["Time, tense, and relativity revisited"],"prefix":"10.1007","author":[{"given":"Frank D.","family":"Anger","sequence":"first","affiliation":[]},{"given":"Rita V.","family":"Rodriguez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"31_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"Allen, J. Maintaining Knowledge about Temporal Intervals. Comm. of ACM 26, 11 (1983), pp. 832\u2013843.","journal-title":"Comm. of ACM"},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"Allen, J. Towards a General Theory of Action and Time. Artificial Intelligence 23, (1984), pp. 123\u2013154.","journal-title":"Artificial Intelligence"},{"key":"31_CR3","unstructured":"Allen, J. and Hayes, P. A Commonsense Theory of Time. Proceedings of IJCAI, Los Angeles, CA, 1985, pp. 528\u2013531."},{"key":"31_CR4","unstructured":"Anger, F., Morris, R., Rodriguez, R., Mata, R. A Temporal Logic for Reasoning in Distributed Systems, Australian Joint AI Conference, Adelaide, Australia, Nov 1988, pp. 146\u2013155. (Also in Lecture Notes in Artificial Intelligence, Vol. 406, C. Barter and M. Brooks, eds., Springer-Verlag, 1990, pp. 177\u2013186.)"},{"issue":"3","key":"31_CR5","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/65979.65982","volume":"11","author":"F. Anger","year":"1989","unstructured":"Anger, F. On Lamport's Interprocessor Communication Model. ACM Trans. on Prog. Lang. and Systems 11, 3 (July 1989), pp. 404\u2013417.","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"31_CR6","unstructured":"Anger, F. and Rodriguez, R. Time, Tense, and Relativity. Proceedings of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), Paris, France, (July 1990), pp. 74\u201378."},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Anger, F., Ladkin, P., and Rodriguez, R. Atomic Temporal Interval Relations in Branching Time: Calculation and Application. Applications of Artificial Intelligence IX, Proceedings of SPIE, Orlando, (April 1991).","DOI":"10.1117\/12.45459"},{"issue":"3","key":"31_CR8","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","volume":"36","author":"T. Dean","year":"1988","unstructured":"Dean, T. and Boddy, M. Reasoning about Partially Ordered Events. Artificial Intelligence 36, 3 (Oct 1988), pp. 375\u2013399.","journal-title":"Artificial Intelligence"},{"key":"31_CR9","unstructured":"Ladkin, P. Specification of Time Dependencies and Synthesis of Concurrent Processes. Ninth ACM Software Engineering Conference, (1987), pp. 106\u2013115."},{"key":"31_CR10","unstructured":"Ladkin, P. Satisfying First-Order Constraints about Time Intervals. Proceedings of the Seventh National Conference on Artificial Intelligence, St. Paul, MN, (Aug 1988), pp. 512\u2013517."},{"issue":"2","key":"31_CR11","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/5383.5384","volume":"33","author":"L. Lamport","year":"1986","unstructured":"Lamport, L. The Mutual Exclusion Problem: Part I-A Theory of Interprocess Communication. Journal ACM 33, 2 (April 1986), pp. 313\u2013326.","journal-title":"Journal ACM"},{"issue":"2","key":"31_CR12","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/5383.5385","volume":"33","author":"L. Lamport","year":"1986","unstructured":"Lamport, L. The mutual exclusion problem: Part II-Statement and Solutions. Journal ACM 33, 2 (April 1986), pp. 327\u2013348.","journal-title":"Journal ACM"},{"key":"31_CR13","unstructured":"Leban, B., McDonald, D., Forster, D. A Representation for Collections of Temporal Intervals. Proceedings of the Fifth National Conference on Artificial Intelligence, Pittsburgh, PA, (July 1986), pp. 367\u2013371."},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Milner, R. A Calculus of Communicating Systems. Springer Lecture Notes in Comp. Sci., Vol. 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"31_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present, and Future","author":"A. Prior","year":"1967","unstructured":"Prior, A. Past, Present, and Future. Clarendon Press, Oxford, 1967."},{"key":"31_CR16","unstructured":"Rodriguez, R., Anger, F. Reasoning in Relativistic Time. Submitted to Computational Intelligence Journal. July 1989."},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Rodriguez, R., Anger, F., Ford, K. Temporal Reasoning: A Relativistic Model. International Journal of Intelligent Systems, to appear.","DOI":"10.1002\/int.4550060302"},{"key":"31_CR18","unstructured":"Rodriguez, R. and Anger, F. Prior's Temporal Legacy in Computer Science. To appear in The Arthur Prior Memorial Volume, Oxford University Press, Oxford, 1991."},{"key":"31_CR19","first-page":"1","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G. Winskel","year":"1989","unstructured":"Winskel, G. An Introduction to Event Structures. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, G. Goos and J. Hartmanis, eds., Springer-Verlag, New York, 1989, pp. 1\u201349."},{"key":"31_CR20","unstructured":"van Benthem, J. A Manual of Intensional Logic, 2nd ed. Center for the Study of Language and Information (CSLI), Stanford, CA, 1988."},{"key":"31_CR21","first-page":"1","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"J. Benthem van","year":"1989","unstructured":"van Benthem, J. Time, Logic and Computation. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, G. Goos and J. Hartmanis, eds., Springer-Verlag, New York, 1989, pp. 1\u201349."}],"container-title":["Lecture Notes in Computer Science","Uncertainty in Knowledge Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028115.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:57:56Z","timestamp":1607551076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543465"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0028115","relation":{},"subject":[]}}