Research Output 1976 2019

Filter
Article
2007

Simulation and Analysis of Adaptive Agents: an Integrative Modelling Approach

Bosse, T., Jonker, C. M. & Treur, J., 2007, In : Advances in Complex Systems. 10, 3, p. 335-357

Research output: Contribution to JournalArticleAcademicpeer-review

Simulation and Analysis of Controlled Multi-Representational Reasoning Processes

Bosse, T., Jonker, C. M. & Treur, J., 2007, In : Applied Artificial Intelligence. 21, 10, p. 973-1018

Research output: Contribution to JournalArticleAcademicpeer-review

Navigation

Simulation and Formal Analysis of Visual Attention in Cognitive Systems

Bosse, T., van Maanen, P. & Treur, J., 2007, In : Lecture Notes in Computer Science. 4840, p. 463-480

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Specification, Analysis and Simulation of the Dynamics Within an Organisation

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2007, In : Applied Intelligence. 27, p. 131-152

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Specification languages
Industry

Temporal Factorisation: a Unifying Principle for Dynamics of the World and of Mental States

Treur, J., 2007, In : Cognitive Systems Research. 8, p. 57-74

Research output: Contribution to JournalArticleAcademicpeer-review

Factorization
Cognitive Science
Mathematics
Physics
Computer science

Temporal Factorisation: Realisation of Mediating State Properties for Dynamics

Treur, J., Jun 2007, In : Cognitive Systems Research. 8, 2, p. 75-88 14 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Cognitive Science
Knowledge based systems
Factorization
Computer science
Artificial intelligence
2006

Agent-Based Analysis and Support for Incident Management

Hoogendoorn, M., Jonker, C. M., Treur, J. & Verhaegh, M., 2006, In : Lecture Notes in Computer Science. 4149, p. 109-123

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

A Meta-Level Architecture for Strategic Reasoning in Naval Planning

Hoogendoorn, M., Jonker, C. M., van Maanen, P. P. & Treur, J., 2006, In : Lecture Notes in Computer Science. 3529, p. 216-230

Research output: Contribution to JournalArticleAcademicpeer-review

Reasoning
Planning
Simulation
Agent-based Model
Trace

An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning

Hoogendoorn, M., Jonker, C. M., van Maanen, P. & Treur, J., 2006, In : Lecture Notes in Computer Science. 3529, p. 216-230

Research output: Contribution to JournalArticleAcademicpeer-review

Automated Evaluation of Coordination Approaches

Bosse, T., Hoogendoorn, M. & Treur, J., 2006, In : Lecture Notes in Computer Science. 4038, p. 44-62

Research output: Contribution to JournalArticleAcademicpeer-review

Collective Representational Content for Shared Extended Mind

Bosse, T., Jonker, C. M., Schut, M. C. & Treur, J., 2006, In : Cognitive Systems Research. 7, 2-3, p. 151-174

Research output: Contribution to JournalArticleAcademicpeer-review

Communication
Ants
Intelligence

Emerging Artificial Societies Through Learning

Gilbert, N., Besten, M., Bontovics, A., Craenen, B. G. W., Divina, F., Eiben, A. E., Griffioen, A. R., Hevizi, G., Lorincz, A., Paechter, B., Schuster, S., Schut, M. C., Tzolov, C., Vogt, P. A. & Yang, L., 2006, In : Journal of Artificial Societies and Social Simulation. 9, 2

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence

Bosse, T. & Treur, J., 2006, In : Lecture Notes in Computer Science. 3891, p. 58-74

Research output: Contribution to JournalArticleAcademicpeer-review

Formal Interpretation of a Multi-Agent Society as a Single Agent

Bosse, T. & Treur, J., 2006, In : Journal of Artificial Societies and Social Simulation. 9, 2

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Formalisation and Analysis of the Temporal Dynamics of Conditioning

Bosse, T., Jonker, C. M., Los, S. A., van der Torre, L. W. N. & Treur, J., 2006, In : Lecture Notes in Computer Science. 3950, p. 54-68

Research output: Contribution to JournalArticleAcademicpeer-review

Formalization and Analysis of Reasoning by Assumption

Bosse, T., Jonker, C. M. & Treur, J., 2006, In : Cognitive Science. 30, 1, p. 147-180 34 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Cognitive Science
Experiments

Formal Modeling and Analysis of Organizations

