The Productions of Time

Eternity is in love with the productions of time — William Blake, The Marriage of Heaven and Hell.

[1]  Östen Dahl,et al.  Tense and aspect systems , 1985 .

[2]  Stephen G. Pulman,et al.  Time and Modality in a Natural Language Interface to a Planning System , 1993, Artif. Intell..

[3]  Michael White,et al.  Delimitedness and Trajectory-of-Motion Events , 1993, EACL.

[4]  Matthew Stone,et al.  The reference argument of epistemic must , 1994 .

[5]  Charles L. Ortiz,et al.  A Commonsense Language for Reasoning about Causation and Rational Action , 1999, Artif. Intell..

[6]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[7]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[8]  Michael White,et al.  A computational approach to aspectual composition , 1995, cmp-lg/9506026.

[9]  Richmond H. Thomason,et al.  Nonmonotonicity in Linguistics , 1997, Handbook of Logic and Language.

[10]  Matthew Stone,et al.  Representing Scope in Intuitionistic Deductions , 1999, Theor. Comput. Sci..

[11]  Erhard W. Hinrichs,et al.  A compositional semantics for aktionsarten and NP reference in English , 1985 .

[12]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[13]  L. R. Harris.  Hypothetical reasoning , 1989 .

[14]  Matthew Stone,et al.  Efficient Constraints on Possible Worlds for Reasoning about Necessity , 1995 .

[15]  F. Landman.  The progressive , 1992 .

[16]  A. Lansky.  A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY , 1987 .

[17]  G. E. Hughes,et al.  An introduction to modal logic, 2e éd., 1 vol , 1973 .

[18]  E. Hinrichs.  Temporal anaphora in discourses of english , 1986, Linguistics and Philosophy.

[19]  Max J. Cresswell.  Semantical Essays: Possible Worlds and their Rivals , 1988 .

[20]  R. Jackendoff.  Parts and boundaries , 1991, Cognition.

[21]  Y. Shoham,et al.  Temporal reasoning in artificial intelligence , 1988 .

[22]  Lenhart K. Schubert.  Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change , 1994 .

[23]  Charles L. Ortiz,et al.  Explanatory Update Theory: Applications of Counterfactual Reasoning to Causation , 1999, Artif. Intell..

[24]  Richard B. Scherl,et al.  A General Framework for Modal Deduction , 1991, KR.

[25]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[26]  Lynn Andrea Stein,et al.  Resolving ambiguity in nonmonotonic reasoning , 1992 .

[27]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[28]  Mark Steedman,et al.  Reference to past time , 1982 .

[29]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[30]  S. D. ISARD.  WHAT WOULD YOU HAVE DONE IF... ? , 1974 .

[31]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[32]  Zhao Rong-hui.  Linguistics and Philosophy:History and Sources , 2002 .

[33]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[34]  Raymond M. Smullyan,et al.  A Generalization of Intuitionistic and Modal Logics , 1973 .

[35]  Bonnie Lynn Webber,et al.  On deriving aspectual sense , 1978 .

[36]  Marc Moens,et al.  Tense, aspect and temporal reference , 1987 .

[37]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[38]  Fei Song,et al.  The Interpretation of Temporal Relations in Narrative , 1988, AAAI.

[39]  Orvokki Tellervo Heinämäki,et al.  Semantics of English temporal connectives , 1974 .

[40]  KYOKO INOUE,et al.  An analysis of the English present perfect , 1979 .

[41]  David R. Dowty.  Tenses, time adverbs, and compositional semantic theory , 1982 .

[42]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[43]  Robert Goldblatt.  Diodorean modality in Minkowski spacetime , 1980 .

[44]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[45]  Saul A. Kripke,et al.  Semantical Analysis of Intuitionistic Logic I , 1965 .

[46]  Frank Vlach.  Temporal adverbials, tenses and the perfect , 1993 .

[47]  Robert A. Kowalski,et al.  The Situation Calculus and Event Calculus Compared , 1994, ILPS.

[48]  B. Habibi,et al.  Pengi : An Implementation of A Theory of Activity , 1998 .

[49]  D. Abusch.  Sequence of Tense and Temporal de re , 1997 .

[50]  Z. Vendler.  Linguistics in Philosophy , 1967 .

[51]  A. Heyting,et al.  Intuitionism: An introduction , 1956 .

[52]  Fred Landman,et al.  Towards A Theory Of Information , 1986 .

[53]  Mark Steedman,et al.  Verbs, Time, and Modality* , 1977 .

