If you made any changes in Pure these will be visible here soon.

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

Decision making

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

Multi agent systems
Specifications

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

Default Logic
Epistemic Temporal Logic
Fixed Point
Formalization
Common Sense

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

Knowledge based systems
Specifications

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

Multi agent systems
DNA
Genetic programming

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

Formal Semantics
Inference
Nonmonotonic Logic
Logic

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

Multi agent systems

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

Nonmonotonic Reasoning
Nature
Incomplete

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

logic
transferred electron devices
operators

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

Semantics
Temporal logic
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

Knowledge engineering
Knowledge management
Multi agent systems
Industry
Electricity