Research Output 1976 2018

1996

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 journalArticle

Open Access
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 journalArticle

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 journalArticle

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 journalArticle

Open Access

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 journalArticle

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 contribution

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 contribution

Declarative Functionality Descriptions of Interactive Reasoning Modules

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

Research output: Contribution to journalArticle

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 journalArticle

Open Access
1990

Noncommutative splitting fields

Treur, J. 1990 In : Journal of algebra (Print). 129, p. 367-379 13 p.

Research output: Contribution to journalArticle

Open Access

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 contribution

Polynomial extensions of skew fields

Treur, J. 1990 In : Journal of Pure and Applied Algebra. 67, p. 73-93 21 p.

Research output: Contribution to journalArticle

Open Access
1989

A logical analysis of design tasks for expert systems

Treur, J. 1989 In : International Journal of Expert Systems. 2, p. 233-253 23 p.

Research output: Contribution to journalArticle

Separate zeros and Galois extensions of skew fields

Treur, J. 1989 In : Journal of algebra (Print). 122, p. 392-405 14 p.

Research output: Contribution to journalArticle

Open Access
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 contribution

On duality for skew field extensions

Treur, J. 1988 In : Journal of algebra (Print). 119, p. 1-22 22 p.

Research output: Contribution to journalArticle

Open Access
1977

The Cartan-Brauer-Hua theorem

Treur, J. 1977 In : Indagationes Mathematicae. 80, p. 453-454 2 p.

Research output: Contribution to journalArticle

Open Access
1976

A duality for skew field extensions

Treur, J. 1976 Utrecht: Utrecht University (PhD thesis). 110 p.

Research output: Book/ReportBook