dblp.uni-trier.dewww.uni-trier.de

Jan Treur Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
211EETibor Bosse, Rianne van Lambalgen, Peter-Paul van Maanen, Jan Treur: An interface agent for attention manipulation. AAMAS (2) 2009: 1167-1168
210EEAzizi Ab Aziz, Michel C. A. Klein, Jan Treur: An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression. AIME 2009: 186-190
209EEAndy van der Mee, Nataliya M. Mogles, Jan Treur: An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks. AMT 2009: 54-68
208EEZulfiqar A. Memon, Jan Treur: Modelling the Reciprocal Interaction between Believing and Feeling from a Neurological Perspective. Brain Informatics 2009: 13-24
207EETibor Bosse, Rob Duell, Mark Hoogendoorn, Michel C. A. Klein, Rianne van Lambalgen, Andy van der Mee, Rogier Oorburg, Alexei Sharpanskykh, Jan Treur, Michael de Vos: A Generic Personal Assistant Agent Model for Support in Demanding Tasks. HCI (16) 2009: 3-12
206 Fiemke Both, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur: Design and Analysis of an Ambient Intelligent System Supporting Depression Therapy. HEALTHINF 2009: 142-148
205 Alexei Sharpanskykh, Jan Treur: Relating Knowledge Specifications by Reduction Mappings. ICAART 2009: 29-36
204EEZulfiqar A. Memon, Jan Treur: Designing Social Agents with Empathic Understanding. ICCCI 2009: 279-293
203EEJan Treur: A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion. IEA/AIE 2009: 11-23
202EEMark Hoogendoorn, Jan Treur, Muhammad Umair: An Ecological Model-Based Reasoning Model to Support Nature Park Managers. IEA/AIE 2009: 172-182
201EEAzizi Ab Aziz, Michel C. A. Klein, Jan Treur: An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression. IEA/AIE 2009: 36-45
200EETibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Alexei Sharpanskykh, Jan Treur: Specification and Verification of Dynamics in Agent Models. Int. J. Cooperative Inf. Syst. 18(1): 167-193 (2009)
199EEJan Treur: Past-future separation and normal forms in temporal predicate logic specifications. J. Algorithms 64(2-3): 106-124 (2009)
198EETibor Bosse, Charlotte Gerritsen, Jan Treur: Towards Integration of Biological, Psychological and Social Aspects in Agent-Based Simulation of Violent Offenders. Simulation 85(10): 635-660 (2009)
197EETibor Bosse, Peter-Paul van Maanen, Jan Treur: Simulation and formal analysis of visual attention. Web Intelligence and Agent Systems 7(1): 89-105 (2009)
2008
196EETibor Bosse, Zulfiqar A. Memon, Jan Treur: Adaptive Estimation of Emotion Generation for an Ambient Agent Model. AmI 2008: 141-156
195EEFiemke Both, Mark Hoogendoorn, Jan Treur: An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress. AmI 2008: 222-239
194EEMark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. Memon, Jan Treur: Formal Verification of an Agent-Based Support System for Medicine Intake. BIOSTEC (Selected Papers) 2008: 453-466
193EEMark Hoogendoorn, S. Waqar Jaffry, Jan Treur: Modeling Dynamics of Relative Trust of Competitive Information Agents. CIA 2008: 55-70
192EEAnnerieke Heuvelink, Michel C. A. Klein, Jan Treur: A Formal Approach to Aggregated Belief Formation. CIA 2008: 71-85
191EEFiemke Both, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur: Modeling the Dynamics of Mood and Depression. ECAI 2008: 266-270
190EETibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur: Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract). ECAI 2008: 877-878
189 Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. Memon, Jan Treur: Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management. HEALTHINF (1) 2008: 148-155
188EEJan Treur: Reduction Relations for Agent Models. IAT 2008: 176-183
187EEAnnerieke Heuvelink, Michel C. A. Klein, Jan Treur: An Agent Memory Model Enabling Rational and Biased Reasoning. IAT 2008: 193-199
186EETibor Bosse, Fiemke Both, Rianne van Lambalgen, Jan Treur: An Agent Model for a Human's Functional State and Performance. IAT 2008: 302-307
185EEZulfiqar A. Memon, Jan Treur: Cognitive and Biological Agent Models for Emotion Reading. IAT 2008: 308-313
184EEAlexei Sharpanskykh, Jan Treur: Relating Cognitive Process Models to Behavioural Models of Agents. IAT 2008: 330-335
183EETibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur: Comparison of Agent-Based and Population-Based Simulations of Displacement of Crime. IAT 2008: 469-476
182EEAlexei Sharpanskykh, Jan Treur: An ambient agent model for automated mindreading by identifying and monitoring representation relations. PETRA 2008: 91
181EEFiemke Both, Mark Hoogendoorn, Jan Treur: Model-based ambient analysis of human task execution. PETRA 2008: 92
180EETibor Bosse, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur: A Component-Based Ambient Agent Model for Assessment of Driving Behaviour. UIC 2008: 229-243
179EETibor Bosse, Rianne van Lambalgen, Peter-Paul van Maanen, Jan Treur: Automated Visual Attention Manipulation. WAPCV 2008: 257-272
178EERob Duell, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur: An Ambient Intelligent Agent Model Using Controlled Model-Based Reasoning to Determine Causes and Remedies for Monitored Problems. Web Intelligence/IAT Workshops 2008: 489-494
177EETibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Jan Treur: Automated formal analysis of human multi-issue negotiation processes. Multiagent and Grid Systems 4(2): 213-233 (2008)
2007
176EETibor Bosse, Charlotte Gerritsen, Jan Treur: Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case. AAMAS 2007: 58
175EETibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytro Tykhonov: Formal Analysis of Trust Dynamics in Human and Software Agent Experiments. CIA 2007: 343-359
174EETibor Bosse, Alexei Sharpanskykh, Jan Treur: On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition. DALT 2007: 175-192
173EETibor Bosse, Alexei Sharpanskykh, Jan Treur: Integrating Agent Models and Dynamical Systems. DALT 2007: 50-68
172EEMark Hoogendoorn, Martijn C. Schut, Jan Treur: Modeling Decentralized Organizational Change in Honeybee Societies. ECAL 2007: 615-624
171EETibor Bosse, Willem A. van Doesburg, Peter-Paul van Maanen, Jan Treur: Augmented Metacognition Addressing Dynamic Allocation of Tasks Requiring Visual Attention. HCI (16) 2007: 166-175
170EETibor Bosse, Zulfiqar A. Memon, Jan Treur: Emergent Storylines Based on Autonomous Characters with Mindreading Capabilities. IAT 2007: 207-214
169EETibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Treur: A Specification Language for Coordination in Agent Systems. IAT 2007: 252-256
168EETibor Bosse, Matthijs Pontier, Jan Treur: A Computational Model for Adaptive Emotion Regulation. IAT 2007: 289-293
167EETibor Bosse, Charlotte Gerritsen, Jan Treur: Case Analysis of Criminal Behaviour. IEA/AIE 2007: 621-632
166EETibor Bosse, Fiemke Both, Mark Hoogendoorn, Jan Treur: Specification of Adaptive Client-Tailored Product Models. IEEE SCW 2007: 253-261
165EETibor Bosse, Jan Treur: Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods. IJCAI 2007: 262-267
164EETibor Bosse, Matthijs Pontier, Ghazanfar F. Siddiqui, Jan Treur: Incorporating Emotion Regulation into Virtual Stories. IVA 2007: 339-347
163EETibor Bosse, Charlotte Gerritsen, Jan Treur: Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath. International Conference on Computational Science (2) 2007: 888-895
162EETibor Bosse, Martijn C. Schut, Jan Treur, David Wendt: Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society. MABS 2007: 96-111
161EETibor Bosse, Peter-Paul van Maanen, Jan Treur: Simulation and Formal Analysis of Visual Attention in Cognitive Systems. WAPCV 2007: 463-480
160EECatholijn M. Jonker, Jan Treur: Agent-oriented modeling of the dynamics of biological organisms. Appl. Intell. 27(1): 1-20 (2007)
159EECatholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum: A framework for formal modeling and analysis of organizations. Appl. Intell. 27(1): 49-66 (2007)
158EECatholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards: Specification, analysis and simulation of the dynamics within an organisation. Appl. Intell. 27(2): 131-152 (2007)
157EEViara Popova, Jan Treur: A specification language for organisational performance indicators. Appl. Intell. 27(3): 291-301 (2007)
156EETibor Bosse, Catholijn M. Jonker, Jan Treur: Simulation and Analysis of Controlled Multi-Representational Reasoning Processes. Applied Artificial Intelligence 21(10): 973-1018 (2007)
155EECatholijn M. Jonker, Valentin Robu, Jan Treur: An agent architecture for multi-attribute negotiation using incomplete preference information. Autonomous Agents and Multi-Agent Systems 15(2): 221-252 (2007)
154EETibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Jan Treur: A Language and Environment for Analysis of Dynamics by Simulation. International Journal on Artificial Intelligence Tools 16(3): 435-464 (2007)
153EETibor Bosse, Catholijn M. Jonker, Jan Treur: On the use of organisation modelling techniques to address biological organisation. Multiagent and Grid Systems 3(2): 199-223 (2007)
2006
152EETibor Bosse, Jan Treur: Modelling dynamics of cognitive agents by higher-order potentialities. AAMAS 2006: 117-119
151EETibor Bosse, Catholijn M. Jonker, Jan Treur: Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective. Annual Simulation Symposium 2006: 304-311
150EETibor Bosse, Catholijn M. Jonker, Jan Treur: An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents. Annual Simulation Symposium 2006: 312-319
149EEMark Hoogendoorn, Catholijn M. Jonker, Jan Treur, Marian Verhaegh: Agent-Based Analysis and Support for Incident Management. CIA 2006: 109-123
148EETibor Bosse, Mark Hoogendoorn, Jan Treur: Automated Evaluation of Coordination Approaches. COORDINATION 2006: 44-62
147 Alexei Sharpanskykh, Jan Treur: Verifying Interlevel Relations Within Multi-Agent Systems. ECAI 2006: 290-294
146EETibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Alexei Sharpanskykh, Jan Treur: Specification and Verification of Dynamics in Cognitive Agent Models. IAT 2006: 247-254
145EETibor Bosse, Peter-Paul van Maanen, Jan Treur: A Cognitive Model for Visual Attention and Its Application. IAT 2006: 255-262
144EEMark Hoogendoorn, Jan Treur: An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation. IAT 2006: 474-481
143EEMark Hoogendoorn, Jan Treur, Pinar Yolum: A Labeled Graph Approach to Analyze Organizational Performance. IAT 2006: 482-489
142EETibor Bosse, Catholijn M. Jonker, Jan Treur: Formalization and Analysis of Reasoning by Assumption. Cognitive Science 30(1): 147-180 (2006)
141EETibor Bosse, Martine F. Delfos, Catholijn M. Jonker, Jan Treur: Modeling Adaptive Dynamical Systems to Analyze Eating Regulation Disorders. Simulation 82(3): 159-171 (2006)
2005
140EEEgon L. van den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum: Formal Modeling and Analysis of Organizations. AAMAS Workshops 2005: 18-34
139EEMark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Jan Treur: An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning. AOIS 2005: 216-230
138EETibor Bosse, Catholijn M. Jonker, Jan Treur: Requirements Analysis of an Agent's Reasoning Capability. AOIS 2005: 48-63
137EETibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur: Formalisation and Analysis of the Temporal Dynamics of Conditioning. AOSE 2005: 54-68
136 Mark Hoogendoorn, Jan Treur, Pinar Yolum: A Labeled Graph Approach to Support Analysis of Organizational Performance. BNAIC 2005: 347-348
135 Egon L. van den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum: Formal Modeling and Analysis of Organizations. BNAIC 2005: 391-392
134 Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Jan Treur: A Meta-Level Architecture for Strategic Reasoning in Naval Planning (extended abstract). BNAIC 2005: 401-402
133EETibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Jan Treur: LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn. IEA/AIE 2005: 363-366
132EEViara Popova, Jan Treur: A Specification Language for Organisational Performance Indicators. IEA/AIE 2005: 667-677
131EEMark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Jan Treur: A Meta-level Architecture for Strategic Reasoning in Naval Planning. IEA/AIE 2005: 848-850
130EEJan Treur: A Unified Perspective on Explaining Dynamics by Anticipatory State Properties. IWINAC (1) 2005: 27-37
129EETibor Bosse, Catholijn M. Jonker, Jan Treur: Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. IWINAC (1) 2005: 427-436
128EETibor Bosse, Jan Treur: Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence. MABS 2005: 58-74
127EETibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Jan Treur: LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn. MATES 2005: 165-178
126EEMehdi Dastani, Nico Jacobs, Catholijn M. Jonker, Jan Treur: Modelling user preferences and mediating agents in electronic commerce. Knowl.-Based Syst. 18(7): 335-352 (2005)
125EEDaniela E. Damian, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: Integration of behavioural requirements specification within compositional knowledge engineering. Knowl.-Based Syst. 18(7): 353-365 (2005)
124EECatholijn M. Jonker, Rob Kremer, Pim van Leeuwen, Dong Pan, Jan Treur: Mapping visual to textual knowledge representation. Knowl.-Based Syst. 18(7): 367-378 (2005)
123EETibor Bosse, Catholijn M. Jonker, Martijn C. Schut, Jan Treur: Simulation and Analysis of a Shared Extended Mind. Simulation 81(10): 719-732 (2005)
2004
122EETibor Bosse, Catholijn M. Jonker, Jan Treur: Representational Content and the Reciprocal Interplay of Agent and Environment. AAMAS 2004: 1408-1409
121EETibor Bosse, Catholijn M. Jonker, Jan Treur: Experiments in Human Multi-Issue Negotiation: Analysis and Support. AAMAS 2004: 671-678
120EECatholijn M. Jonker, Jan Treur, Pinar Yolum: A Formal Reuse-Based Approach for Interactively Designing Organizations. AOSE 2004: 221-237
119EETibor Bosse, Catholijn M. Jonker, Jan Treur: Representational Content and the Reciprocal Interplay of Agent and Environment. DALT 2004: 270-288
118 Tibor Bosse, Catholijn M. Jonker, Jan Treur: Analysis of Design Process Dynamics. ECAI 2004: 293-297
117EECatholijn M. Jonker, Martijn C. Schut, Jan Treur, Pinar Yolum: Formal Analysis of Meeting Protocols. MABS 2004: 114-129
116EETibor Bosse, Catholijn M. Jonker, Martijn C. Schut, Jan Treur: Simulation and Analysis of Shared Extended Mind. MABS 2004: 248-264
115EECatholijn M. Jonker, Joost J. P. Schalken, Jan Theeuwes, Jan Treur: Human Experiments in Trust Dynamics. iTrust 2004: 206-220
114EEFrances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur: Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. Appl. Intell. 20(2): 95-117 (2004)
113EEMehdi Dastani, Catholijn M. Jonker, Jan Treur: A requirement specification language for configuration dynamics of multiagent systems. Int. J. Intell. Syst. 19(3): 277-300 (2004)
112EEMarcel Albers, Catholijn M. Jonker, Mehrzad Karami, Jan Treur: Agent Models and Different User Ontologies for an Electronic Market Place. Knowl. Inf. Syst. 6(1): 1-41 (2004)
2003
111EECatholijn M. Jonker, Vagan Y. Terziyan, Jan Treur: Temporal and Spatial Analysis to Personalise an Agent's Dynamic Belief, Desire, and Intention Profiles. CIA 2003: 298-315
110EECatholijn M. Jonker, Martijn C. Schut, Jan Treur: Organisational Change: Deliberation and Modification. CIA 2003: 336-344
109EEJoeri Engelfriet, Jan Treur: Multi-interpretation operators and approximate classification. Int. J. Approx. Reasoning 32(1): 43-61 (2003)
108EEWiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Formal semantics of meta-level architectures: Temporal epistemic reflection. Int. J. Intell. Syst. 18(12): 1293-1317 (2003)
107EEJoeri Engelfriet, Jan Treur: A compositional reasoning system for executing nonmonotonic theories of reasoning. Int. J. Intell. Syst. 18(6): 593-607 (2003)
106EEFrank Cornelissen, Catholijn M. Jonker, Jan Treur: Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods. Knowl. Inf. Syst. 5(3): 337-367 (2003)
2002
105EECatholijn M. Jonker, Jacky L. Snoep, Jan Treur, Hans V. Westerhoff, Wouter C. A. Wijngaards: Embodied intentional dynamics of bacterial behaviour. AAMAS 2002: 465-466
104EECatholijn M. Jonker, Jan Treur: A dynamic perspective on an agent's mental states and interaction with its environment. AAMAS 2002: 865-872
103EECatholijn M. Jonker, Jan Treur: Relating Structure and Dynamics in Organisation Models. MABS 2002: 50-69
102EETibor Bosse, Catholijn M. Jonker, Jan Treur: Organisation Modelling for the Dynamics of Complex Biological Processes. RASTA 2002: 92-112
101EEFrances M. T. Brazier, Joeri Engelfriet, Jan Treur: Analysis of Multi-Interpretable Ecological Monitoring Information. Applied Artificial Intelligence 16(1): 29-50 (2002)
100EECatholijn M. Jonker, Jan Treur: A Compositional Process Control Model and its Application to Biochemical Processes. Applied Artificial Intelligence 16(1): 51-71 (2002)
99EEPaul Leemans, Jan Treur, Mark Willems: A semantical perspective on verification of knowledge. Data Knowl. Eng. 40(1): 33-70 (2002)
98EEFrances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Principles of component-based design of intelligent agents. Data Knowl. Eng. 41(1): 1-27 (2002)
97EEFrances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur: A multi-agent system performing one-to-many negotiation for load balancing of electricity use. Electronic Commerce Research and Applications 1(2): 208-224 (2002)
96EECatholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. Int. J. Cooperative Inf. Syst. 11(1-2): 51-91 (2002)
95EECatholijn M. Jonker, Jan Treur: Modelling multiple mind-matter interaction. Int. J. Hum.-Comput. Stud. 57(3): 165-214 (2002)
94EEFrances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Dynamics and control in component-based agent models. Int. J. Intell. Syst. 17(11): 1007-1047 (2002)
93 Jan Treur: Formal semantics of meta-level architectures: Dynamic control of reasoning. Int. J. Intell. Syst. 17(6): 545-567 (2002)
92 Jan Treur: Semantic formalization of interactive reasoning functionality. Int. J. Intell. Syst. 17(7): 645-686 (2002)
91EEDaniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: A Compositional Knowledge Level Process Model of Requirements Engineering. International Journal of Software Engineering and Knowledge Engineering 12(1): 41-75 (2002)
90 Joeri Engelfriet, Catholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11(2): 195-225 (2002)
89 Joeri Engelfriet, Jan Treur: Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11(4): 389-425 (2002)
2001
88EEMehdi Dastani, Catholijn M. Jonker, Jan Treur: A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems. AOSE 2001: 169-187
87EECatholijn M. Jonker, Ioan Alfred Letia, Jan Treur: Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements. AOSE 2001: 17-32
86EEMehdi Dastani, Nico Jacobs, Catholijn M. Jonker, Jan Treur: Modeling User Preferences and Mediating Agents in Electronic Commerce. AgentLink 2001: 163-193
85EECatholijn M. Jonker, Jan Treur, Wieke de Vries: External attribution of intentional notions to explain and predict agent behaviour. Agents 2001: 41-42
84EECatholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards: A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour. CEEMAS 2001: 141-150
83EECatholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards: Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation. CEEMAS 2001: 151-160
82 Catholijn M. Jonker, Jan Treur: An Agent Architecture for Multi-Attribute Negotiation. IJCAI 2001: 1195-1201
81 Frances M. T. Brazier, Pascal van Eck, Jan Treur: Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation. Appl. Intell. 14(2): 161-178 (2001)
80 Catholijn M. Jonker, Remco A. Lam, Jan Treur: A Reusable Multi-Agent Architecture for Active Intelligent Websites. Appl. Intell. 15(1): 7-24 (2001)
79 Catholijn M. Jonker, Jan Treur: Agent-Based Simulation of Animal Behaviour. Appl. Intell. 15(2): 83-115 (2001)
78EECatholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards: An agent-based architecture for multimodal interaction. Int. J. Hum.-Comput. Stud. 54(3): 351-405 (2001)
77 Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: Deliberative Evolution in Multi-Agent Systems. International Journal of Software Engineering and Knowledge Engineering 11(5): 559-581 (2001)
76 Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13(2): 99-112 (2001)
2000
75EECatholijn M. Jonker, Jan Treur, Wieke de Vries: Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. AOSE 2000: 253-267
74 Catholijn M. Jonker, Matthias Klusch, Jan Treur: Design of Collaborative Information Agents. CIA 2000: 262-283
73EEJacques Ferber, Olivier Gutknecht, Catholijn M. Jonker, Jan Treur, Jean-Pierre Müller: Organization Models and Behavioral Requirements Specification for Multi-Agent Systems. ICMAS 2000: 387-388
72EEMike Klinkert, Jan Treur, Tim Verwaart: Knowledge-Intensive Gathering and Integration of Statistical Information on European Fisheries. IEA/AIE 2000: 230-235
71 Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards: An Executable Modal of the Interaction between Verbal and Non-verbal Communication. Issues in Agent Communication 2000: 331-350
70 Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence 14(5): 491-538 (2000)
69EEFrances M. T. Brazier, Frank Cornelissen, Catholijn M. Jonker, Jan Treur: Compositional Specification and Reuse of a Generic Cooperative Agent Model. Int. J. Cooperative Inf. Syst. 9(3): 171-208 (2000)
68EEFrances M. T. Brazier, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: On the use of shared task models in knowledge acquistion, strategic user interaction and clarification agents. Int. J. Hum.-Comput. Stud. 52(1): 77-110 (2000)
67 Joeri Engelfriet, Jan Treur: Specification of nonmonotonic reasoning. Journal of Applied Non-Classical Logics 10(1): (2000)
1999
66 Cristiano Castelfranchi, Frank Dignum, Catholijn M. Jonker, Jan Treur: Deliberative Normative Agents: Principles and Architecture. ATAL 1999: 364-378
65EEFrances M. T. Brazier, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: Deliberate Evolution in Multi-Agent Systems (extended abstract). Agents 1999: 356-357
64EECatholijn M. Jonker, Jan Treur: A Re-Usable Broker Agent Architecture with Dynamic Maintenance Capabilities. Agents 1999: 376-377
63EECatholijn M. Jonker, Jan Treur, Remco A. Lam: A Multi-agent Architecture for an Intelligent Website in Insurance. CIA 1999: 86-100
62EEDaniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: Integration of Behavioural Requirements Specification within Knowledge Engineering. EKAW 1999: 173-190
61 Catholijn M. Jonker, Jan Treur: A Compositional Process Control Model and Its Application to Biochemical Processes. IEA/AIE 1999: 298-305
60 Catholijn M. Jonker, Rob Kremer, Pim van Leeuwen, Dong Pan, Jan Treur: Visual and Textual Knowledge Representation in DESIRE. IEA/AIE 1999: 306-315
59 Catholijn M. Jonker, Jan Treur: Inforamtion Broker Agents in Intelligent Websites. IEA/AIE 1999: 430-439
58 Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: A Formal Knowledge Level Process Model of Requirements Engineering. IEA/AIE 1999: 869-878
57 Catholijn M. Jonker, Jan Treur: Formal Analysis of Models for the Dynamics of Trust Based on Experiences. MAAMAW 1999: 221-231
56 Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: Specification of Bahavioural Requirements within Compositional Multi-agent System Design. MAAMAW 1999: 8-27
55EEFrances M. T. Brazier, Catholijn M. Jonker, Frederik Jan Jungen, Jan Treur: Distributed Scheduling to Support a Call Center: A Cooperative Multiagent Approach. Applied Artificial Intelligence 13(1-2): 65-90 (1999)
54EEV. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic CoRR cs.LO/9901016: (1999)
53EEFrances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards, Mark Willems: Temporal Semantics of Compositional Task Models and Problem Solving Methods. Data Knowl. Eng. 29(1): 17-42 (1999)
52EEFrances M. T. Brazier, Jan Treur: Compositional modelling of reflective agents. Int. J. Hum.-Comput. Stud. 50(5): 407-431 (1999)
1998
51 Joeri Engelfriet, Catholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. ATAL 1998: 177-193
50EEFrances M. T. Brazier, Joeri Engelfriet, Jan Treur: Analysis of multi-interpretable ecological monitoring information. Applications of Uncertainty Formalisms 1998: 303-324
49EEFrances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur: Agents Negotiating for Load Balancing of Electricity Use. ICDCS 1998: 622-629
48 Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: An Agent Architecture for Dynamic Re-Design of Agents. ICMAS 1998: 401-402
47 Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur: Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. ICMAS 1998: 49-56
46 Catholijn M. Jonker, Jan Treur: Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour. IEA/AIE (Vol. 1) 1998: 584-595
45 Frits van Beusekom, Frances M. T. Brazier, Piet Schipper, Jan Treur: Development of an Ecological Decision Support System. IEA/AIE (Vol. 2) 1998: 815-825
44 Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. 24(1-4): 225-248 (1998)
43 Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7(3): 341-367 (1998)
42 Joeri Engelfriet, Jan Treur: An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7(3): 369-388 (1998)
41EEFrances M. T. Brazier, Pieter H. G. van Langen, Jan Treur: Strategic knowledge in design: a compositional approach. Knowl.-Based Syst. 11(7-8): 405-416 (1998)
1997
40 David Kinny, Jan Treur, Les Gasser, Steve Clark, Jörg P. Müller: Panel: Methodologies for Multi-Agent Systems. ATAL 1997: 1
39 Marco Mulder, Jan Treur, Michael Fisher: Agent Modelling in METATEM and DESIRE. ATAL 1997: 193-207
38EECatholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. COMPOS 1997: 350-380
37 Joeri Engelfriet, Jan Treur: A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. ECSQARU-FAPR 1997: 252-266
36 Frances M. T. Brazier, Pascal van Eck, Jan Treur: Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework. EKAW 1997: 317-322
35 Frank Cornelissen, Catholijn M. Jonker, Jan Treur: Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning. EKAW 1997: 65-80
34 Frank Cornelissen, Catholijn M. Jonker, Jan Treur: Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. EUROVAV 1997: 129-142
33 Catholijn M. Jonker, Jan Treur: Modelling an Agent's Mind and Matter. MAAMAW 1997: 210-224
32EEFrances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge: Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop 1997: 36-56
31 V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic. Ann. Math. Artif. Intell. 21(2-4): 343-358 (1997)
30 Frances M. T. Brazier, Barbara Dunin-Keplicz, Nicholas R. Jennings, Jan Treur: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. Int. J. Cooperative Inf. Syst. 6(1): 67-94 (1997)
1996
29 Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Formalization of a Cooperation Model Based on Joint Intentions. ATAL 1996: 141-155
28 Frances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards: Modelling Interaction with Experts: The Role of a Shared Task Model. ECAI 1996: 241-245
27 Joeri Engelfriet, Jan Treur: Semantics for Default Logic based on Specific Branching Time Models. ECAI 1996: 60-64
26 Frances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards: The Acquisition of a Shared Task Model. EKAW 1996: 278-289
25 Frances M. T. Brazier, Frank van Harmelen, Remco Straatman, Jan Treur, Niek J. E. Wijngaards, Mark Willems: The REVISE Project: A Purpose Driven Method for Language Comparison. EKAW 1996: 66-81
24 Joeri Engelfriet, Jan Treur: Specification of Nonmonotonic Reasonong. FAPR 1996: 111-125
23 Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Reasoning with Multiple Belief Sets. FAPR 1996: 331-344
22EEJoeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236
21EEFrances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Modelling project coordination in a multi-agent framework. WETICE 1996: 148-155
20EEFrances M. T. Brazier, Pieter H. G. van Langen, Jan Treur, Niek J. E. Wijngaards, Mark Willems: Modelling an elevator design task in DESIRE: the VT example. Int. J. Hum.-Comput. Stud. 44(3-4): 469-520 (1996)
19 Joeri Engelfriet, Jan Treur: Executable Temporal Logic for Non-Monotonic Reasoning. J. Symb. Comput. 22(5/6): 615-625 (1996)
18EEFrances M. T. Brazier, Pieter H. G. van Langen, Jan Treur, Niek J. E. Wijngaards: Redesign and reuse in compositional knowledge-based systems. Knowl.-Based Syst. 9(2): 105-118 (1996)
1995
17 Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU 1995: 189-196
16 Jan Treur, Mark Willems: Formal Notions for Verification of Dynamics of Knowledge-Based Systems. EUROVAV 1995: 189-199
15 Frances M. T. Brazier, Barbara Dunin-Keplicz, Nick R. Jennings, Jan Treur: Formal Specification of Multi-Agent Systems: A Real-World Case. ICMAS 1995: 25-32
14 Joeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5(1): (1995)
13 Joeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5(2): (1995)
1994
12 Ioa Gavrila, Jan Treur: A Formal Model for the Dynamics of Compositional Reasoning Systems. ECAI 1994: 307-311
11 Jan Treur, Mark Willems: A Logical Foundation for Verification. ECAI 1994: 745-749
10 Barbara Dunin-Keplicz, Jan Treur: Compositional Formal Specification of Multi-Agent Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 102-117
9 Frances M. T. Brazier, Jan Treur: User Centered Knowledge-Based System Design: a Formal Modelling Approach. EKAW 1994: 282-302
8EEJoeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. JELIA 1994: 279-299
7 Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352
6 Jan Treur: Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. META 1994: 353-376
1992
5 I. van Langevelde, A. Philipsen, Jan Treur: Formal Specification of Compositional Architectures. ECAI 1992: 272-276
4 Yao-Hua Tan, Jan Treur: Constructive Default Logic and the Control of defeasible reasoning. ECAI 1992: 299-303
3 Pieter Geelen, Zsófia Ruttkay, Jan Treur: Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications. EKAW 1992: 133-152
1991
2 Jan Treur: Declarative Functionality Descriptions of Interactive Reasoning Modules. PDK 1991: 221-236
1988
1 Jan Treur: Completeness and Definability in Diagnostic Expert Systems. ECAI 1988: 619-624

