Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/treur

Jan Treur (treur)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Allis, L. Victor, Tan, Y.-H. and Treur, Jan. 2001. Meta-Level Selection Techniques for the Control of Default 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. 195–216. Dordrecht: Kluwer Academic Publishers.
    Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, Jan. 2002. Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.” 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. 455–475. Dordrecht: Kluwer Academic Publishers.
    Brazier, F. M. T., Dunin-Keplicz, Barbara, Treur, Jan and Verbrugge, Rineke. 2001. Modelling Internal Dynamic Behaviour of BDI Agents.” 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. 339–362. Dordrecht: Kluwer Academic Publishers.
    Brazier, F. M. T., Eck, P. van and Treur, Jan. 2002. Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems.” 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. 167–196. Dordrecht: Kluwer Academic Publishers.
    Brazier, F. M. T., Jonker, C. M. and Treur, Jan. 2002a. Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control.” 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. 19–64. Dordrecht: Kluwer Academic Publishers.
    Brazier, F. M. T., Jonker, C. M. and Treur, Jan. 2002b. Compositional Design and Reuse of a Generic Agent Model.” 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. 113–166. Dordrecht: Kluwer Academic Publishers.
    Brazier, F. M. T., Jonker, C. M., Treur, Jan and Wijngaards, N. J. E. 2001. Deliberate Evolution in Multi-Agent Systems.” 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. 363–380. Dordrecht: Kluwer Academic Publishers.
    Cornelissen, F., Jonker, C. M. and Treur, Jan. 2001. Compositional Verification of Diagnostic Process Models.” 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. 65–82. Dordrecht: Kluwer Academic Publishers.
    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 (2001a, 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.
    van den Hoek, Wiebe, Meyer, John-Jules Ch. and Treur, Jan. 1994. Formal Semantics of Temporal Epistemic Reflection.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 332–352. Berlin: Springer.
    van den Hoek, Wiebe, Meyer, John-Jules Ch. and Treur, Jan. 2001a. Formal Semantics of Temporal Epistemic Reflection.” 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. 41–64. Dordrecht: Kluwer Academic Publishers.
    van den Hoek, Wiebe, Meyer, John-Jules Ch. and Treur, Jan. 2001b. Temporalized Epistemic Default Logic.” 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. 177–194. Dordrecht: Kluwer Academic Publishers.
    Jonker, C. M. and Treur, Jan. 2001. A Formal Analysis of Pro-Activenes and Reactiveness in Cooperative Information Gathering.” 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. 299–338. Dordrecht: Kluwer Academic Publishers.
    Jonker, C. M., Treur, Jan and Vries, Willem A. de. 2002. Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments.” 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. 427–454. Dordrecht: Kluwer Academic Publishers.
    Meyer, John-Jules Ch. and Treur, Jan, eds. 2001a. Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes. Dordrecht: Kluwer Academic Publishers.
    Meyer, John-Jules Ch. and Treur, Jan. 2001b. Introduction.” 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. 1–6. Dordrecht: Kluwer Academic Publishers.
    Meyer, John-Jules Ch. and Treur, Jan. 2001c. Basic Concepts.” 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. 7–14. Dordrecht: Kluwer Academic Publishers.
    Meyer, John-Jules Ch. and Treur, Jan, eds. 2002a. Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments. Dordrecht: Kluwer Academic Publishers.
    Meyer, John-Jules Ch. and Treur, Jan. 2002b. Introduction.” 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. 3–8. Dordrecht: Kluwer Academic Publishers.
    Meyer, John-Jules Ch. and Treur, Jan. 2002c. Basic Concepts.” 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. 9–18. Dordrecht: Kluwer Academic Publishers.
    Treur, Jan. 1994. Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 353–376. Berlin: Springer. Reprinted in Meyer and Treur (2001a, 15–40).