Nonmonotonic reasoning on a constructive time structure

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1996, Pages 190-195

  Fusaoka, A ^a  

^a RITSUMEIKAN UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICAL SYSTEM; NON-MONOTONIC REASONING; NONMONOTONIC; SHOOTING PROBLEMS; SOUND AND COMPLETE; TEMPORAL ORDER; TREE AUTOMATA;

ONTOLOGY;

EID: 0006689420     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1996.555699     Document Type: Conference Paper

References (9)

1. M. Ben-Ari, A. Pnueli, Z. Manna, " The Temporal Logic of Branching Time ", Journal of Acta Informatzca. vol 20, 1983.
2. J V Benthem, The Logzc of Time : A modeltheoretac investigation znto the varieties of temporal ontology and temporal discourse, Kluwer Academic Publishers, 1991.
3. W.B. Ewald, " Intuitonistic Tense and Modal ]Logic, '' Journal of Symbolic Logic, vol. 51, 1986.
4. A. F'usaoka1 "Constructive Time : An Interval Division Logic for Temporal Reasoning, " Journal (of Japanese Soczety of Al. vol 11, No 2, 1996.
5. lD. Gabbay, "Intuitionistic basis for non-monotonic logic, " Proc. Conf. on Automated Deductzon, !Springer Lecture notes in Computer Science, IVo.6, 1982.
6. .J Y. Halpern, Y. Shoham, '' A Propositional Modal Logic of Time Intervals, '' Journal of the .ACM, Vol 38, No 4, 1991.
7. S. Hanks and D. McDermott, "Nonmonotonic ]Logic and Temporal Projection, " Artificaal Intellzgence 33, (1987).
8. 'Y Shoham, Reasonong About Change, The MIT ]Press, ( 1988).
9. M.Y. Vardi and P. Wolper, " Automata-Theoretic techniques for modal logics of programs, Journal 'of Computer and System Scienee, vol. 32, 1986.