Treur, Jan, 1952-
Treur, Jan.
Jan Treur Professor
VIAF ID: 58291008 ( Personal )
Permalink: http://viaf.org/viaf/58291008
Preferred Forms
- 100 0 _ ‡a Jan Treur ‡c Professor
-
-
- 100 1 _ ‡a Treur, Jan ‡d 1952-
- 100 1 _ ‡a Treur, Jan,
- 100 1 _ ‡a Treur, Jan, ‡d 1952-
-
- 100 1 0 ‡a Treur, Jan, ‡d 1952-
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Agent-based defeasible control in dynamic environments | |
Agent-based simulation of animal behaviour | |
Agent-oriented modeling of the dynamics of complex biological processes I : single agent models | |
Analysis of the dynamics of reasoning using multiple representations | |
Completeness and definability in diagnostic expert systems | |
A compositional architecture for simple design : formally specified in DESIRE | |
Computational Collective Intelligence : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings | |
Computational modeling of multilevel organisational learning and its control using self-modeling network models | |
Contemporary challenges and solutions in applied artificial intelligence | |
Coordonner flexiblement en utilisant des cultures et des valeurs. | |
Declarative functionality descriptions of interactive reasoning modules | |
Designing compositional assumption revision | |
Dynamics and management of reasoning processes | |
Explicit representation of design process knowledge | |
Final model semantics for normal default theories | |
Formal specification of complex reasoning systems, 1993: | |
Generic inference processes and their interactions in complex diagnostic tasks : a logical description | |
Handbook of defeasible reasoning and uncertainty management systems | |
Heuristic reasoning with incomplete knowledge | |
Interaction types and chemistry of generic task models | |
Knowledge engineering and agent technology | |
A logical framework for design processes | |
Logical methods in protocol analysis | |
A logical theory of design | |
Een logische analyse van diagnostische redeneerprocessen : redeneren met en over hypothesen | |
Metakennis en meta-inferenties in expertsystemen | |
Modelling conflict management in design: an explicit approach | |
Modelling dynamic aspects of design processes | |
Modelling non-classical reasoning patterns by interacting reasoning modules | |
Network-Oriented Modeling : Addressing Complexity of Cognitive, Affective and Social Interactions | |
Network-oriented modeling for adaptive networks : designing higher-order adaptive biological, mental and social network models | |
Noncommutative splitting fields | |
Nonmonotonic reasoning with multiple belief sets | |
On duality for skew field extensions | |
On the non-brittleness of a DESIRE-model for a room-assignment task | |
On the use of reflection principles in modelling complex reasoning | |
On the verification of knowledge-based reasoning modules | |
Reasoning about partial models, actions and plans | |
Reasoning about uncertainty represented by meta-reasoning : the endorsements approach | |
Relating linear and branching time temporal models | |
Relating structure and dynamics in organisation models | |
Separate zeros and Gaslois extensions of skew fields | |
Specifications of task-specific architectures | |
Tackling the incompleteness of chaining | |
Temporal analysis of the dynamics of beliefs, desires, and intentions | |
temporal-interacivist perspective on the dynamics of mental states | |
Temporal theories of reasoning | |
Temporalizing epistemic default logic | |
Towards dynamic and temporal semantics of meta-level architectures | |
Using culture and values to support flexible coordination | |
Volledigheid en definieerbaarheid in diagnostische redeneersystemen |