Research Output 1976 2019

Filter
Conference contribution
1999

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

Logical Methods in Protocol Analysis

Langevelde, I. V. & Treur, J., 1992, Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. Linster, M. (ed.). p. 162-183 12 p.

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

On the (non-)brittleness of a DESIRE-model

Geelen, P. A., Ruttkay, Z. S. & Treur, J., 1992, Sisyphus'92: Models of Problem Solving, Sisyphus yearbook 1992. GMD

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

1991

A bi-modular approach to nonmonotonic reasoning

Tan, Y. H. & Treur, J., 1991, Proc. of the World Congress on Fundamentals of Artificial Intelligence, WOCFAI-91. de Glas, M. & Gabbay, D. (eds.). p. 461-476 16 p.

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

A logical framework for design processes

Treur, J., 1991, Intelligent CAD Systems III. Proc. of the Third Eurographics Workshop on Intelligent CAD Systems. ten Hagen, P. & Veerkamp, P. (eds.). Springer Verlag, p. 3-20 18 p.

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

1990

On the use of a formalized generic task model in knowledge acquisition

Kowalczyk, W. J. & Treur, J., 1990, Current Trends in Knowledge Acquisition, Proc. of the European Knowledge Acquisition Worksop, EKAW'90. Wielinga, B. (ed.). IOS Press, p. 198-221 24 p.

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

1988

Completeness and definability in diagnostic expert systems

Treur, J., 1988, Proceedings of the 8th European Conference on Artificial Intelligence, ECAI'88. Kodratoff, Y. (ed.). Pitman Publishing, Pearson Professional, p. 619-624

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