[54]  M. K..  Four thousand ships passed through the lock: Object-induced measure functions on events , 1990 .

[55]  L. Morgenstern,et al.  Foundations of a logic of knowledge, action, and communication , 1988 .

[56]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[57]  Richmond H. Thomason,et al.  Deontic Logic as Founded on Tense Logic , 1981 .

[58]  J. Hitzeman.  Semantic Partition and the Ambiguity of Sentences Containing Temporal Adverbials , 1997 .

[59]  Barry Schein,et al.  Events and the semantic content of thematic relations , 2002 .

[61]  Leora Morgenstern.  A Proper Ontology for Reasoning about Knowledge and Planning , 1994, TIME.

[62]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[63]  Timothy W. Finin,et al.  The KERNEL Text Understanding System , 1993, Artif. Intell..

[64]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[65]  H. Kamp,et al.  Tense in Texts , 1983 .

[66]  Craige Roberts.  Modal subordination and pronominal anaphora in discourse , 1989 .

[67]  R. Schank.  The structure of episodes in memory , 1995 .

[68]  Mürvet Enç,et al.  Towards a referential analysis of temporal expressions , 1986 .

[69]  Nicholas Asher,et al.  A default, truth conditional semantics for the progressive , 1992 .

[70]  Lincoln A. Wallen,et al.  Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics , 1990, MIT Press series in artificial intelligence.

[71]  Mark Steedman,et al.  Temporal Ontology and Temporal Reference , 1988, CL.

[72]  R. Thomason,et al.  A Theory of Conditionals in the Context of Branching Time , 1980 .

[73]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[74]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994 .

[75]  Anita Mittwoch,et al.  Aspects of english aspect: On the interaction of perfect, progressive and durational phrases , 1988 .

[76]  Reinhard Muskens,et al.  Tense and the logic of change , 1995 .

[77]  Peter Jackson,et al.  A General Proof Method for First-Order Modal Logic , 1987, IJCAI.

[78]  Joost Zwarts,et al.  An algebra of conceptual structure; An investigation into Jackendoff's conceptual semantics , 1994 .

[79]  Robert A. Kowalski,et al.  Reconciling the Event Calculus With the Situation Calculus , 1997, J. Log. Program..

[80]  Barry Richards,et al.  Tense, aspect and time adverbials , 1982 .

[81]  M. de Rijke,et al.  Back and Forth Through Time and Events , 1994, ICTL.

[82]  Mimo Caenepeel.  Aspect, temporal ordering and perspective in narrative fiction , 1989 .

[83]  James Pustejovsky,et al.  The syntax of event structure , 1991, Cognition.

[84]  J. P. Thorne,et al.  The semantics of modal verbs , 1969, Journal of Linguistics.

[85]  Alex Lascarides,et al.  A Semantics and Pragmatics for the Pluperfect , 1993, EACL.

[86]  B. Spejewski,et al.  Temporal subordination in discourse , 1994 .

[87]  Manfred Krifka,et al.  Nominal Reference, Temporal Constitution and Quantification in Event Semantics , 1989 .

[88]  Charles L. Ortiz,et al.  Causal Pathways of Rational Action , 1994, AAAI.

[89]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[90]  Antony Galton,et al.  A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..

[91]  Henk J. Verkuyl,et al.  On the Compositional Nature of the Aspects , 1972 .

[92]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[93]  R. Binnick.  Time and the Verb: A Guide to Tense and Aspect , 1991 .

[94]  David I. Beaver,et al.  The Handbook of Logic and Language , 1997 .

[95]  Manfred Krifka,et al.  Thematic Relations as Links between Nominal Reference and Temporal Constitution , 1992 .

[96]  Nissim Francez,et al.  Splitting the Reference Time: Temporal Anaphora and Quantification in DRT , 1995, EACL.

[97]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

[98]  Matthew Stone,et al.  Applying Theories of Communicative Action in Generation Using Logic Programming , 1999 .

[99]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[100]  N. Nilsson,et al.  Readings in Artificial Intelligence , 1981 .

[101]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[102]  A. Goldman.  Theory of Human Action , 1970 .

[103]  Saul A. Kripke,et al.  Naming and Necessity , 1980 .

[104]  F. Landman.  Structures for semantics , 1991 .

[105]  Angelika Kratzer,et al.  What ‘must’ and ‘can’ must and can mean , 1977 .

[106]  Ralf Naumann.  A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language , 2000 .

[107]  Fangzhen Lin,et al.  How to Progress a Database II: The STRIPS Connection , 1995, IJCAI.

