Research Output 1976 2019

Filter
Conference contribution
2004

Formal Analysis of Empirical Traces in Incident Management

Hoogendoorn, M., Jonker, C. M., Konur, S., van Maanen, P., Popova, V., Sharpanskykh, O., Treur, J., Xu, L. & Yolum, P., 2004, Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Macintosh, A., Ellis, R. & Allen, T. (eds.). Springer Verlag, p. 237-250

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Human experiments in trust dynamics

Jonker, C. M., Schalken, J. J. P., Theeuwes, J. & Treur, J., 2004, Trust Management. iTrust 2004.. Springer/Verlag, Vol. 2995. p. 206-220 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2995).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modelling Shared Extended Mind and Collective Representational Content

Bosse, T., Jonker, C. M., Schut, M. C. & Treur, J., 2004, Research and Development in Intelligent Systems XXI - Proceedings of the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Bramer, M., Coenen, F. & Allen, T. (eds.). Springer Verlag, p. 19-32

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modelling the Organisation of Organisational Change

Hoogendoorn, M., Jonker, C. M., Schut, M. C. & Treur, J., 2004, Proceedings of the Sixth International Workshop on Agent-Oriented Information Systems. Giorgini, P. & Winikoff, M. (eds.). p. 29-46

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Principles of Component-Based Multi-Agent Systems Design

Brazier, F. M., Jonker, C. M. & Treur, J., 2004, Knowledge Engineering and Agent Technology. IOS Press, p. 89-113

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Representational Content and the Reciprocal Interplay of Agent and Environment (extended abstract)

Bosse, T., Jonker, C. M. & Treur, J., 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'04). Jennings, N. R., Sierra, C., Sonenberg, L. & Tambe, M. (eds.). ACM Press, p. 1408-1409

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Self-Organizing Referral Networks: A Process View of Trust andauthority

Yolum, P. & Singh, M., 2004, Engineering Self-Organising Systems. Serugendo, G. D. M., Karageorgos, A., Rana, O. F. & Zambonelli, F. (eds.). Springer, p. 195-211 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Service Graphs for Building Trust

Yolum, P. & Singh, M., 2004, CoopIS/DOA/ODBASE. Meersman, R. & Tari, Z. (eds.). Springer, p. 509-525 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

The utilization of human color categorization for content-based image retrieval

van den Broek, E. L., Kisters, P. M. F. & Vuurpijl, L. G., 2004, Proceedings of Human Vision and Electronic Imaging IX. Rogowitz, B. E. & Pappas, T. N. (eds.). SPIE - The International Society for Optical Engineering, p. 351-362

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2003

A Framework for E-markets: Monitoring Contract Fulfillment

Xu, L., 2003, WES. Bussler, C., Fensel, D., Orlowska, M. E. & Yang, J. (eds.). Springer, p. 51-61 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Analysis of Adaptive Dynamical Systems for Eating Regulation Disorders

Bosse, T., Delfos, M. F., Jonker, C. M. & Treur, J., 2003, Proceedings of the 25th Annual Conference of the Cognitive Science Society (CogSci'03). Lawrence Erlbaum Associates, p. 168-173

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Combining Exploration and Reliability in Coevolution

de Jong, E. D., 2003, Proceedings of the Fifteenth Belgium-Netherlands Conference on Artificial Intelligence, BNAIC-2003.. Heskes, T., Lucas, P., Vuurpijl, L. & Wiegerinck, W. (eds.). p. 179-186

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Emergent Properties of Referral Systems

Yolum, P. & Singh, M., 2003, Proceedings of the 2nd International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS). ACM Press, p. 592-599

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Monitorable Electronic Contract

Xu, L., 2003, Proceedings of the IEEE International Conference on E-Commerce (CEC 2003). IEEE Computer Society Press, p. 92-99

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Organisational change: Deliberation and modification

Jonker, C. M., Schut, M. C. & Treur, J., 2003, Cooperative Information Agents VII. CIA 2003.. Springer/Verlag, Vol. 2782. p. 336-344 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2782 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

Bosse, T., Jonker, C. M. & Treur, J., 2003, Proceedings of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions. Sun, R. (ed.). p. 124-129

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Relating structure and dynamics in organisation models

Jonker, C. M. & Treur, J., 2003, Multi-Agent-Based Simulation II. MABS 2002.. Springer/Verlag, Vol. 2581. p. 50-69 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2581).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Representational Content and Agent-Environment Interaction (extended abstract)

