Research Output 1976 2019

2000

Organization Models and Behavioural Requirements Specification for Multi-Agent Systems (short version)

Ferber, J., Gutknecht, O., Jonker, C. M., Mueller, J. P. & Treur, J., 2000, Proceedings - 4th International Conference on MultiAgent Systems, ICMAS 2000. Los Alamitos, CA: Institute of Electrical and Electronics Engineers, Inc., p. 387-388 2 p. 858488

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Multi agent systems
Specifications

The relation between ontologies and schema-languages: Translating OIL-specifications in XML Schema.

Klein, M. C. A., Fensel, D. A., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 7.1-7.12

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File
1999

A Multi-Agent Architecture for an Intelligent Website in Insurance

Jonker, C. M., Lam, R. A. & Treur, J., 1999, Cooperative Information Agents III - 3rd International Workshop, CIA 1999, Proceedings. Springer/Verlag, Vol. 1652. p. 86-100 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1652).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Agent Architecture
Insurance
Websites
Multi agent systems
Multi-agent Systems

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

Engelfriet, J., Jonker, C. M. & Treur, J., 1999, Intelligent Agents V: Agents Theories, Architectures, and Languages - 5th International Workshop, ATAL 1998, Proceedings. Springer/Verlag, Vol. 1555. p. 177-194 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1555).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Compositional Verification
Epistemic Logic
Temporal Logic
Multi agent systems
Multi-agent Systems

Information brokering agents in intelligent Websites

Jonker, C. M. & Treur, J., 1999, Multiple Approaches to Intelligent Systems. IEA/AIE 1999.. Vol. 1611. p. 430-439 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1611).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

1998

Agent-based Simulation of Reactive, Pro-active, and Social Animal Behaviour

Jonker, C. M. & Treur, J., 1998, Methodology and Tools in Knowledge-Based Systems - 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA-1998-AIE, Proceedings. Mira, J. (ed.). Springer/Verlag, Vol. 1415. p. 584-595 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1415).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Agent-based Simulation
Animals
Multi agent systems
Social Behavior
Multi-agent Systems

Agent modelling in METATEM and DESIRE

Mulder, M., Treur, J. & Fisher, M., 1998, Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Proceedings. Springer/Verlag, Vol. 1365. p. 193-207 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1365 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Analysis of multi-interpretable ecological monitoring information

Brazier, F. M., Engelfriet, J. & Treur, J., 1998, Applications of Uncertainty Formalisms. Hunter, A. (ed.). Springer/Verlag, Vol. 1455. p. 303-324 22 p. (Lecture Notes in Artificial Intelligence; vol. 1455).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Decision support systems
Monitoring

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

Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation

Brazier, F. M., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. & Treur, J., 1998, Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98. IEEE Computer Society Press, p. 49-56 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File

Compositional Design of a Generic Design Agent

Brazier, F. M., Jonker, C. M., Treur, J. & Wijngaards, N. J. E., 1998, Proc. of the AAAI Workshop on Artificial Intelligence and Manufacturing: State of the Art and State of Practice. Luger, G. (ed.). AAAI Press, p. 30-39 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness

Jonker, C. M. & Treur, J., 1998, Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. Springer/Verlag, Vol. 1536. p. 350-380 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1536).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Development of an ecological decision support system

van Beusekom, F., Brazier, F., Schipper, P. & Treur, J., 1998, Tasks and Methods in Applied Artificial Intelligence - 11 th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA-1998-AIE, Proceedings. del Pobil, A. P. (ed.). Springer/Verlag, Vol. 1416. p. 815-825 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1416).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Nonmonotonic Reasoning
Multi-model
Knowledge-based
Decision Support Systems
Decision support systems

Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach

Brazier, F. M., Jonker, C. M., Jungen, F. J. & Treur, J., 1998, Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM'98. Nwana, H. S. (ed.). The Practical Application Company Ltd, p. 555-576 22 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Multi agent systems
Scheduling
Personnel
Managers

Mapping Visual to Textual Representation of Knowledge in DESIRE

Jonker, C. M., Kremer, R., van Leeuwen, P., Pan, D. & Treur, J., 1998, Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'98. Gaines, B. R. (ed.). SRDG Publications, Department of Computer Science, University of Calgary, 20 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Multi agent systems