[108]  Robin F. Karlin.  Defining the Semantics of Verbal Modifiers in the Domain of Cooking Tasks , 1988, ACL.

[109]  M. Cresswell.  Entities and indices , 1990 .

[110]  Frank Vlach,et al.  The semantics of the progressive , 1981 .

[111]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[112]  L. Thorne McCarty,et al.  Modalities Over Actions, I. Model Theory , 1994, KR.

[113]  G. Miller,et al.  Language and Perception , 1976 .

[114]  H. Levesque.  Logic and the complexity of reasoning , 1988 .

[115]  Janet Marie Hitzeman.  Temporal adverbials and the syntax-semantics interface , 1994 .

[116]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[117]  Michel Gagnon,et al.  From Conceptual Time to Linguistic Time , 1996, Comput. Linguistics.

[118]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[119]  B. Schein.  Plurals and Events , 1994 .

[120]  H. Kamp.  Events, Instants and Temporal Reference , 1979 .

[121]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[122]  Richmond H. Thomason,et al.  Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective , 1991, Artificial and Mathematical Theory of Computation.

[123]  Norbert Hornstein,et al.  As Time Goes By: Tense and Universal Grammar , 1990 .

[124]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[125]  Chung Hee Hwang,et al.  Tense Trees as the “Fine Structure” of Discourse , 1992, ACL.

[126]  Arnim von Stechow,et al.  Semantik : ein internationales Handbuch der zeitgenössischen Forschung = Semantics : an international handbook of contemporary research , 1991 .

[127]  Bonnie L. Webber,et al.  Tense as Discourse Anaphor , 1988, CL.

[128]  Mürvet Enç.  Anchoring conditions for tense , 1987 .

[129]  Stanley J. Rosenschein,et al.  Plan Synthesis: A Logical Perspective , 1981, IJCAI.

[130]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[131]  R. Wilensky.  Planning and Understanding: A Computational Approach to Human Reasoning , 1983 .

[132]  Mark Steedman,et al.  Dynamic Semantics for Tense and Aspect , 1995, IJCAI.

[133]  Matthew Stone,et al.  The Anaphoric Parallel Between Modality and Tense , 1997 .

[134]  David Peleg,et al.  Concurrent dynamic logic , 1985, STOC '85.

[135]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[136]  Patrick J. Hayes,et al.  Moments and points in an interval‐based temporal logic , 1989, Comput. Intell..

[137]  Bonnie L. Webber,et al.  Logic and Natural Language , 1983, Computer.

[138]  Dorit Abusch,et al.  Generalizing Tense Semantics for Future Contexts , 1998 .

[139]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[140]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[141]  Johan de Kleer,et al.  Choices Without Backtracking , 1984, AAAI.

[142]  H. Verkuyl.  Aspectual classes and aspectual composition , 1989 .

[143]  B. Partee.  Nominal and temporal anaphora , 1984 .

[144]  Leora Morgenstern,et al.  Why Things Go Wrong: A Formal Theory of Causal Reasoning , 1988, AAAI.

[145]  Robin Cooper.  Tense and discourse location in situation semantics , 1986 .

[146]  Carlota S. Smith,et al.  The Parameter of Aspect , 1991 .

[147]  Gregory Norman Carlson,et al.  Reference to kinds in English , 1977 .

[148]  Hans Jürgen.  Semantics-Based Translation Methods for Modal Logics , 1991 .

[149]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[150]  Barry Taylor,et al.  Tense and continuity , 1977, Linguistics and Philosophy.

[151]  Pavel Tichý,et al.  Do we need interval semantics? , 1985 .

[152]  Paul Dekker,et al.  Transsentential meditations : ups and downs in dynamic semantics , 1993 .

[153]  Emmon Bach,et al.  Tenses and aspects as functions on verb-phrases , 1980 .

[154]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[155]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[156]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[157]  B. Partee.  Some Structural Analogies between Tenses and Pronouns in English , 1973 .

[158]  Murray Shanahan.  Event Calculus Planning Revisited , 1997, ECP.

[159]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[160]  Saharon Shelah,et al.  Reasoning with Time and Chance , 1982, Inf. Control..

[161]  Kurt Eberle,et al.  Eventualities in a Natural Language Understanding System , 1990, Sorts and Types in Artificial Intelligence.

[162]  Raymond Turner,et al.  Counterfactuals without possible worlds , 1981, J. Philos. Log..

[163]  J. Armstrong.  Knowledge and Belief , 1953 .

[164]  GRAEME D. RITCHIE,et al.  TEMPORAL CLAUSES IN ENGLISH , 1979 .