Bosse, T., Jonker, C. M. & Treur, J., 2003, Proceedings of the European Cognitive Science Conference (EuroCogSci'03). Schmalhofer, F., Young, R. M. & Katz, G. (eds.). Lawrence Erlbaum Associates, p. 375

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Representational Content and the Reciprocal Interplay of Agent and Environment

Bosse, T., Jonker, C. M. & Treur, J., 2003, Proceedings of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions. Sun, R. (ed.). p. 19-28

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Resolving Commitments among Autonomous Agents

Mallya, A. U., Yolum, P. & Singh, M., 2003, Workshop on Agent Communication Languages. Dignum, F. (ed.). Springer, p. 166-182 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Simulation and Analysis of Controlled Multi-Representational Reasoning Processes

Bosse, T., Jonker, C. M. & Treur, J., 2003, Proceedings of the Fifth International Conference on Cognitive Modeling (ICCM'03). Detje, F., Doerner, D. & Schaub, H. (eds.). Universitats-Verlag Bamberg, p. 27-32

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Trustworthy Service Caching: Cooperative Search in P2P Information Systems

Udupi, YB., Yolum, P. & Singh, M., 2003, AOIS. Giorgini, P., Henderson-Sellers, B. & Winikoff, M. (eds.). Springer, p. 32-44 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2002

A Dynamic Perspective on an Agent's Mental States and Interaction with its Environment

Jonker, C. M. & Treur, J., 2002, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'02. Castelfranchi, C. & Johnson, W. L. (eds.). ACM Press, p. 865-872

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

An Agent-Based Approach for Trustworthy Service Location

Yolum, P. & Singh, M., 2002, AP2PC. Moro, G. & Koubarakis, M. (eds.). Springer, p. 45-56 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Analysis of the Dynamics of Reasoning Using Multiple Representations

Jonker, C. M. & Treur, J., 2002, Proceedings of the 24th Annual Conference of the Cognitive Science Society, CogSci 2002. Gray, W. D. & Schunn, C. D. (eds.). Lawrence Erlbaum Associates Inc., p. 512-517

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems

Dastani, M. M., Jonker, C. M. & Treur, J., 2002, Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE'01. Wooldridge, M., Weiss, G. & Ciancarini, P. (eds.). Springer Verlag, p. 169-187

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

BDI-Modelling of Intracellular Dynamics

Jonker, C. M., Snoep, J. L., Treur, J., Westerhoff, H. V. & Wijngaards, W. C. A., 2002, Proceedings of the First International Workshop on Bioinformatics and Multi-Agent Systems, BIXMAS'02. Williams, A. B. & Decker, K. (eds.). p. 15-23

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Compositional Design and Maintenance of Broker Agents

Jonker, C. M. & Treur, J., 2002, 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 proceedingConference contributionAcademicpeer-review

Extended abstract: BDI-Modelling of Intracellular Dynamics

Jonker, C. M., Snoep, J. L., Treur, J., Westerhoff, H. V. & Wijngaards, W. C. A., 2002, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'02. Castelfranchi, C. & Johnson, W. L. (eds.). ACM Press, p. 465-466

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

On partially mdps and bdi models

Schut, M. C., Wooldridge, M. & Parsons, S. D., 2002, Foundations and Applications of Multi-Agent Systems, UKMAS 1996-2000. d’Inverno, M., Luck, M., Fisher, M. & Preist, C. (eds.). Springer Verlag, p. 243-260

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Requirements Specification and Automated Evaluation of Dynamic Properties of a Component-Based Design

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2002, Artificial Intelligence in Design '02, Proceedings of the Seventh International Conference on AI in Design, AID'02. Gero, J. (ed.). Kluwer Academic Publishers, p. 547-570

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2001

An Agent Architecture for Multi-Attribute Negotiation

Jonker, C. M. & Treur, J., 2001, Proceedings of the 17th International Joint Conference on Artificial Intelligence, IJCAI 2001. Nebel, B. (ed.). Morgan Kaufman, p. 1195-1201 7 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Railroad cars

Dynamics Within an Organisation: Temporal Specification, Simulation and Evaluation

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2001, Proceedings of the 3rd International Conference on Cognitive Science, ICCS 2001. Chen, L. (ed.). USTC Press, Beijing, p. 546-550 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modeling User Preferences and Mediating Agents in Electronic Commerce

Dastani, M. M., Jacobs, N., Jonker, C. M. & Treur, J., 2001, Agent Mediated Electronic Commerce. Dignum, F. & Sierra, C. (eds.). Berlijn: Springer/Verlag, p. 164-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1991 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Electronic commerce
Inductive logic programming (ILP)
Autonomous agents
Intelligent agents
Learning systems

Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment

Jonker, C. M., Treur, J. & de Vries, W., 2001, Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000). Ciancarini, P. & Wooldridge, M. J. (eds.). Limerick: Springer/Verlag, p. 253-268 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1957).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Reusability