van den Broek, E. L., Jonker, C. M., Sharpanskykh, O., Treur, J. & Yolum, P., 2006, In : Lecture Notes in Computer Science. 3913, p. 18-34

Research output: Contribution to JournalArticleAcademicpeer-review

Formation of Virtual Organizations Through Negotiation

Hoogendoorn, M. & Jonker, C. M., 2006, In : Lecture Notes in Computer Science. 4196, p. 135-146

Research output: Contribution to JournalArticleAcademicpeer-review

Modeling Organizational Change for Naval Missions

Hoogendoorn, M., Jonker, C. M., Schut, M. C. & Treur, J., 2006, In : WSEAS Transactions on Systems. 5, p. 532-543

Research output: Contribution to JournalArticleAcademicpeer-review

Modelling Adaptive Dynamical Systems to Analyze Eating Regulation Disorders

Bosse, T., Delfos, M. F., Jonker, C. M. & Treur, J., 2006, In : Simulation. 82, 3, p. 159-171

Research output: Contribution to JournalArticleAcademicpeer-review

Disorder
Dynamical systems
Dynamical system
Dynamic Properties
Reasoning

Redesign of Organizations as a Basis for Organizational Change

Hoogendoorn, M., Jonker, C. M. & Treur, J., 2006, In : Lecture Notes in Computer Science. 4386, p. 46-62

Research output: Contribution to JournalArticleAcademicpeer-review

Requirements Analysis of an Agent's Reasoning Capability

Bosse, T., Jonker, C. M. & Treur, J., 2006, In : Lecture Notes in Computer Science. 3529, p. 48-63

Research output: Contribution to JournalArticleAcademicpeer-review

2005

A meta-level architecture for strategic reasoning in naval planning (extended abstract)

Hoogendoorn, M., Jonker, C. M., Van Maanen, P. P. & Treur, J., 2005, In : Belgian/Netherlands Artificial Intelligence Conference. p. 401-402 2 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Content-Based Image Retrieval Benchmarking: Utilizing Color Categories and Color Distributions

van den Broek, E. L., Kisters, P. M. F. & Vuurpijl, L. G., 2005, In : JIST. p. 49(3),293-301

Research output: Contribution to JournalArticleAcademicpeer-review

Integration of behavioural requirements specification within compositional knowledge engineering

Damian, D. E., Jonker, C. M., Treur, J. & Wijngaards, N. J. E., 2005, In : Knowledge-Based Systems. 18, 7, p. 353-365

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge engineering
Specifications
Requirements specification
Ontology

LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn (extended abstract)

Bosse, T., Jonker, C. M., van der Meij, L. & Treur, J., 2005, In : Lecture Notes in Computer Science. 3533, p. 363-366 4 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Language
Dynamic Process
Simulation
Software
Trace

Mapping visual to textual knowledge representation

Jonker, C. M., Kremer, R., van Leeuwen, P. A., Pan, D. & Treur, J., 2005, In : Knowledge-Based Systems. 18, 7, p. 367-378

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge representation
Multi agent systems
Specifications
Graph
Multi-agent systems

Modelling User Preferences and Mediating Agents in Electronic Commerce

Dastani, M. M., Jacobs, N., Jonker, C. M. & Treur, J., 2005, In : Knowledge-Based Systems. 18, p. 335-352

Research output: Contribution to JournalArticleAcademicpeer-review

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

Performance Measurement and Control in Logistics Service Providing

Krauth, E., Moonen, H., Popova, V. & Schut, M. C., 2005, In : Icfaian Journal of Management Research. 7, IV, p. 7-19

Research output: Contribution to JournalArticleAcademicpeer-review

Simulation and Analysis of a Shared Extended Mind

Bosse, T., Jonker, C. M., Schut, M. C. & Treur, J., 2005, In : Simulation. 81, 10, p. 719-732

Research output: Contribution to JournalArticleAcademicpeer-review

Animals
Collective Intelligence
Simulation
Formal Analysis
Local Properties

Simulation and Analysis of Shared Extended Mind

Bosse, T., Jonker, C. M., Schut, M. C. & Treur, J., 2005, In : Lecture Notes in Computer Science. 3415, p. 248-264

Research output: Contribution to JournalArticleAcademicpeer-review

Simulation and Analysis of Shared Extended Mind

Bosse, T., Jonker, C. M., Schut, M. C. & Treur, J., 2005, In : Simulation. 81, 10, p. 719-732

