Research Output 1976 2018

1992

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
Finitely Generated
Uniqueness
Minimal polynomial

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