Panel: Methodologies for multi-agent systems

Kinny, D., Treur, J., Gasser, L., Clark, S. & Müller, J., 1998, Intelligent Agents IV: Agent Theories, Architectures, and Languages - 4th International Workshop, ATAL 1997, Proceedings. Springer/Verlag, Vol. 1365. p. 1-1 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1365).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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
1997

A compositional approach to modelling design rationale

Brazier, F. M., van Langen, P. H. G. & Treur, J., 1997, In : Artificial Intelligence for Engineering Design, Analysis and Manifacturing. 11, 2, p. 125-139 15 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Aircraft

A compositional reasoning system for executing nonmonotonic theories of reasoning

Engelfriet, J. & Treur, J., 1997, Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. Springer/Verlag, Vol. 1244. p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1244).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Compositional verification of knowledge-based systems: A case study for diagnostic reasoning

Cornelissen, F. J., Jonker, C. M. & Treur, J., 1997, Knowledge Acquisition, Modeling and Management - 10th European Workshop, EKAW 1997, Proceedings. Springer/Verlag, Vol. 1319. p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1319).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic

Engelfriet, J., Jonker, C. M. & Treur, J., 1997, Verification, Model Checking and Abstract Interpretation. Bossi, A. (ed.). Dipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14, 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modelling an Agent's Mind and Matter

Jonker, C. M. & Treur, J., 1997, Multi-Agent Rationality, Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi- Agent World, MAAMAW'97. Boman, M. (ed.). Springer/Verlag, Vol. 1237. p. 210-233 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1237).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modeling
Brain
Physical Simulation
Model
Interaction

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

Brazier, F. M., van Eck, P. A. T. & Treur, J., 1997, Proceedings of the International Conference on Computer Simulations and Social Sciences, ICCS&SS'97. Springer/Verlag, p. 103-109 7 p. (Lecture Notes in Economics and Mathematical Systems; vol. 456).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Specifications
Experiments

Representation theory for default logic

Marek, V. W., Treur, J. & Truszczynski, M., 1997, In : Annals of Mathematics and Artificial Intelligence. 21, 2-4, p. 343-358 16 p.

Research output: Contribution to JournalArticleAcademicpeer-review

1996

Compositional modelling of reflective agents

Brazier, F. M. & Treur, J., 1996, Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96. Gaines, B. R. (ed.). SRDG Publications, Department of Computer Science, University of Calgary, p. 23/1-23/12 12 p. 23

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Reflective
Modeling
Wise Men
Multi-agent Systems
Communication

Executable temporal logic for non-monotonic reasoning

Engelfriet, J. & Treur, J., Nov 1996, In : JOURNAL OF SYMBOLIC COMPUTATION. 22, 5-6, p. 615-625 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Nonmonotonic Reasoning
Temporal logic
Temporal Logic
Specification languages
Specifications

Infinitary default logic for specification of nonmonotonic reasoning

Engelfriet, J., Marek, V. W., Treur, J. & Truszczynski, M., 1996, Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Springer/Verlag, Vol. 1126. p. 224-236 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1126).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Meta-level Selection Techniques for the Control of Default Reasoning

Allis, V., Tan, Y. H. & Treur, J., 1996, In : Future Generation Computer Systems. 12, 2-3, p. 189-201 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Nonmonotonic Reasoning with Multiple Belief Sets

Engelfriet, J., Herre, H. & Treur, J., 1996, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Springer/Verlag, Vol. 1085. p. 331-344 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1085).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Nonmonotonic Reasoning
Operator
Beliefs
Monotonic
Congruence

Semantics for Default Logic Based on Specific Branching Time Models

Engelfriet, J. & Treur, J., 1996, Proceedings of the 12th European Conference on Artificial Intelligence, ECAI'96. Wahlster, W. (ed.). Wiley, p. 60-64 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Specification of Nonmonotonic Reasoning

Engelfriet, J. & Treur, J., 1996, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Springer/Verlag, Vol. 1085. p. 111-125 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1085).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Nonmonotonic Reasoning
Specification languages
Specification Languages
Specification
Specifications
1995

Compositional formal specification of multi-agent systems

