Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based

A novel group of photographic sensitizing dyes is prepared by reacting the 5,7-dimethyl-1,2-benzoxathian-4-one-2,2-dioxide sultone nucleus with other organic compounds capable of forming merocyanine, oxonol or styryl dyes therewith. The resulting dyes are particularly useful in the sensitization of silver halide emulsions and provide excellent speed and low after-processing dye stain.

[1]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[3]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[4]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

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

[6]  James F. Allen,et al.  Performance of temporal reasoning systems , 1993, SGAR.

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

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

[9]  Han Reichgelt,et al.  A comparison of first order and modal logics of time. , 1989 .

[10]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[11]  Robert Schrag,et al.  Managing Disjunction for Practical Temporal Reasoning , 1992, KR.

[12]  VilaLluís,et al.  A survey on temporal reasoning in artificial intelligence , 1994 .

[13]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[14]  Antony Galton,et al.  Reified Temporal Theories and How to Unreify Them , 1991, IJCAI.

[15]  Han Reichgelt,et al.  The Token Reification Approach to Temporal Reasoning , 1996, Artif. Intell..

[16]  Josh Tenenbergy,et al.  A Non-reiied Temporal Logic , 1989 .

[17]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[18]  Rina Dechter,et al.  Coping With Disjunctions in Temporal Constraint Satisfaction Problems , 1993, AAAI.

[19]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[20]  Lenhart K. Schubert,et al.  Temporal reasoning in Timegraph I–II , 1993, SGAR.