Research Output 1976 2019

2002

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

Temporalized Epistemic Default Logic

van der Hoek, W., Meyer, J. J. & Treur, J., 2001, Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Kluwer Academic, p. 177-194 (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

logic
transferred electron devices
operators

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

Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning

Treur, J., 2001, Dynamics and Management of Reasoning Processes. Gabbay, D. (ed.). Kluwer Academic, p. 15-39 (Series in Defeasible Reasoning and Uncertainty Management Systems; vol. 6).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Semantics
Temporal logic

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

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

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