Research Output 1976 2019

Filter
Conference contribution
2000

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

OIL in a nutshell.

Fensel, D. A., Horrocks, I., van Harmelen, F. A. H., Decker, S., Erdmann, M. & Klein, M. C. A., 2000, Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({EKAW}'00).. Dieng, R. (ed.). Springer-Verlag

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

File

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

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

1997

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

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

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

1994

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

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

On the Role of Formal Specification in AI

Treur, J. & Wetter, T. C., 1993, Formal Specification of Complex Reasoning Systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 1-6

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

1992

A Compositional Knowledge-Based Architecture Modelling Process Aspects of Design Tasks

Brumsen, H. A., Pannekeet, J. H. M. & Treur, J., 1992, Proceedings of the 12th International Avignon Conference on Artificial Intelligence, Expert systems and Natural Language, Avignon-92, vol. 1. p. 283-294 12 p.

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

Constructive Default Logic and the Control of Defeasible Reasoning

Tan, Y. H. & Treur, J., 1992, Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92. Neumann, B. (ed.). Wiley, p. 299-303

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

Constructive Default Logic in a Meta-Level Architecture

Tan, Y. H. & Treur, J., 1992, Proceedings of the International Workshop on new Models in Software Architecture (IMSA), Reflection and Meta-level Architectures. Yonezawa, A. & Smith, B. C. (eds.). p. 184-189 6 p.

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

Explicit Representation of Design Process Knowledge

Treur, J. & Veerkamp, P. J., 1992, Artificial Intelligence in Design '92. Proceedings AID-92. Gero, J. (ed.). Kluwer Academic, p. 677-696 20 p.

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

Specifications

Formal Specification of Compositional Architectures

Langevelde, I. V., Philipsen, A. W. & Treur, J., 1992, Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92. Neumann, B. (ed.). Wiley, p. 272-276 5 p.

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

Interaction types and chemistry of generic task models

Treur, J., 1992, Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. Linster, M. & Gaines, B. (eds.). GMD, p. 390-414 25 p.

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