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

Research Output 1976 2019

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

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

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

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

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

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

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

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 proceedingChapterAcademic

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

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

Knowledge engineering
Knowledge management
Multi agent systems
Industry
Electricity