Research Output 1976 2019

Filter
Article
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

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

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

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
1995

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

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

1993

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
1992

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

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

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

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