Research Output 1976 2019

Filter
Article
2003

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

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

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

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

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

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

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

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

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

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

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

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

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

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

Engelfriet, J. & Treur, J., 2002, In : Journal of Logic, Language and Information. 11, p. 389-425

Research output: Contribution to JournalArticleAcademicpeer-review

Modelling Multiple Mind-Matter Interaction

Jonker, C. M. & Treur, J., 2002, In : International Journal of Human-computer Studies. 57, p. 165-214

Research output: Contribution to JournalArticleAcademicpeer-review

interaction
Brain
Brain computer interface
brain
brain damage

On Centralizer-Related Intermediate Fields of a Skew Field Extension

Treur, J., 2002, In : Journal of algebra (Print). 249, p. 419-452

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Division ring or skew field
Field extension
Centralizer
Decompose
Persistence

On Partially Observable MDPs and BDI Models

Schut, M. C., Wooldridge, M. & Parsons, S. D., 2002, In : Lecture Notes in Computer Science. 2403, p. 243-260

Research output: Contribution to JournalArticleAcademicpeer-review

Principles of Component-Based Design of Intelligent Agents

Brazier, F. M., Jonker, C. M. & Treur, J., Apr 2002, In : Data and Knowledge Engineering. 41, 1, p. 1-27 27 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Intelligent agents
System design
Multi-agent systems
Reuse
Software engineering

Putting Intentions into Cell Biochemistry: An Artificial Intelligence Perspective

Jonker, C. M., Snoep, J. L., Treur, J., Westerhoff, H. V. & Wijngaards, C. W. A., 2002, In : Journal of Theoretical Biology. 214, p. 105-134

Research output: Contribution to JournalArticleAcademicpeer-review

Biochemistry
artificial intelligence
Artificial Intelligence
biochemistry
Artificial intelligence

Reductionist and Antireductionist Perspectives on Dynamics

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., 2002, In : Philosophical Psychology. 15, p. 381-409

Research output: Contribution to JournalArticleAcademicpeer-review

Physical Phenomena
Language
Reductionist
Computer Science

Semantic Formalisation of Interactive Reasoning Functionality

Treur, J., 2002, In : International journal of intelligent systems. 17, p. 645-686

Research output: Contribution to JournalArticleAcademicpeer-review

Formalization
Knowledge Base
Reasoning
Semantics
Framework

Temporal Analysis of the Dynamics of Beliefs, Desires, and Intentions

Jonker, C. M., Treur, J. & de Vries, W. M., 2002, In : Cognitive Science Quarterly. 2, p. 471-494

Research output: Contribution to JournalArticleAcademicpeer-review

Temporal Languages for Simulation and Analysis of the Dynamics Within an Organisation

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

Research output: Contribution to JournalArticleAcademicpeer-review

The control of reasoning in resource-bounded agents

Schut, M. C. & Wooldridge, M., 2002, In : Knowledge Engineering Review. 16, p. 215-240

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

The Control of Reasoning in Resource-Bounded Agents

Schut, M. C. & Wooldridge, M., 2002, In : Knowledge Engineering Review. 16, 3, p. 215-240

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Unravelling the composition of very complex samples by comprehensive gas chromatography coupled to time-of-flight mass spectrometry - Cigarette smoke

Dalluge, J., van Stee, L. L. P., Xu, X., Williams, J. F., Beens, J., Vreuls, R. J. J. & Brinkman, U. A. T., 2002, In : Journal of Chromatography A. 974, 1-2, p. 169-184

Research output: Contribution to JournalArticleAcademicpeer-review

Smoke
Tobacco Products
Gas chromatography
Gas Chromatography
Libraries
2001

Agent-based simulation of animal behaviour

Jonker, C. M. & Treur, J., Sep 2001, In : Applied Intelligence. 15, 2, p. 83-115 33 p.

Research output: Contribution to JournalArticleAcademicpeer-review

An agent-based architecture for multimodal interaction

Jonker, C. M., Treur, J. & Wijngaards, W. C. A., Mar 2001, In : International Journal of Human-computer Studies. 54, 3, p. 351-405 55 p.

Research output: Contribution to JournalArticleAcademicpeer-review

A reusable multi-agent architecture for active intelligent websites

Jonker, C. M., Lam, R. A. & Treur, J., Jul 2001, In : Applied Intelligence. 15, 1, p. 7-24 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Compositional Design of a Generic Design Agent

Brazier, F. M., Jonker, C. M., Treur, J. & Wijngaards, N. J. E., Sep 2001, In : Design Studies. 22, 5, p. 439-471 33 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Internet
management
Prototype
World Wide Web

Default logic and specification of nonmonotonic reasoning

Engelfriet, J., Marek, V. W., Treur, J. & Truszczynski, M., 1 Apr 2001, In : Journal of experimental and theoretical artificial intelligence. 13, 2, p. 99-112 14 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Deliberative Evolution in Multi-Agent Systems

Brazier, F. M., Jonker, C. M., Treur, J. & Wijngaards, N. J. E., 2001, In : International Journal of Software Engineering and Knowledge Engineering. 11, 5, p. 559-581

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Multi agent systems

Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation

Brazier, F. M., van Eck, P. A. T. & Treur, J., Mar 2001, In : Applied Intelligence. 14, 2, p. 161-178 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Multi agent systems
Artificial intelligence
Experiments
2000

Compositional specification and reuse of a generic cooperative agent model

Brazier, F. M. T., Cornelissen, F. J., Jonker, C. M. & Treur, J., Sep 2000, In : International Journal of Cooperative Information Systems. 9, 3, p. 171-207 37 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Reusability
Multi agent systems
1998

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

Engelfriet, J. & Treur, J., 1998, In : Journal of Logic, Language and Information. 7, 3, p. 369-388 20 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Temporal logic
logic
Semantics
interpretation
semantics

Temporalizing Epistemic Default Logic

van der Hoek, W., Meyer, J. J. & Treur, J., 1998, In : Journal of Logic, Language and Information. 7, 3, p. 341–367 28 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
logic
Semantics
semantics
Temporal logic
Flavors