|
van Benthem JFAK, 1983. The logic of time, Dordrecht: D. Reidel |
|
Galton AP, 1987. “Temporal logic and computer science: An overview, Temporal logics and their applications, Galton AP ed, pp 1–50, New York: Academic Press |
|
McArthur RP, 1976. Tense logic, Dorcrecht: D. Riegel |
|
Prior AN, 1967. Past, present and future, Oxford: Clarendon Press |
|
Rescher N and Urquhart A, 1971. Temporal logic, New York: Springer-Verlag |
|
Turner R, 1984. Logics for artificial intelligence, Chichester: Ellis-Horwood |
|
Allen JF, 1984. “Towards a general theory of action and time”, Artificial Intelligence23, 123–154 |
|
Barringer H, Kuiper R and Pnueli A, 1984. “Now you may compose temporal logic specifications” Proc. 16th ACM Symp. on Theory of Computing, pp 51–63 |
|
Davidson D, 1967. “The logical form of action sentences” The logic of decision and action, Recher N, ed, pp 81–95, Pittsburgh: University of Pittsburgh Press |
|
Dean TL and McDermott D, 1987. “Temporal dala base management” Artificial Intelligence32 pp 1–55 |
|
Eshgi K, 1988. “Abductive planning wilh event calculus”, Tech. Report, Dept. of Comp. Sci., Imperial College, London |
|
Gabbay D, 1986. “Executable temporal logic for interactive systems, Technical Report, Imperial College, London |
|
Gabbay D, 1987. “Modal and temporal logic programming” Temporal logics and their applications, Galton A, ed, pp 197–239, New York: Academic Press |
|
Galton AP, 1984. The logic of aspect, Oxford: Oxford Clarendon Press |
|
Galton AP, 1986. “A critical examinalion of J. F. Allen's theory of time and action”, Report 6.86, Centre for Theoretical Comp. Sci., Univ. of Leeds, England |
|
Galton AP, 1987. “The logic of occurrence” Temporal logics and their applications, Galton AP, ed, pp 169–175, New York: Academic Press |
|
Hale R, 1987. “Temporal logic programming” Temporal logics and their applications, Galton AP, ed, pp 91–119, New York: Academic Press |
|
Hobbs J, 1985. “Granularity” IJCAI9 |
|
Kenny A, 1963. Action, emotion and will, London: Routledge and Kegan Paul |
|
Kowalski RA and Sergot MJ, 1986. “A logic-based calculus of events” New Generation Computing467–95 |
|
Kripke S, 1963. “Semantical considerations on modal logic” Acta Philosophica Fennica1683–94 |
|
Lee RM, Coelho H and Cotta JC, 1985. “Temporal inferencing on administrative databases” Information Systems10197–206 |
|
Lewis D, 1973. “Causation” J. of Philosophy70556–567 |
|
Mackey JL, 1974. The cement of the universe: A study of causation, Oxford: Oxford University Press |
|
McCarthy J and Hayes PJ, 1969. “Some philosophical problems form the standpoint of artificial intelligence” Machine intelligence, Meltzer B and Michie D, eds, Vol. 4, Edinburgh: Edinburgh University Press |
|
McDermott DV, 1978. “Tarskian semantics or, no notation without denotation” Cog. Sci.2(3) |
|
McDermott DV, 1982. “A temporal logic for reasoning about processes and plans” Cog. Sci.6101–155 |
|
Moszkowski B, 1986. Executing temporal logic programs, Cambridge: Cambridge University Press |
|
Newton-Smith WH, 1980. The structure of time, London: Routledge and Kegan Paul |
|
Prior AN, 1955. “Diodoran modalities” Philosophical Quarterly5205–213 |
|
Quine WV, 1965. Elementary logic, New York: Harper and Row |
|
Reichenbach H, 1947. Elements of symbolic logic, New York: Macmillan |
|
Russell B, 1903. Principles of mathematics, London: George and Unwin |
|
Russell B, 1913. “On the notion of cause” Proc. of the Aristotelian Society131–26 |
|
Shanahan M, 1988. “A single logical framework for prediction problems”, Tech. Report, Dept. of Comp., Imperial College, London |
|
Shoham Y, 1985. “Ten requirements for a theory of change” New Generating Computing3467–77 |
|
Shoham Y, 1988. Reasoning about change, Massachusetts: MIT Press |
|
Suppes P, 1970. A probabilistic theory of causation, Amsterdam: North Holland |
|
von Wright GH, 1965. “And next” Acta Philosophica Fennica18293–304 |
|
von Wright GH, 1966. “And then” Commentationes Physico-Mathematicae of the Finnish Society of Sciences32(7) |
|
Allen JF, 1981. “An interval based representation of temporal knowledge” Proc. IJCAI7221–226 |
|
Allen JF, 1983. “Maintaining knowledge about temporal intervals” CACM26(11) 832–843 |
|
Allen JF and Koomen JA, 1983. “Planning using a temporal world model” Proc. IJCAI8741–747 |
|
Allen JF and Hayes PJ, 1985. “A common sense theory of time” Proc. IJCAI9528–531 |
|
Aoyagi T, Fujita M and Mota-Oka T, 1985. “Temporal logic programming language Tokio: programming in Tokio” Logic Programming '85, vol. 221, pp 128–137, LNCS, New York: Springer-Verlag |
|
Ben-Ari M, Pnueli A and Manna Z, 1981. “The temporal logic of branching time” Proc. 8th ACM Symp. on Principles of Progrmming Languages, pp 164–176 |
|
Bruce BC, 1972. “A model for temporal references and its application in a question answering program” Artificial Intelligence31–25 |
|
Burgess JP, 1982. “Axioms for tense logic ii: time periods”, Notre Dame J. of Formal Logic, 23(4) 375–383 |
|
Clarke EM, Emerson EA and Sistla AP, 1986. “Automatic verification of finite-state concurrent systems using temporal logic specifications” ACM Trans. on Programming Languages and Systems8244–263 |
|
Cresswell MJ, 1977. “Interval semantics and logical words” On the logical analysis of tense and aspect, Rohrer C, ed., Tubingen: Gunter Narr |
|
Dean TL, 1986. “Temporal imagery: An approach to reasoning about time for planning and problem solving” PhD Thesis, Yale University |
|
Doyle J, 1979. “A truth maintenance system”, Artificial Intelligence12231–272 |
|
Emerson EA and Halpern JY, 1983. “‘Sometimes’ and ‘not never’ revisited: on branching vs. linear time” Proc. 10th ACM Symp. on Principles of Programming Languages, pp 127–140 |
|
Farinas del Cerro L, 1985. “Resolution modal logics” Logics and Models of Concurrent Programs, Apt K, ed., pp. 27–56, New York: Springer-Verlag |
|
Findlay JN, 1941. “Time: a treatment of some puzzles” Austalasian J. of Philosophy19216–235 |
|
Fujita M, 1986. “Tokio: logic programming language based on temporal logic and its compilation to Prolog” Proc. 3rd Int. Conf. on Logic Prog. Vol. 225, pp 695–709, LNCS, New York: Springer-Verlag |
|
Gabbay D, 1980. “On the temporal analysis of fairness” Proc. 7th ACM Symp on Principles of Programming Languages, pp 163–173 |
|
Ginsberg ML, 1986. “Counterfactuals” Artificial Intelligence30(1) 35–81 |
|
Ginsberg ML and Smith DE, 1986. “Reasoning about action I: A possible worlds approach”, Tech. Report KSL-86–37, Stanford Knowledge Systems Lab |
|
Hanks S and McDermott D, 1985. “Temporal reasoning and default logics”, CS Research Report, Vol. 430, Yale University |
|
Hanks S and McDermott D, 1986. “Default reasoning, nonmonotonic logics and the frame problem” Proc. 5th Nat. Conf. on AI, AAAI, Vol. 1, pp 328–333 |
|
Hamblin CL, 1971. “Instants and intervals” 24127–134 |
|
Halpern J, Manna Z and Moszkowski B, 1983. “A high level semantics based on interval logics” Proc. ICALP278–291 |
|
Halpern J and Shoham Y, 1986. “A proposition modal logic of time intervals” Proc. Symp. on Logic in CS, Boston, Massachusetts: IEEE |
|
Hayes P, 1978. “The naive physics manifesto” Expert systems in the microelectronic age, Michie D, ed., Edinburgh: Edinburgh University Press |
|
Humberstone IL, 1979. “Interval semantics for tense logic” J. Philosophical Logic8171–196 |
|
Kahn K and Gorry GA, 1977. “Mechanizing temporal knowledge” Artificial Intelligence987–108 |
|
Kamp JAW, 1968. “Tense logic and the theory of linear order”, PhD Thesis, University of California |
|
Kim J, 1971. “Causes and events: Mackey on causation” J. of Philosophy68426–441 |
|
Kowalski RA, 1986. “Database updates in the event calculus” DoC, 86/12, Dept. of Comp., Imperial College, London |
|
Lamport L, 1980. “‘Sometimes’ is sometimes ‘not never”: on the temporal logic of programs” Proc. 7th ACM Symp. on Principles of Programming Languages, pp 174–185 |
|
Massey G, 1969. “Tense logic! Why bother?” Nous317–32 |
|
Moens M and Steedman M, 1987. “Temporal ontology in natural languages” Proceedings of the 25th ACL, pp 1–7 |
|
Moens M and Steedman M, 1989. “Temporal ontology and temporal reference” Computational Linguistics 14 |
|
Moszkowski B, 1983. “Reasoning about digital circuits” PhD thesis, Stanford University |
|
Moszkowski B, 1985. “A temporal logic for multi-level reasoning about hardware” Computer1810–19 |
|
Piaget J and Garcia R, 1974. “Understanding causality” W. W. Morton |
|
Pnueli A, 1977. “The temporal logic of programs” Proc. 18th IEEE Symp. on Foundations of Comp. Sci. pp. 46–67 |
|
Reichgelt H, 1987. “Semantics for reified temporal logic”, Hallam J and Mellish C, eds, Advances in artificial intelligence, Proceedings of the 1987 AISB Conference, pp 49–61, Chichester: Wiley and Sons |
|
Richards B, 1982. “Tense, aspect and adverbials” Linguistics and Philosophy559–107 |
|
Robinson JA, 1965. “A machine-oriented logic based on the resolution principle” J. of ACM1223–41 |
|
Roper P, 1980. “Intervals and tenses” J. of Philosophical Logic9 |
|
Sadri F, 1987. “Three recent approaches to temporal reasoning” Temporal logics and their applications, Galton A, ed., pp 121–167, New York: Academic Press |
|
Schwartz RL, Melliar-Smith PM and Vogt FH, 1983. “An interval logic for higher-level temporal reasoning”, SRI Int., CS Lab. |
|
Shoham Y, 1986. “Chronological ignorance: Time, nonmonotonocity and necessity” Proc. AAAI, Philadelphia, PA |
|
Shoham Y, 1987. “Temporal logics in AI: Semantical and ontological considerations” Artificial Intelligence3389–104 |
|
Taylor B, 1985. Modes of occurrence, Oxford: Basil Blackwell |
|
Tichy P, 1985. “Do we need interval semantics?” Linguistics and Philosophy8263–282 |
|
Williams BC, 1986. “Doing time: Putting qualitative reasoning on firmer ground” Proc. AAAI |
|
Wolper P, 1981. ‘Temporal logics can be more expressive’ Proc. 22nd IEEE Symp. on Foundations of Comp. Sci., pp 340–348 |