Executable temporal logic for non-monotonic reasoning

Journal of Symbolic Computation

Volumn 22, Issue 5-6, 1996, Pages 615-625

  Engelfriet, Joeri ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030295890     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0068     Document Type: Article

References (19)

1. Gabbay, D. (1989). The declarative past and imperative future: executable temporal logic for interactive systems. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds), Temporal Logic in Specification, Lecture Notes in Computer Science, Vol. 398, Springer-Verlag, 409-448.
2. Brewka, G. (1994). Adding priorities and specificity to default logic. In: MacNish, C., Pearce, D., Pereira, L.M., (eds), Logics in Artificial Intelligence, Proc. 4th European Workshop on Logics in Artificial Intelligence, JELIA'94, Lecture Notes in Artificial Intelligence, Vol. 838, Springer-Verlag, 247-260.
3. Engelfriet, J., Herre, H., Treur, J. (1995). Non-monotonic belief state frames and reasoning frames (extended abstract). In: Froidevaux, C., Kohlas, J. (eds), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proc. ECSQARU'95, Lecture Notes in Artificial Intelligence, Vol. 946, Springer-Verlag, 189-196.
4. Engelfriet, J. (1996). Minimal temporal epistemic logic. Notre Dame Journal of Formal Logic 37(2), 233-259.
5. Engelfriet, J., Treur, J. (1993). A temporal model theory for default logic. In: Clarke, M., Kruse, R., Moral, S. (eds), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU'93, Lecture Notes in Computer Science, Vol. 747, Springer-Verlag, 91-96. Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993.
6. Engelfriet, J., Treur, J. (1994). Temporal theories of reasoning. In: MacNish, C., Pearce, D., Pereira, L.M. (eds), Logics in Artificial Intelligence, Proc. 4th European Workshop on Logics in Artificial Intelligence, JELIA'94, Lecture Notes in Artificial Intelligence, Vol. 838, Springer-Verlag, 279-299. Also in: J. Applied Non-Classical Logics 5(2), 1995, 239-261.
7. Engelfriet, J., Treur, J. (1994). Temporal theories of reasoning. In: MacNish, C., Pearce, D., Pereira, L.M. (eds), Logics in Artificial Intelligence, Proc. 4th European Workshop on Logics in Artificial Intelligence, JELIA'94, Lecture Notes in Artificial Intelligence, Vol. 838, Springer-Verlag, 279-299. Also in: J. Applied Non-Classical Logics 5(2), 1995, 239-261.
8. Engelfriet, J., Treur, J. (1996). Specification of Non-monotonic Reasoning. In: Gabbay, D.M., Ohlbach, H.J. (eds), Practical Reasoning. Proc. International Conference on Formal and Applied Practical Reasoning, FAPR'96, L.N.A.I., Vol. 1085, Springer-Verlag, 111-125.
9. Fisher, M. (1994). A survey of concurrent METATEM - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds), Temporal Logic, Proc. ICTL'94, Lecture Notes in Artificial Intelligence, Vol. 827, Springer-Verlag, 480-505.
10. Fisher, M., Owens, R. (eds) (1995). Executable Modal and Temporal Logics, Proc. IJCAI'93 workshop, Lecture Notes in Artificial Intelligence, Vol. 897, Springer-Verlag.
11. Gavrila, I.S., Treur, J. (1994). A formal model for the dynamics of compositional reasoning systems. In: Cohn, A.G. (ed.), Proc. 11th European Conference on Artificial Intelligence, ECAI'94, Wiley and Sons, 307-311.
12. Kraus, S., Lehmann, D., Magidor, M. (1990). Non-monotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167-207.
13. Langevelde, I.A. van, Philipsen, A.W., Treur, J. (1992). Formal specification of compositional architectures. In: B. Neumann (ed.), Proc. 10th European Conference on Artificial Intelligence, ECAI'92, Chichester, John Wiley & Sons, 272-276.
14. Marek, V., Truszczyński, M. (1993). Non-monotonic Logic, Springer-Verlag.
15. Orgun, M.A., Ma, W. (1994) An overview of temporal and modal logic programming. In: Gabbay, D.M., Ohlbach, H.J. (eds), Temporal Logic, Proc. ICTL'94, Lecture Notes in Artificial Intelligence, Vol. 827, Springer-Verlag, 445-479.
16. Shoham, Y. (1988). Reasoning about Change, MIT Press.
17. Tan, Y.H., Treur, J. (1992). Constructive default logic and the control of defeasible reasoning. In: Neumann, B. (ed.), Proc. 10th European Conference on Artificial Intelligence, ECAI'92, Wiley and Sons, 299-303.
18. Treur, J., Wetter, Th. (eds) (1993). Formal Specification of Complex Reasoning Systems, Ellis Horwood.
19. Voorbraak, F. (1993). Preference-based semantics for non-monotonic logics. In: Bajcsy, R. (ed.), Proc. 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Morgan Kaufmann, 584-589.