Research Output 1976 2018

Filter
Chapter
2014

Computational Modeling of Organization in Honeybee Societies Based on Adaptive Role Allocation

Hoogendoorn, M., Schut, M. C. & Treur, J. 2014 In Silico Bees. Devillers, J. (ed.). Taylor and Fancis, p. 27-44

Research output: Chapter in Book/Report/Conference proceedingChapter

2013

A Formal Approach to Building Compositional Agent-Based Simulations

Jonker, C. M. & Treur, J. 2013 Simulating Social Complexity. Edmonds, B. & Meyer, R. (eds.). Springer Verlag, p. 57-94 (Understanding Complex Systems)

Research output: Chapter in Book/Report/Conference proceedingChapter

Agent-based Modelling of Social Emotional Decision Making in Emergency Situations

Bosse, T., Hoogendoorn, M., Klein, M. C. A., Sharpanskykh, A., Treur, J., van der Wal, C. N. & van Wissen, A. 2013 Co-evolution of Intelligent Socio-technical Systems: Modelling and Applications in Large Scale Emergency and Transport Domains. Springer/Verlag, p. 79-117 39 p. (Understanding Complex Systems)

Research output: Chapter in Book/Report/Conference proceedingChapter

Ambient Support by a Personal Coach for Exercising and Rehabilitation

Bobbert, M. F., Hoogendoorn, M., van Soest, A. J., Stebletsova, V. & Treur, J. 2013 Human Aspects in Ambient Intelligence. Bosse, T., Cook, D. J., Neerincx, M. & Sadri, F. (eds.). Atlantis Press, p. 89-106 (Atlantis Ambient and Pervasive Intelligence; no. 8)

Research output: Chapter in Book/Report/Conference proceedingChapter

2012

Ambient Support for Group Emotion: an Agent-Based Model

Duell, R., Memon, Z., Treur, J. & van der Wal, C. N. 2012 Agent-Based Approaches to Ambient Intelligence. Bosse, T. (ed.). IOS Press

Research output: Chapter in Book/Report/Conference proceedingChapter

2011

Incorporating Human Aspects in Ambient Intelligence and Smart Environments

Bosse, T., Hoogendoorn, M., Klein, M. C. A., van Lambalgen, R. M., van Maanen, P. P. & Treur, J. 2011 Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives. Chong, N. Y. & Mastrogiovanni, F. (eds.). IGI Global, p. 128-164 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2010

A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems

Sharpanskykh, O. & Treur, J. 2010 Specification and Verification of Multi-Agent Systems. Dastani, M., Hindriks, K. V. & Meyer, J-J. C. (eds.). Springer Verlag, p. 317-353

Research output: Chapter in Book/Report/Conference proceedingChapter

The living cell as a multiagent organisation: a compositional organisation model of intracellular dynamic.

Jonker, C. M., Snoep, J. L., Treur, J., Westerhoff, H. V. & Wijngaards, W. C. A. 2010 Transactions on computational collective intelligence.. Nguyen, N. T. & Kowalczyk, R. (eds.). Germany: Springer-Verlag Berlin-Heidelberg, p. 160-206

Research output: Chapter in Book/Report/Conference proceedingChapter

2009

A Generic Architecture for Human-Aware Ambient Computing

Bosse, T., Hoogendoorn, M., Klein, M. C. A. & Treur, J. 2009 Agent-Based Ubiquitous Computing. Ambient and Pervasive Intelligence book series.. Mangina, E., Carbo, J. & Molina, J. M. (eds.). Atlantis Press, p. 41-71

Research output: Chapter in Book/Report/Conference proceedingChapter

2007

Incorporating emotion regulation into virtual stories

