Research Output 1976 2019

Filter
Article
2001

Deliberative Evolution in Multi-Agent Systems

Brazier, F. M., Jonker, C. M., Treur, J. & Wijngaards, N. J. E., 2001, In : International Journal of Software Engineering and Knowledge Engineering. 11, 5, p. 559-581

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Multi agent systems

Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation

Brazier, F. M., van Eck, P. A. T. & Treur, J., Mar 2001, In : Applied Intelligence. 14, 2, p. 161-178 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Multi agent systems
Artificial intelligence
Experiments
2000

Compositional specification and reuse of a generic cooperative agent model

Brazier, F. M. T., Cornelissen, F. J., Jonker, C. M. & Treur, J., Sep 2000, In : International Journal of Cooperative Information Systems. 9, 3, p. 171-207 37 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Reusability
Multi agent systems
1998

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

Engelfriet, J. & Treur, J., 1998, In : Journal of Logic, Language and Information. 7, 3, p. 369-388 20 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Temporal logic
logic
Semantics
interpretation
semantics

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

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