Searching for authors named "Jan Treur" – sorted by Relevance.
-
Semantic Formalisation of Interactive Reasoning Functionality
- Semantic Formalisation of Interactive Reasoning Functionality Jan Treur Vrije Universiteit
- Cited by 3 (0 self) – Add To MetaCart
-
Reduction Relations for Agent Models
- Reduction Relations for Agent Models Jan Treur Vrije Universiteit Amsterdam, Department
- Add To MetaCart
-
Formal Semantics of Meta-Level Architectures: Dynamic Control of Reasoning
- Formal Semantics of Meta-Level Architectures: Abstract Dynamic Control of Reasoning Jan Treur
- Cited by 22 (14 self) – Add To MetaCart
-
Laws and Makeups in Context-Dependent Reduction Relations
- Laws and Makeups in Context-Dependent Reduction Relations Jan Treur (treur@(email omitted);) Vrije
- Cited by 2 (1 self) – Add To MetaCart
-
Formal interpretation of a multi-agent society as a single agent
- Formal Interpretation of a Multi-Agent Society as a Single Agent Tibor Bosse and Jan Treur Vrije
- Cited by 2 (0 self) – Add To MetaCart
-
Formal Specification of Reflective Agents
- 1 Formal Specification of Reflective Agents Frances Brazier and Jan Treur Vrije Universiteit
- Cited by 2 (1 self) – Add To MetaCart
-
Multi-Interpretation Operators and Approximate Classification
- 1 Multi-Interpretation Operators and Approximate Classification Joeri Engelfriet, Jan Treur Vrije
- Cited by 3 (2 self) – Add To MetaCart
-
A Dynamic Perspective on an Agent's Mental States and Interaction with its Environment
- The Netherlands Tel. +31 20 444 77{43,63} {jonker, treur}@(email omitted); ABSTRACT This paper contributes a formalised
- Cited by 2 (2 self) – Add To MetaCart
-
Final Model Semantics for Normal Default Theories
- 1 Final Model Semantics for Normal Default Theories * Joeri Engelfriet and Jan Treur Free
- Cited by 1 (1 self) – Add To MetaCart
-
Relating Linear and Branching Time Temporal Models
- 1 Relating Linear and Branching Time Temporal Models * Joeri Engelfriet and Jan Treur Free
- Cited by 2 (2 self) – Add To MetaCart

