Research Output 1976 2019

Filter
Chapter

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

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

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

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

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

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

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

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

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
Incomplete
Fixed Point
Default Reasoning

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Modelling of Emotional Contagion in Soccer Fans

Jutte, B. & van der Wal, C. N., 24 Sep 2018, Transactions on Computational Collective Intelligence XXX. Thanh Nguyen, N. & Kowalczyk, R. (eds.). Chamonix: Springer Nature Switzerland AG, p. 25-53 (Lecture Notes in Computer Science; vol. 11120).

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

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

On Conversational Agents with Mental States

Bosse, T. & Provoost, S., 2015, Intelligent Virtual Agents: 15th International Conference, IVA 2015 Delft, The Netherlands, August 26 – 28, 2015 Proceedings. Brinkman, W. P., Broekens, J. & Heylen, D. (eds.). LNAI 9238, Vol. 9238. p. 60-64 5 p. (Lecture Notes in Computer Science; vol. 9238).

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

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

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