home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. C.M. Jonker

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. C.M. Jonker

• contact information
• my technical reports
• former member of group algorithmic systems

some publications

Hoogendoorn, M., Jonker, C.M., Popova, V., Sharpanskykh, A. & Xu, L. (2005). Formal Modelling and Comparing of Disaster Plans. In B. Carle & B. van de Walle (Eds.), Second International Conference on Information Systems for Crisis Response and Management, ISCRAM'05 (pp. 97-107).

Dastani, M.M., Jacobs, N., Jonker, C.M. & Treur, J. (2005). Modelling User Preferences and Mediating Agents in Electronic Commerce. Knowledge-Based Systems Journal, 18, 335-352.

Dastani, M.M., Jonker, C.M. & Treur, J. (2004). A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems. International journal of intelligent systems, 19, 277-300.

Jonker, C.M. & Treur, J. (2002). A Dynamic Perspective on an Agent's Mental States and Interaction with its Environment. In C. Castelfranchi & W.L. Johnson (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'02 (pp. 865-872). ACM Press.

Jonker, C.M., Treur, J. & Wijngaards, W.C.A. (2002). A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour. In B. Dunin-Keplicz & E. Nawarecki (Eds.), From Theory to Practice in Multi-Agent Systems, Proc. of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'01, 2001. Lecture Notes in AI, vol. 2296 (pp. 141-150). Springer Verlag.

Dastani, M.M., Jonker, C.M. & Treur, J. (2002). A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems. In M. Wooldridge, G. Weiss & P. Ciancarini (Eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Lecture Notes in Computer Science, vol. 2222 (pp. 169-187). Springer Verlag.

Jonker, C.M. & Treur, J. (2003). Agent- Oriented Modeling of the Dynamics of Complex Biological Processes I: Single Agent Models. BioComplexity journal, 1.

Jonker, C.M. & Treur, J. (2002). Agent-Oriented Modeling of the Dynamics of Complex Biological Processes I: Single Agent Models. Artificial intelligence preprint series.

Jonker, C.M. & Treur, J. (2002). Analysis of the Dynamics of Reasoning Using Multiple Representations. In W.D. Gray & C.D. Schunn (Eds.), Proceedings of the 24th Annual Conference of the Cognitive Science Society, CogSci 2002 (pp. 512-517). mahwah, NJ: Lawrence Erlbaum Associates, Inc..

Jonker, C.M. & Treur, J. (2002). Analysis of the Dynamics of Reasoning Using Multiple Representations. Artificial intelligence preprint series.

Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V. & Wijngaards, W.C.A. (2002). BDI- Modelling of Intracellular Dynamics. In A.B. Williams & K. Decker (Eds.), Proc. of the First International Workshop on Bioinformatics and Multi-Agent Systems, BIXMAS'02 (Extended abstract in: C. Castelfranchi and W.L. Johnson (eds.), 'Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'02. ACM Press, 2002, 465-466) (pp. 15-23).

Engelfriet, J., Jonker, C.M. & Treur, J. (2002). Compositional Verification of Multi- Agent Systems in Temporal Multi- Epistemic Logic. Journal of logic, language and information, 11, 195-225.

Engelfriet, J., Jonker, C.M. & Treur, J. (2002). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In D. Gabbay & Ph. Smets (Eds.), Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7 (pp. 221-252). Kluwer Academic Publishers.

Jonker, C.M. & Treur, J. (2002). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. International journal of cooperative information systems, 11, 51-92.

Cornelissen, F., Jonker, C.M. & Treur, J. (2003). Compostional Verification of Knowledge-Based Task Models and Problem Solving Methods. Knowledge and Information Systems Journal.

Jonker, C.M., Letia, I.A. & Treur, J. (2002). Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements. In M. Wooldridge, G. Weiss & P. Ciancarini (Eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Lecture notes in Computer Science, vol. 2222 (pp. 17-32). Springer Verlag.

Brazier, F.M.T., Jonker, C.M. & Treur, J. (2002). Dynamics and Control in Component- Based Agent Models. International journal of intelligent systems, 17, 1007-1048.

Boogerd, F., Bruggeman, F., Jonker, C.M., Looren de Jong, H., Tamminga, A., Treur, J., Westerhoff, H.V. & Wijngaards, W.C.A. (2002). Interlevel Relations in Computer Science, Biology and Psychology. Philosophical psychology, 15, 463-471.

Jonker, C.M. & Treur, J. (2002). Modelling Multiple Mind-Matter Interaction. International journal of human-computer studies, 57, 165-214.

Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V. & Wijngaards, W.C.A. (2002). Putting Intentions into Cell Biochemistry: An Artificial Intelligence Perspective. Journal of Theoretical Biology, 214, 105-134.

Jonker, C.M., Treur, J. & Wijngaards, W.C.A. (2002). Reductionist and Antireductionist Perspectives on Dynamics. Philosophical psychology, 15, 381-409.

Jonker, C.M., Treur, J. & Wijngaards, W.C.A. (2002). Reductionist and Antireductionist Perspectives on Dynamics. Artificial intelligence preprint series.

Jonker, C.M. & Treur, J. (2002). Relating Structure and Dynamics in an Organisation Model. In J.S. Sichman, F. Bousquet & P. Davidson (Eds.), Proc. of the Third International Workshop on Multi-Agent Based Simulation, MABS'02 (pp. 71-80).

Jonker, C.M. & Treur, J. (2002). Relating Structure and Dynamics in an Organisation Model. Artificial intelligence preprint series.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. In D. Gabbay & Ph. Smets (Eds.), Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7 (pp. 427-454). Kluwer Academic Publishers.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. In J.-J. Meyer & J. Treur (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 427-454). Kluwer Academic Publishers.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Temporal Analysis of the Dynamics of Beliefs, Desires and Intentional. Cognitive Science Quarterly Journal, 2, 471-494.

Jonker, C.M., Treur, J. & Vries, W. de (2002). Temporal Analysis of the Dynamics of Beliefs, Desires and Intentions. Artificial intelligence preprint series.

Jonker, C.M., Treur, J. & Wijngaards, W.C.A. (2002). Temporal Languages for Simulation and Analysis of the Dynamics Within an Organisation. In B. Dunin-Keplicz & E. Nawarecki (Eds.), From Theory to Practice in Multi-Agent Systems, Proc. of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'01, 2001. Lecture Notes in AI, vol. 2296 (pp. 151-160). Springer Verlag.

Dastani, M.M., Jonker, C.M. & Treur, J. (2001). A Requirement Specification Language for Configuration Dynamics of Multi-Agent System. In M. Wooldridge, M. Ciancarini & G. Weiss (Eds.), Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Berlin, Germany: Springer Verlag.

Jonker, C.M. (1991). Cautious backtracking and well-founded semantics in truth maintenance systems. RUU-CS 91-26. Utrecht.

Jonker, C.M. (1990). Tools for the rectilinear steiner tree problem. RUU-CS 90-08. Utrecht.