Research Output 1976 2019

2003

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

Experimental Swarm Design

Wan, ADM., 2003, In : Lecture Notes in Computer Science. 2564, p. 92-105

Research output: Contribution to JournalArticleAcademicpeer-review

Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection

Hoek, W., Meyer, J. J. C. & Treur, J., 2003, In : International journal of intelligent systems. 18, p. 1293-1318

Research output: Contribution to JournalArticleAcademicpeer-review

Formal Semantics
Reasoning
Semantics
Epistemic Logic
Architecture

Intelligent Support for Solving Classification Differences in Statistical Information Integration

Jonker, C. M. & Verwaart, D., 2003, In : Lecture Notes in Computer Science. 2718, p. 437-446

Research output: Contribution to JournalArticleAcademicpeer-review

Learning the Ideal Evaluation Function

de Jong, E. D. & Pollack, J. B., 2003, In : Lecture Notes in Computer Science. 2723, p. 274-285

Research output: Contribution to JournalArticleAcademicpeer-review

Modelling the Dynamics of Organisational Change

Jonker, C. M., Schut, M. C. & Treur, J., 2003, In : Lecture Notes in Computer Science. 2782, p. 336-344

Research output: Contribution to JournalArticleAcademicpeer-review

Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption

Jonker, C. M. & Treur, J., 2003, In : Cognitive Systems Research. 4, p. 119-136

Research output: Contribution to JournalArticleAcademicpeer-review

Systems Theory
System theory
Dynamical systems
Natural Language Processing
Language

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

Multi-Interpretation Operators and Approximate Classification

Engelfriet, J. & Treur, J., 2003, In : International Journal of Approximate Reasoning. 32, p. 43-61

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Attribute
Operator
Imperfect
Default Logic
Nonmonotonic Reasoning

Multi-Objective Methods for Tree Size Control

de Jong, E. D. & Pollack, J. B., 2003, In : Genetic programming and evolvable machines. 4, 3, p. 211-233

Research output: Contribution to JournalArticleAcademicpeer-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

Pro-active Monitoring of Electronic Contracts

Xu, L. & Jeusfeld, M. A., 2003, In : Lecture Notes in Computer Science. 2681, CAiSE 2003, p. 584-600

Research output: Contribution to JournalArticleAcademicpeer-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 an Organisation Model

Jonker, C. M. & Treur, J., 2003, In : Lecture Notes in Computer Science. 2581, p. 50-69

Research output: Contribution to JournalArticleAcademicpeer-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

Representation Development from Pareto-Coevolution

de Jong, E. D., 2003, In : Lecture Notes in Computer Science. 2723, p. 277-288

Research output: Contribution to JournalArticleAcademicpeer-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

Temporal and Spatial Analysis to Personalise an Agent's Dynamic Belief, Desire, and Intention Profiles

Jonker, C. M., Terziyan, V. & Treur, J., 2003, In : Lecture Notes in Computer Science. 2782, p. 298-315

Research output: Contribution to JournalArticleAcademicpeer-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 Compositional Knowledge Level Process Model of Requirements Engineering

Herlea, D. E., Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2002, In : International Journal of Software Engineering and Knowledge Engineering. 12, p. 41-76

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Requirements engineering
Specifications

A Compositional Process Control Model and its Application to Biochemical Processes

Jonker, C. M. & Treur, J., 2002, In : Applied Artificial Intelligence. 16, p. 51-71

Research output: Contribution to JournalArticleAcademicpeer-review

Process control
Planning

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

Agent-Based Modelling of Dynamics: Biological and Organisational Applications

Wijngaards, W. C. A., 2002

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Agent Interaction: Abstract Approaches to Modelling, Programming and Verifying Multi-Agent Systems

de Vries, W. M., 2002

Research output: PhD ThesisPhD Thesis - Research VU, graduation externalAcademic

A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2002, In : Lecture Notes in Computer Science. 2296, p. 141-150

Research output: Contribution to JournalArticleAcademicpeer-review

A Multi-Agent System Performing One-to-Many Negotiation for Load Balancing of Electricity Use

Brazier, F. M., Cornelissen, F. J., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. & Treur, J., 2002, In : Electronic Commerce Research and Applications. 1, p. 208-224

Research output: Contribution to JournalArticleAcademicpeer-review

Multi agent systems
Resource allocation
Electricity
Industry
Deregulation

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 multi-interpretable ecological monitoring information

Brazier, F., Engelfriet, J. & Treur, J., Jan 2002, In : Applied Artificial Intelligence. 16, 1, p. 29-50 22 p.

Research output: Contribution to JournalArticleAcademicpeer-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

A Semantical Perspective on Verification of Knowledge

Leemans, N. E. M., Treur, J. & Willems, M., 2002, In : Data and Knowledge Engineering. 40, p. 33-70

Research output: Contribution to JournalArticleAcademicpeer-review

Language
Nature
Logic
Knowledge representation
Ad hoc

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

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: a Formal Analysis of Pro-activeness and Reactiveness

Jonker, C. M. & Treur, J., 2002, In : International Journal of Cooperative Information Systems. 11, p. 51-92

Research output: Contribution to JournalArticleAcademicpeer-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

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

Engelfriet, J., Jonker, C. M. & Treur, J., 2002, In : Journal of Logic, Language and Information. 11, p. 195-225

Research output: Contribution to JournalArticleAcademicpeer-review

Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements

Jonker, C. M., Letia, I. A. & Treur, J., 2002, In : Lecture Notes in Computer Science. 2222, p. 17-32

Research output: Contribution to JournalArticleAcademicpeer-review

Dynamics and Control in Component-Based Agent Models

Brazier, F. M., Jonker, C. M. & Treur, J., 2002, In : International journal of intelligent systems. 17, 11, p. 1007-1047

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Agent-based Model
Semantics
Specification
Specifications
Trace

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

Formal Semantics of Meta-Level Architectures: Dynamic Control of Reasoning

Treur, J., 2002, In : International journal of intelligent systems. 17, p. 545-568

Research output: Contribution to JournalArticleAcademicpeer-review

Formal Semantics
Dynamic Control
Reasoning
Semantics
System Modeling

Intention Reconsideration

Woolridge, M., 2002

Research output: PhD ThesisPhD Thesis - Research external, graduation externalAcademic

Interlevel Relations in Computer Science, Biology, and Psychology

Boogerd, F., Bruggeman, F. J., Jonker, C. M., de Jong, H. L., Tamminga, A. M., Treur, J., Westerhoff, H. V. & Wijngaards, W. C. A., 2002, In : Philosophical Psychology. 15, p. 463-471

Research output: Contribution to JournalArticleAcademicpeer-review

Psychology
Inter-level Relations
Computer Science
Observation

Inter-level relations in computer science, biology and psychology

Boogerd, F. C., Bruggeman, F. J., Jonker, C. M., Looren De Jong, H., Tamminga, A. M., Treur, J., Westerhoff, H. V. & Wijngaards, W. C. A., 2002, In : Philosophical Psychology. 15, p. 463-471

Research output: Contribution to JournalArticleAcademicpeer-review

Psychology
Inter-level Relations
Computer Science
Observation