Joeri Engelfriet (engelfriet)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Engelfriet, Joeri, Jonker, Catholijn and Treur, Jan. 2002a. “Compositional Verification of Multi-Agent in Temporal Multi-Epistemic Logic.” Journal of Logic, Language, and Information 10(1): 195–225.
Engelfriet, Joeri, Jonker, Catholijn and Treur, Jan. 2002b. “Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 221–252. Dordrecht: Kluwer Academic Publishers.
Engelfriet, Joeri, Marek, Wictor W., Treur, Jan and Truszczynski, Miroslaw. 1996. “Infinitary Default Logic for Specification of Nonmonotonic Reasoning.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 224–236. Berlin: Springer.
Engelfriet, Joeri and Treur, Jan. 1994a. “Temporal Theories of Reasoning.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 279–299. Lecture Notes in Computer Science. Berlin: Springer.
Engelfriet, Joeri and Treur, Jan. 1994b. “Final Model Semantics for Normal Default Theories.” in Temporal Logic. Proceedings of the ICTL Workshop, edited by Hans Jürgen Ohlbach, pp. 32–41. Saarbrücken: Max-Planck-Institut für Informatik.
Engelfriet, Joeri and Treur, Jan. 1998. “An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.” Journal of Logic, Language, and Information 7(3): 369–388. Reprinted in Meyer and Treur (2001, 105–124).
Engelfriet, Joeri and Treur, Jan. 2001. “Specification of Nonmonotonic Reasoning.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 83–104. Dordrecht: Kluwer Academic Publishers.
Engelfriet, Joeri and Treur, Jan. 2002. “Linear, Branching Time and Joint Closure Semantics for Temporal Logic.” Journal of Logic, Language, and Information 11(4): 389–425.
Engelfriet, Joeri and Venema, Yde. 1997. “A Modal Logic of Information Change.” IR-438. Amsterdam: Institute for Language, Logic; Information, University of Amsterdam. Published as Engelfriet and Venema (1998).
Engelfriet, Joeri and Venema, Yde. 1998. “A Modal Logic of Information Change.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 125–131. San Francisco, California: Morgan Kaufmann Publishers.