Research output: Contribution to JournalArticleAcademicpeer-review

Animals
Collective Intelligence
Simulation
Formal Analysis
Local Properties

States of Change: Explaining Dynamics by Anticipatory State Properties

Treur, J., 2005, In : Philosophical Psychology. 18, 4, p. 441-471

Research output: Contribution to JournalArticleAcademicpeer-review

Systems Theory
Cognitive Science
Mathematics
Physics
Change of State

The Distributed Weighing Problem: a Lession in Cooperation without Communication

Bosse, T., Hoogendoorn, M. & Jonker, C. M., 2005, In : Lecture Notes in Computer Science. 3550, p. 191-203

Research output: Contribution to JournalArticleAcademicpeer-review

2004

Agent Models and Different User Ontologies for an Electronic Market Place

Albers, M., Jonker, C. M., Karami, M. & Treur, J., 2004, In : Knowledge and Information Systems. 6, 1, p. 1-41

Research output: Contribution to JournalArticleAcademicpeer-review

A multi-party contract model

Xu, L., 2004, In : SIGecom Exchanges. 5, 1, p. 13-23

Research output: Contribution to JournalArticleAcademicpeer-review

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

Dastani, M., Jonker, C. M. & Treur, J., 2004, In : International journal of intelligent systems. 19, p. 277-300

Research output: Contribution to JournalArticleAcademicpeer-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., 2004, In : Applied Intelligence. 20, 2, p. 95-117

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Multi agent systems
Network protocols
Resource allocation
Electricity

Formal Analysis of Empirical Traces in Incident Management

Macintosh, A., Ellis, R. & Allen, T., 2004, In : Unknown journal. p. 237-250

Research output: Contribution to JournalArticleAcademicpeer-review

Organisation Modelling for the Dynamics of Complex Biological Processes

Bosse, T., Jonker, C. M. & Treur, J., 2004, In : Lecture Notes in Computer Science. 2934, p. 92-112

Research output: Contribution to JournalArticleAcademicpeer-review

Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols

Yolum, P. & Singh, M., 2004, In : Annals of Mathematics and Artificial Intelligence. 42, 1-3, p. 227-253

Research output: Contribution to JournalArticleAcademicpeer-review

The Theory and Practice of Intention Reconsideration

Schut, M. C., Wooldridge, M. & Parsons, S. D., 2004, In : Journal of experimental and theoretical artificial intelligence. 16, 4, p. 261-293

Research output: Contribution to JournalArticleAcademicpeer-review

Determinism
Rate of change
Predictability
Dynamic Environment
Accessibility
2003

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

Engelfriet, J. & Treur, J., 2003, In : International journal of intelligent systems. 18, p. 593-608

Research output: Contribution to JournalArticleAcademicpeer-review

Nonmonotonic Reasoning
PROLOG (programming language)
Reasoning
Multi agent systems
Computer programming languages

A Critical Exposition of Isaac Levi's Epistemology

Tamminga, A. M., 2003, In : Logique et Analyse. 183, p. 447-478

Research output: Contribution to JournalArticleAcademicpeer-review

A Distributed Learning Algorithm for Communication Development

de Jong, E. D. & Steels, L., 2003, In : Complex systems. 14, 4, p. 315-334

Research output: Contribution to JournalArticleAcademicpeer-review

A Temporal-Interactivist Perspective on the Dynamics of Mental States

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

Research output: Contribution to JournalArticleAcademicpeer-review

Semantics
Language

A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2003, In : Cognitive Systems Research. 4, p. 191-210

Research output: Contribution to JournalArticleAcademicpeer-review

Language
Software

Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods

Cornelissen, F. J., Jonker, C. M. & Treur, J., 2003, In : Knowledge and Information Systems. 5, p. 337-367

Research output: Contribution to JournalArticleAcademicpeer-review

Comprehensive two-dimensional gas chromatography (GC x GC) measurements of volatile organic compounds in the atmosphere

Xu, X., van Stee, L. L. P., Williams, J. F., Beens, J., Adahchour, M., Vreuls, R. J. J., Brinkman, U. A. T. & Lelieveld, J., 2003, In : Atmospheric Chemistry and Physics. 3, p. 665-682 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Dynamic Communities in Referral Networks

Yolum, P. & Singh, M., 2003, In : Web Intelligence and Agent Systems: An International Journal. 1, p. 105-116

Research output: Contribution to JournalArticleAcademicpeer-review