Research Output 1976 2018

Filter
Chapter
2017

An agent-based evacuation model with social contagion mechanisms and cultural factors

van der Wal, C. N., Formolo, D. & Bosse, T., 2017, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer/Verlag, p. 620-627 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10350 LNCS)

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Fires
Costs

Human vs. Computer performance in voice-based recognition of interpersonal stance

Formolo, D. & Bosse, T., 2017, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer/Verlag, p. 672-686 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10271)

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Experiments

Model-Based Reasoning in Crime Prevention

Gerritsen, C. & Bosse, T., 2017, Handbook of Model-Based Science. Magnani, L. & Bertolotti, T. (eds.). Springer Verlag

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

On Computational Models of Emotion Regulation and Their Applications Within HCI

Bosse, T., 2017, Emotions and Affect in Human Factors and Human-Computer Interaction. Jeon, M. (ed.). Elsevier

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

2013

Adaptive autonomy in unmanned ground vehicles using trust models

Toubman, A., Hoogendoorn, M. & van Maanen, P. P., 2013, Human Aspects in Ambient Intelligence. Bosse, T., Cook, D. J., Neerincx, M. & Sadri, F. (eds.). p. 21-37 (Atlantis Ambient and Pervasive Intelligence; no. 8)

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademic

Estimating mental states of a depressed person with bayesian networks

Klein, M. C. A. & Modena, G., 2013, Contemporary Challenges and Solutions in Applied Artificial Intelligence. Vol. 489, p. 163-168 6 p. (Studies in Computational Intelligence; vol. 489)

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Open Access
Bayesian networks
Probability distributions

Modeling and Analysis of Safety Culture of Air Traffic Organizations in the National Culture Context

Sharpanskykh, O. & Stroeve, S., 2013, Integrating Cultures: Formal Models and Agent-Based Simulations. Springer Verlag

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

Incorporating an Ambient Agent to Support People with a Cognitive Vulnerability

Aziz, A. A. & Klein, M. C. A., 2012, Human-Computer Interaction: The Agency Perspective. Zacarias, M. & Valente de Oliveira, J. (eds.). Springer/Verlag, Vol. 396, p. 169-192 24 p. (Studies in Computational Intelligence; no. 396)

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Intelligent agents
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 proceedingChapterAcademicpeer-review

2010

Agent-based Modelling and Analysis of Air Traffic Organisations

Sharpanskykh, O., 2010, Intelligent Systems for Knowledge Management. Nguyen, N. T. & Szczerbicki, E. (eds.). Springer Verlag, p. 251-274

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

Modeling and Implementation of Formal Power Structures in Enterprise Information Systems

Sharpanskykh, O., 2010, Organizational Advancements through Enterprise Information Systems: Emerging Applications and Developments. Gunasekaran, A. & Shea, T. (eds.). IGI Global, p. 174-188

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademic

2006

Agent-based analysis and support for incident management

Hoogendoorn, M., Jonker, C. M., Treur, J. & Verhaegh, M., 2006, COOPERATIVE INFORMATION AGENTS X, PROCEEDINGS. Vol. 4149, p. 109-123 (LECTURE NOTES IN COMPUTER SCIENCE)

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

Formal Semantics
Inference
Nonmonotonic Logic
Logic

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

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 proceedingChapterAcademicpeer-review

Semantics
Temporal logic