Research Output 1976 2019

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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