Research Output 1976 2019

1995

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
1990

Noncommutative splitting fields

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

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Splitting Field
Zero
Uniqueness
Minimal polynomial
Galois

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

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

Open Access
Division ring or skew field
Polynomial
Galois Extension
Quartic
Generator
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 JournalArticleAcademicpeer-review

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

Open Access
Galois Extension
Division ring or skew field
Zero
Polynomial
Minimal polynomial
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

On duality for skew field extensions

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

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Division ring or skew field
Field extension
Duality Principle
Duality
Galois Extension
1977

The Cartan-Brauer-Hua theorem

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

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Theorem
1976

A duality for skew field extensions

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

Research output: Book / ReportBookAcademicpeer-review

Division ring or skew field
Field extension
Duality
Closed
Galois Extension