Dunin-Keplicz, B. M. & Treur, J., 1995, Intelligent Agents - ECAI 1994 Workshop on Agent Theories, Architectures, and Languages, Proceedings. Wooldridge, M. (ed.). Springer/Verlag, Vol. 890. p. 102-117 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 890 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Formal Specification
Multi agent systems
Multi-agent Systems
Reasoning
Formal Semantics

Formal Notions for Verification of Dynamics of Knowledge-Based Systems

Treur, J. & Willems, M., 1995, Proceedings European Symposium on Validation and Verfication on KBSs, EUROVAV'5. Rousset, M. C. (ed.). p. 189-199 11 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modelling Reasoning and Acting Agents

Dunin-Keplicz, B. M. & Treur, J., 1995, Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95. RDG Publications, p. 22/1-22/20 20 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modeling languages
Formal specification

Nonmonotonic belief state frames and reasoning frames

Engelfriet, J., Herre, H. & Treur, J., 1995, Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings. Springer/Verlag, Vol. 946. p. 189-196 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 946).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Temporalizing Epistemic Default Logic

van der Hoek, W., Meyer, J. J. C. & Treur, J., 1995, Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop. World Scientific, p. 173-190 18 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Temporal Theories of Reasoning

Engelfriet, J. & Treur, J., 1995, In : Journal of Applied Non-Classical Logics. 5, 2, p. 239-261 24 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Reasoning
Temporal Logic
Valid
Partial
Model
1994

A Decision Making Model Based on Damasio's Somatic Marker Hypothesis

Hoogendoorn, M., Merk, R-J. & Treur, J., 1994, In : Artificial Intelligence. 1, 2

Research output: Contribution to JournalArticleAcademicpeer-review

Decision making
decision making
scenario
simulation
Decision Making

A formal model for the dynamics of compositional reasoning systems

Gavrila, I. & Treur, J., 1994, Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94. Cohn, A. G. (ed.). Wiley, p. 307-311 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A logical foundation for verification

Treur, J. & Willems, M., 1994, Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94. Cohn, A. G. (ed.). Wiley, p. 745-749 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., 1994, Logic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings. Fribourg, L. (ed.). Springer/Verlag, Vol. 883 LNCS. p. 332-352 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 883 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Formal Semantics
Reasoning
Semantics
Epistemic Logic
Architecture

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

Treur, J., 1994, Logic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings. Springer/Verlag, Vol. 883 LNCS. p. 353-376 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 883 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Dynamic Control
Reasoning
Semantics
System Modeling
Model

Temporal Theories of Reasoning

Engelfriet, J. & Treur, J., 1994, Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA'94. MacNish, C. (ed.). Springer/Verlag, p. 279-299 21 p. (Lecture Notes in Artificial Intelligence; vol. 838).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Towards a Better Balance Between Data and Knowledge Engineering

Treur, J., May 1994, In : Data and Knowledge Engineering. 12, 3, p. 251-252

Research output: Contribution to JournalArticleAcademicpeer-review

User centered knowledge-based system design: a formal modelling approach

Brazier, F. M. & Treur, J., 1994, Future for knowledge acquisition, Proceedings of the 8th European Knowledge Acquisition Workshop, EKAW'94. Steels, L., Schreiber, G. & van de Velde, W. (eds.). Springer/Verlag, p. 283-302 20 p. (Lecture Notes in Artificial Intelligence; vol. 867).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

1993

A compositional architecture for simple design formally specified in DESIRE

Langevelde, I. V., Philipsen, A. W. & Treur, J., 1993, Formal specification of complex reasoning systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 143-172

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

An example reasoning task description

Langevelde, I. V., Philipsen, A. W. & Treur, J., 1993, Formal specification of complex reasoning systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 7-13 7 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A Temporal Model Theory for Default Logic

Engelfriet, J. & Treur, J., 1993, Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93. Clarke, M. (ed.). Springer/Verlag, p. 91-96

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Default Logic
Model Theory
Logic
Semantic Theory

Comparing Formal Specification Languages for Complex Reasoning Systems

van Harmelen, F., Lopez de Mantaras, R., Malec, J. & Treur, J., 1993, Formal Specification of Complex Reasoning Systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 257-282 26 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Heuristic reasoning and relative incompleteness

Treur, J., 1993, In : International Journal of Approximate Reasoning. 8, 1, p. 51-87 38 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Incompleteness
Reasoning
Heuristics
Specifications
Expert systems