Temporal and Interactionist Perspectives on the Dynamics of Mental States

Jonker, C. M. & Treur, J., 2001, Proceedings of the 3rd International Conference on Cognitive Science, ICCS 2001. Chen, L. (ed.). USTC Press, Beijing, p. 551-556 6 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

semantics
interactions

Temporal Modelling of Intentional Dynamics

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2001, Proceedings of the 3rd International Conference on Cognitive Science, ICCS 2001. Chen, L. (ed.). USTC Press, Beijing, p. 344-349

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Temporal Modelling of the Dynamics of Intentional Bacterial Behaviour

Jonker, C. M., Snoep, J. L., Treur, J., Westerhoff, H. V. & Wijngaards, W. C. A., 2001, Proceedings of the 4h International Workshop on Information Processing in Cells and Tissues, IPCAT 2001. Cottam, R. (ed.). p. 177-188 12 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts

Jonker, C. M., Treur, J. & de Vries, W., 2001, Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01. Demazeau, Y. (ed.).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Social Context
External Representations
Grounding
Language
Intentions

Trust Dynamics Formalised in Temporal Logic

Marx, M. & Treur, J., 2001, Proceedings of the 3rd International Conference on Cognitive Science, ICCS 2001. USTC Press, Beijing, p. 359-363 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2000

Adding formal semantics to the Web: building on top of RDF Schema.

Broekstra, J., Klein, M. C. A., Fensel, D. A., Decker, S. & Horrocks, I., 2000, Proceedings of the Workshop Semantic Web: Models, Architectures and Management.. Lisbon

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

An Executable Model of the Interaction between Verbal and Non-Verbal Communication

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2000, Issues in Agent Communication. Dignum, F. & Greaves, M. (eds.). Berlijn: Springer/Verlag, p. 331-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1916).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Communication
Network protocols

Deliberate Evolution in Multi-Agent Systems

Brazier, F. M., Jonker, C. M., Treur, J. & Wijngaards, N. J. E., 2000, Artificial Intelligence in Design '00. Proceedings of the 6th International Conference on AI in Design, AID'00.. Gero, J. (ed.). Kluwer Academic, p. 633-650 18 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Multi agent systems
Genetic engineering

Design of Collaborative Information Agents

Jonker, C. M., Klusch, M. & Treur, J., 2000, Cooperative Information Agents IV: The Future of Information Agents in Cyberspace - 4th International Workshop, CIA 2000, Proceedings. Klusch, M. & Kerschberg, L. (eds.). Berlijn: Springer/Verlag, Vol. 1860. p. 262-283 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1860).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Specifications
Requirements
Specification
Design Patterns
Plug-in

Knowledge-Intensive Gathering and Integration of Statistical Information on European Fisheries

Klinkert, M., Treur, J. & Verwaart, T., 2000, Intelligent Problem Solving: Methodologies and Approaches - 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, Proceedings. Loganantharaj, R., Palm, G. & Ali, M. (eds.). Springer/Verlag, Vol. 1821. p. 230-235 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1821).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fisheries
Economics
Agent Technology
Statistics
Maintenance

OIL in a nutshell.

Fensel, D. A., Horrocks, I., van Harmelen, F. A. H., Decker, S., Erdmann, M. & Klein, M. C. A., 2000, Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({EKAW}'00).. Dieng, R. (ed.). Springer-Verlag

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Organization Models and Behavioural Requirements Specification for Multi-Agent Systems (short version)

Ferber, J., Gutknecht, O., Jonker, C. M., Mueller, J. P. & Treur, J., 2000, Proceedings - 4th International Conference on MultiAgent Systems, ICMAS 2000. Los Alamitos, CA: Institute of Electrical and Electronics Engineers, Inc., p. 387-388 2 p. 858488

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Multi agent systems
Specifications

The relation between ontologies and schema-languages: Translating OIL-specifications in XML Schema.

Klein, M. C. A., Fensel, D. A., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 7.1-7.12

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File
1999

A Multi-Agent Architecture for an Intelligent Website in Insurance

Jonker, C. M., Lam, R. A. & Treur, J., 1999, Cooperative Information Agents III - 3rd International Workshop, CIA 1999, Proceedings. Springer/Verlag, Vol. 1652. p. 86-100 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1652).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Agent Architecture
Insurance
Websites
Multi agent systems
Multi-agent Systems

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

Engelfriet, J., Jonker, C. M. & Treur, J., 1999, Intelligent Agents V: Agents Theories, Architectures, and Languages - 5th International Workshop, ATAL 1998, Proceedings. Springer/Verlag, Vol. 1555. p. 177-194 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1555).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Compositional Verification
Epistemic Logic
Temporal Logic
Multi agent systems
Multi-agent Systems