Coauthor Index

1Marcel Albers [112]
2Azizi Ab Aziz [201] [210]
3Frits van Beusekom [45]
4Tibor Bosse [102] [116] [118] [119] [121] [122] [123] [127] [128] [129] [133] [137] [138] [141] [142] [145] [146] [148] [150] [151] [152] [153] [154] [156] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [173] [174] [175] [176] [177] [179] [180] [183] [186] [190] [196] [197] [198] [200] [207] [211]
5Fiemke Both [166] [181] [186] [191] [195] [206]
6Frances M. T. Brazier [9] [15] [18] [20] [21] [25] [26] [28] [29] [30] [32] [36] [41] [45] [47] [48] [49] [50] [52] [53] [55] [65] [68] [69] [70] [77] [81] [94] [97] [98] [101] [114]
7Egon L. van den Broek [135] [140]
8Cristiano Castelfranchi [66]
9Steve Clark [40]
10Frank Cornelissen [34] [35] [47] [49] [69] [97] [106] [114]
11Daniela E. Damian (Daniela E. Herlea, Daniela Damian) [56] [58] [62] [91] [125]
12Mehdi Dastani [86] [88] [113] [126]
13Martine F. Delfos [141]
14Frank Dignum (F. P. M. Dignum) [66]
15Willem A. van Doesburg [171]
16Rob Duell [178] [207]
17Barbara Dunin-Keplicz [10] [15] [30] [32]
18Pascal van Eck [36] [81]
19Joeri Engelfriet [8] [13] [14] [17] [19] [22] [23] [24] [27] [37] [42] [44] [50] [51] [67] [76] [89] [90] [101] [107] [109]
20Jacques Ferber [73]
21Michael Fisher [39]
22Les Gasser [40]
23Ioa Gavrila [12]
24Pieter Geelen [3]
25Charlotte Gerritsen [163] [167] [176] [183] [190] [198]
26Rune Gustavsson [47] [49] [97] [114]
27Olivier Gutknecht [73]
28Frank van Harmelen [25]
29Heinrich Herre [17] [23] [44]
30Annerieke Heuvelink [187] [192]
31Wiebe van der Hoek [7] [43] [108]
32Mark Hoogendoorn [131] [134] [136] [139] [143] [144] [148] [149] [166] [169] [172] [178] [180] [181] [183] [189] [190] [191] [193] [194] [195] [202] [206] [207]
33Nico Jacobs [86] [126]
34S. Waqar Jaffry [183] [190] [193]
35Nicholas R. Jennings (Nick R. Jennings) [15] [30]
36Catholijn M. Jonker [21] [29] [33] [34] [35] [38] [46] [47] [48] [49] [51] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [68] [69] [70] [71] [73] [74] [75] [77] [78] [79] [80] [82] [83] [84] [85] [86] [87] [88] [90] [91] [94] [95] [96] [97] [98] [100] [102] [103] [104] [105] [106] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [129] [131] [133] [134] [135] [137] [138] [139] [140] [141] [142] [146] [149] [150] [151] [153] [154] [155] [156] [158] [159] [160] [175] [177] [200]
37Frederik Jan Jungen [55]
38Mehrzad Karami [112]
39David Kinny [40]
40Michel C. A. Klein [178] [180] [187] [189] [191] [192] [194] [201] [206] [207] [210]
41Mike Klinkert [72]
42Matthias Klusch [74]
43Rob Kremer [60] [124]
44Remco A. Lam [63] [80]
45Rianne van Lambalgen [179] [186] [207] [211]
46Pieter H. G. van Langen [18] [20] [41]
47I. van Langevelde [5]
48Paul Leemans [99]
49Pim van Leeuwen [60] [124]
50Ioan Alfred Letia [87]
51Olle Lindeberg [47] [49] [97] [114]
52Sander A. Los [137]
53Peter-Paul van Maanen [131] [134] [139] [145] [161] [171] [179] [197] [211]
54Victor W. Marek (V. Wiktor Marek) [22] [31] [54] [76]
55Andy van der Mee [207] [209]
56Lourens van der Meij [127] [133] [146] [154] [177] [200]
57Zulfiqar A. Memon [170] [185] [189] [194] [196] [204] [208]
58John-Jules Ch. Meyer [7] [43] [108]
59Nataliya M. Mogles [209]
60Marco Mulder [39]
61Jean-Pierre Müller [73]
62Jörg P. Müller [40]
63Rogier Oorburg [207]
64Dong Pan [60] [124]
65A. Philipsen [5]
66Bianca Polak [47] [49] [97] [114]
67Matthijs Pontier [164] [168]
68Viara Popova [132] [157]
69Valentin Robu [155]
70Zsófia Ruttkay [3]
71Joost J. P. Schalken [115]
72Piet Schipper [45]
73Martijn C. Schut [110] [116] [117] [123] [162] [172]
74Radu Serban [169]
75Alexei Sharpanskykh [135] [140] [146] [147] [159] [173] [174] [182] [184] [200] [205] [207]
76Ghazanfar F. Siddiqui [164]
77Jacky L. Snoep [105]
78Remco Straatman [25]
79Yao-Hua Tan [4]
80Vagan Y. Terziyan [111]
81Jan Theeuwes [115]
82Leendert W. N. van der Torre (Leendert van der Torre) [137]
83Miroslaw Truszczynski [22] [31] [54] [76]
84Dmytro Tykhonov [175]
85Muhammad Umair [202]
86Rineke Verbrugge (L. C. Verbrugge) [32]
87Marian Verhaegh [149]
88Tim Verwaart [72]
89Michael de Vos [207]
90Wieke de Vries [75] [85]
91David Wendt [162]
92Hans V. Westerhoff [105]
93Niek J. E. Wijngaards [18] [20] [25] [26] [28] [48] [53] [56] [58] [62] [65] [68] [77] [91] [125]
94Wouter C. A. Wijngaards [71] [78] [83] [84] [105] [158]
95Mark Willems [11] [16] [20] [25] [53] [99]
96Pinar Yolum [117] [120] [135] [136] [140] [143] [159]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)