Bosse, T., Pontier, M. A., Siddiqui, G. F. & Treur, J. 2007 Proceedings of the Seventh International Conference on Intelligent Virutal Agents (IVA '07). Pelachaud, C., Martin, J. C., Andre, E., Chollet, G., Karpouzis, K. & Pele, D. (eds.). Springer Verlag, p. 339-347 9 p. (Lecture Notes in Artificial Intelligence; no. 4722)

Research output: Chapter in Book/Report/Conference proceedingChapter

2005

A System for Analysis of Multi-Issue Negotiation

Bosse, T., Jonker, C. M., van der Meij, L., Robu, V. & Treur, J. 2005 Software Agent-Based Applications, Platforms and Development Kits. Calisti, M., Klusch, M. & Unland, R. (eds.). Birkhaeuser Publishing Company, p. 253-280

Research output: Chapter in Book/Report/Conference proceedingChapter

Compositional Design and Maintenance of Broker Agents

Jonker, C. M. & Treur, J. 2005 Intelligent Agents and Their Applications. Jain, L. C., Chen, Z. & Ichalkaranje, N. (eds.). Springer Verlag, p. 149-171

Research output: Chapter in Book/Report/Conference proceedingChapter

2003

Distributed Rotation Planning for Container Barges in the Port of Rotterdam

Melis, M., Miller, I., Kentrop, M., van Eck, B., Leenarts, M., Schut, M. C. & Treur, J. 2003 Intelligent Logistics Concepts. Verduin, T. & van de Loo, B. (eds.). Eburon Publishers, p. 101-116

Research output: Chapter in Book/Report/Conference proceedingChapter

2002

Compositional Design and Reuse of a Generic Agent Model

Brazier, F. M., Jonker, C. M. & Treur, J. 2002 Agent-based Defeasible Control in Dynamic Environments. Gabbay, D. & Smets, P. (eds.). Kluwer Academic Publishers, p. 113-166

Research output: Chapter in Book/Report/Conference proceedingChapter

Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control

Brazier, F. M., Jonker, C. M. & Treur, J. 2002 Agent-based Defeasible Control in Dynamic Environments. Gabbay, D. & Smets, P. (eds.). Kluwer Academic Publishers, p. 19-64

Research output: Chapter in Book/Report/Conference proceedingChapter

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation

Brazier, F. M., Cornelissen, F. J., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. & Treur, J. 2002 Agent-based Defeasible Control in Dynamic Environments. Gabbay, D. & Smets, P. (eds.). Kluwer Academic Publishers, p. 455-476

Research output: Chapter in Book/Report/Conference proceedingChapter

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

Engelfriet, J., Jonker, C. M. & Treur, J. 2002 Agent-based Defeasible Control in Dynamic Environments. Gabbay, D. & Smets, P. (eds.). Kluwer Academic Publishers, p. 221-252

Research output: Chapter in Book/Report/Conference proceedingChapter

Modelling user preferences and mediating agents in electronic commerce

Dastani, M. M., Jacobs, N., Jonker, C. M. & Treur, J. 2002 Agent-Mediated Electronic Commerce III. Dignum, F. & Cortes, U. (eds.). Springer-Verlag, p. 163-193 (Lecture Notes in Computer Science; no. 2003)

Research output: Chapter in Book/Report/Conference proceedingChapter

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

Jonker, C. M., Treur, J. & de Vries, W. M. 2002 Agent-based Defeasible Control in Dynamic Environments. Gabbay, D. & Smets, P. (eds.). Kluwer Academic Publishers, p. 427-454

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems

Brazier, F. M., van Eck, P. A. T. & Treur, J. 2002 Agent-based Defeasible Control in Dynamic Environments. Gabbay, D. & Smets, P. (eds.). Kluwer Academic Publishers, p. 167-196

Research output: Chapter in Book/Report/Conference proceedingChapter

2001

A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering

Jonker, C. M. & Treur, J. 2001 Dynamics and Management of Reasoning Processes. Springer, p. 299-338 40 p. (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

Engelfriet, J. & Treur, J. 2001 Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Springer Verlag, p. 105-124 (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning

Cornelissen, F., Treur, J. & Jonker, C. M. 2001 Dynamics and Management of Reasoning Processes. Springer, p. 65-82 (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

Deliberate Evolution in Multi-Agent Systems

Brazier, F. M., Jonker, C. M., Treur, J. & Wijngaards, N. J. E. 2001 Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Kluwer Academic, p. 363-380 18 p. (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

Formal Semantics of Temporal Epistemic Reflection

van der Hoek, W., Meyer, J. J. & Treur, J. 2001 Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Kluwer Academic, p. 41-64 (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

Meta-level selection techniques for the control of default reasoning

Tan, Y. H., Allis, V. & Treur, J. 2001 Dynamics and Management of reasoning Processes. Meyer, J. J. C. & Treur, J. (eds.). Dordrecht: Kluwer Academic Publishers, p. 195-216

Research output: Chapter in Book/Report/Conference proceedingChapter

Modelling Internal Dynamic Behaviour of BDI Agents

Brazier, F. M., Dunin-Keplicz, B. M., Treur, J. & Verbrugge, R. 2001 Dynamics and Management of Reasoning Processes.. Gabbay, D. (ed.). Kluwer Academic, p. 339-361 43 p. (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

Specification of nonmonotonic reasoning

Engelfriet, J. & Treur, J. 2001 Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Kluwer Academic, p. 83-103 (Series in Defeasible Reasoning and Uncertainty Management Systems,; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

Temporalized Epistemic Default Logic

van der Hoek, W., Meyer, J. J. & Treur, J. 2001 Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Kluwer Academic, p. 177-194 (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning

Treur, J. 2001 Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Kluwer Academic, p. 15-39 (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6)

Research output: Chapter in Book/Report/Conference proceedingChapter

1999

Agenttechnologie

Jonker, C. M. & Treur, J. 1999 ICT-zakboekje. Bemelmans, T. M. A., de Bra, P. M. E., Looijen, M. & van Oortmerssen, G. (eds.). Koninklijke PBNA, p. 506-514

Research output: Chapter in Book/Report/Conference proceedingChapter

1996

Modelling Distributed Industrial Processes in a Multi-Agent Framework

Brazier, F. M., Dunin-Keplicz, B. M., Jennings, N. R. & Treur, J. 1996 Cooperative Knowledge Processing: The Key Technology for Intelligent Organisations. Kirn, S. & O'Hare, G. (eds.). Springer/Verlag, p. 212-229 18 p. (Computer Supported Cooperative Work Series)

Research output: Chapter in Book/Report/Conference proceedingChapter