Research Output 1976 2018

1998

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

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

Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications

Geelen, P. L. W., Ruttkay, Z. S. & TREUR, J., 1992, In : Lecture Notes in Computer Science. 599, p. 133-152

Research output: Contribution to JournalArticleAcademicpeer-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

Declarative Functionality Descriptions of Interactive Reasoning Modules

TREUR, J., 1991, In : Lecture Notes in Computer Science. 567, p. 221-236

Research output: Contribution to JournalArticleAcademicpeer-review

On the Use of Reflection Principles in Modeling Complex Reasoning

TREUR, J., Jun 1991, In : International journal of intelligent systems. 6, 3, p. 277-294

Research output: Contribution to JournalArticleAcademicpeer-review

On the use of reflection principles in modelling complex reasoning

Treur, J., 1991, In : International journal of intelligent systems. 6, p. 277-294

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Reflection Principle
Reasoning
Robots
Robot Control
Modular Forms