2009 | ||
---|---|---|
194 | EE | Tibor 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) |
2008 | ||
193 | EE | Tibor Bosse, Zulfiqar A. Memon, Jan Treur: Adaptive Estimation of Emotion Generation for an Ambient Agent Model. AmI 2008: 141-156 |
192 | EE | Fiemke Both, Mark Hoogendoorn, Jan Treur: An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress. AmI 2008: 222-239 |
191 | EE | Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur: Modeling Dynamics of Relative Trust of Competitive Information Agents. CIA 2008: 55-70 |
190 | EE | Annerieke Heuvelink, Michel C. A. Klein, Jan Treur: A Formal Approach to Aggregated Belief Formation. CIA 2008: 71-85 |
189 | EE | Fiemke Both, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur: Modeling the Dynamics of Mood and Depression. ECAI 2008: 266-270 |
188 | EE | Tibor 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 |
187 | 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 | |
186 | EE | Jan Treur: Reduction Relations for Agent Models. IAT 2008: 176-183 |
185 | EE | Annerieke Heuvelink, Michel C. A. Klein, Jan Treur: An Agent Memory Model Enabling Rational and Biased Reasoning. IAT 2008: 193-199 |
184 | EE | Tibor Bosse, Fiemke Both, Rianne van Lambalgen, Jan Treur: An Agent Model for a Human's Functional State and Performance. IAT 2008: 302-307 |
183 | EE | Zulfiqar A. Memon, Jan Treur: Cognitive and Biological Agent Models for Emotion Reading. IAT 2008: 308-313 |
182 | EE | Alexei Sharpanskykh, Jan Treur: Relating Cognitive Process Models to Behavioural Models of Agents. IAT 2008: 330-335 |
181 | EE | Tibor 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 |
180 | EE | Alexei Sharpanskykh, Jan Treur: An ambient agent model for automated mindreading by identifying and monitoring representation relations. PETRA 2008: 91 |
179 | EE | Fiemke Both, Mark Hoogendoorn, Jan Treur: Model-based ambient analysis of human task execution. PETRA 2008: 92 |
178 | EE | Tibor Bosse, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur: A Component-Based Ambient Agent Model for Assessment of Driving Behaviour. UIC 2008: 229-243 |
177 | EE | Tibor Bosse, Rianne van Lambalgen, Peter-Paul van Maanen, Jan Treur: Automated Visual Attention Manipulation. WAPCV 2008: 257-272 |
176 | EE | Rob 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 |
175 | EE | Tibor 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 | ||
174 | EE | Tibor Bosse, Charlotte Gerritsen, Jan Treur: Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case. AAMAS 2007: 58 |
173 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytro Tykhonov: Formal Analysis of Trust Dynamics in Human and Software Agent Experiments. CIA 2007: 343-359 |
172 | EE | Tibor Bosse, Alexei Sharpanskykh, Jan Treur: On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition. DALT 2007: 175-192 |
171 | EE | Tibor Bosse, Alexei Sharpanskykh, Jan Treur: Integrating Agent Models and Dynamical Systems. DALT 2007: 50-68 |
170 | EE | Mark Hoogendoorn, Martijn C. Schut, Jan Treur: Modeling Decentralized Organizational Change in Honeybee Societies. ECAL 2007: 615-624 |
169 | EE | Tibor 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 |
168 | EE | Tibor Bosse, Zulfiqar A. Memon, Jan Treur: Emergent Storylines Based on Autonomous Characters with Mindreading Capabilities. IAT 2007: 207-214 |
167 | EE | Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Treur: A Specification Language for Coordination in Agent Systems. IAT 2007: 252-256 |
166 | EE | Tibor Bosse, Matthijs Pontier, Jan Treur: A Computational Model for Adaptive Emotion Regulation. IAT 2007: 289-293 |
165 | EE | Tibor Bosse, Charlotte Gerritsen, Jan Treur: Case Analysis of Criminal Behaviour. IEA/AIE 2007: 621-632 |
164 | EE | Tibor Bosse, Fiemke Both, Mark Hoogendoorn, Jan Treur: Specification of Adaptive Client-Tailored Product Models. IEEE SCW 2007: 253-261 |
163 | EE | Tibor Bosse, Jan Treur: Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods. IJCAI 2007: 262-267 |
162 | EE | Tibor Bosse, Matthijs Pontier, Ghazanfar F. Siddiqui, Jan Treur: Incorporating Emotion Regulation into Virtual Stories. IVA 2007: 339-347 |
161 | EE | Tibor 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 |
160 | EE | Tibor 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 |
159 | EE | Tibor Bosse, Peter-Paul van Maanen, Jan Treur: Simulation and Formal Analysis of Visual Attention in Cognitive Systems. WAPCV 2007: 463-480 |
158 | EE | Catholijn M. Jonker, Jan Treur: Agent-oriented modeling of the dynamics of biological organisms. Appl. Intell. 27(1): 1-20 (2007) |
157 | EE | Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum: A framework for formal modeling and analysis of organizations. Appl. Intell. 27(1): 49-66 (2007) |
156 | EE | Catholijn 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) |
155 | EE | Viara Popova, Jan Treur: A specification language for organisational performance indicators. Appl. Intell. 27(3): 291-301 (2007) |
154 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Simulation and Analysis of Controlled Multi-Representational Reasoning Processes. Applied Artificial Intelligence 21(10): 973-1018 (2007) |
153 | EE | Catholijn 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) |
152 | EE | Tibor 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) |
151 | EE | Tibor 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 | ||
150 | EE | Tibor Bosse, Jan Treur: Modelling dynamics of cognitive agents by higher-order potentialities. AAMAS 2006: 117-119 |
149 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective. Annual Simulation Symposium 2006: 304-311 |
148 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents. Annual Simulation Symposium 2006: 312-319 |
147 | EE | Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur, Marian Verhaegh: Agent-Based Analysis and Support for Incident Management. CIA 2006: 109-123 |
146 | EE | Tibor Bosse, Mark Hoogendoorn, Jan Treur: Automated Evaluation of Coordination Approaches. COORDINATION 2006: 44-62 |
145 | Alexei Sharpanskykh, Jan Treur: Verifying Interlevel Relations Within Multi-Agent Systems. ECAI 2006: 290-294 | |
144 | EE | Tibor 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 |
143 | EE | Tibor Bosse, Peter-Paul van Maanen, Jan Treur: A Cognitive Model for Visual Attention and Its Application. IAT 2006: 255-262 |
142 | EE | Mark Hoogendoorn, Jan Treur: An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation. IAT 2006: 474-481 |
141 | EE | Mark Hoogendoorn, Jan Treur, Pinar Yolum: A Labeled Graph Approach to Analyze Organizational Performance. IAT 2006: 482-489 |
140 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Formalization and Analysis of Reasoning by Assumption. Cognitive Science 30(1): 147-180 (2006) |
2005 | ||
139 | EE | Egon L. van den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum: Formal Modeling and Analysis of Organizations. AAMAS Workshops 2005: 18-34 |
138 | EE | Mark 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 |
137 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Requirements Analysis of an Agent's Reasoning Capability. AOIS 2005: 48-63 |
136 | EE | Tibor 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 |
135 | Mark Hoogendoorn, Jan Treur, Pinar Yolum: A Labeled Graph Approach to Support Analysis of Organizational Performance. BNAIC 2005: 347-348 | |
134 | Egon L. van den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum: Formal Modeling and Analysis of Organizations. BNAIC 2005: 391-392 | |
133 | 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 | |
132 | EE | Tibor 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 |
131 | EE | Viara Popova, Jan Treur: A Specification Language for Organisational Performance Indicators. IEA/AIE 2005: 667-677 |
130 | EE | Mark 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 |
129 | EE | Jan Treur: A Unified Perspective on Explaining Dynamics by Anticipatory State Properties. IWINAC (1) 2005: 27-37 |
128 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. IWINAC (1) 2005: 427-436 |
127 | EE | Tibor Bosse, Jan Treur: Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence. MABS 2005: 58-74 |
126 | EE | Tibor 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 |
125 | EE | Mehdi 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) |
124 | EE | Daniela 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) |
123 | EE | Catholijn 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) |
2004 | ||
122 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Representational Content and the Reciprocal Interplay of Agent and Environment. AAMAS 2004: 1408-1409 |
121 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Experiments in Human Multi-Issue Negotiation: Analysis and Support. AAMAS 2004: 671-678 |
120 | EE | Catholijn M. Jonker, Jan Treur, Pinar Yolum: A Formal Reuse-Based Approach for Interactively Designing Organizations. AOSE 2004: 221-237 |
119 | EE | Tibor 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 | |
117 | EE | Catholijn M. Jonker, Martijn C. Schut, Jan Treur, Pinar Yolum: Formal Analysis of Meeting Protocols. MABS 2004: 114-129 |
116 | EE | Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut, Jan Treur: Simulation and Analysis of Shared Extended Mind. MABS 2004: 248-264 |
115 | EE | Catholijn M. Jonker, Joost J. P. Schalken, Jan Theeuwes, Jan Treur: Human Experiments in Trust Dynamics. iTrust 2004: 206-220 |
114 | EE | Frances 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) |
113 | EE | Mehdi 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) |
112 | EE | Marcel 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 | ||
111 | EE | Catholijn 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 |
110 | EE | Catholijn M. Jonker, Martijn C. Schut, Jan Treur: Organisational Change: Deliberation and Modification. CIA 2003: 336-344 |
109 | EE | Joeri Engelfriet, Jan Treur: Multi-interpretation operators and approximate classification. Int. J. Approx. Reasoning 32(1): 43-61 (2003) |
108 | EE | Wiebe 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) |
107 | EE | Joeri Engelfriet, Jan Treur: A compositional reasoning system for executing nonmonotonic theories of reasoning. Int. J. Intell. Syst. 18(6): 593-607 (2003) |
106 | EE | Frank 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 | ||
105 | EE | Catholijn M. Jonker, Jacky L. Snoep, Jan Treur, Hans V. Westerhoff, Wouter C. A. Wijngaards: Embodied intentional dynamics of bacterial behaviour. AAMAS 2002: 465-466 |
104 | EE | Catholijn M. Jonker, Jan Treur: A dynamic perspective on an agent's mental states and interaction with its environment. AAMAS 2002: 865-872 |
103 | EE | Catholijn M. Jonker, Jan Treur: Relating Structure and Dynamics in Organisation Models. MABS 2002: 50-69 |
102 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Organisation Modelling for the Dynamics of Complex Biological Processes. RASTA 2002: 92-112 |
101 | EE | Frances M. T. Brazier, Joeri Engelfriet, Jan Treur: Analysis of Multi-Interpretable Ecological Monitoring Information. Applied Artificial Intelligence 16(1): 29-50 (2002) |
100 | EE | Catholijn M. Jonker, Jan Treur: A Compositional Process Control Model and its Application to Biochemical Processes. Applied Artificial Intelligence 16(1): 51-71 (2002) |
99 | EE | Paul Leemans, Jan Treur, Mark Willems: A semantical perspective on verification of knowledge. Data Knowl. Eng. 40(1): 33-70 (2002) |
98 | EE | Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Principles of component-based design of intelligent agents. Data Knowl. Eng. 41(1): 1-27 (2002) |
97 | EE | Frances 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) |
96 | EE | Catholijn 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) |
95 | EE | Catholijn M. Jonker, Jan Treur: Modelling multiple mind-matter interaction. Int. J. Hum.-Comput. Stud. 57(3): 165-214 (2002) |
94 | EE | Frances 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) | |
91 | EE | Daniela 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 | ||
88 | EE | Mehdi Dastani, Catholijn M. Jonker, Jan Treur: A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems. AOSE 2001: 169-187 |
87 | EE | Catholijn M. Jonker, Ioan Alfred Letia, Jan Treur: Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements. AOSE 2001: 17-32 |
86 | EE | Mehdi Dastani, Nico Jacobs, Catholijn M. Jonker, Jan Treur: Modeling User Preferences and Mediating Agents in Electronic Commerce. AgentLink 2001: 163-193 |
85 | EE | Catholijn M. Jonker, Jan Treur, Wieke de Vries: External attribution of intentional notions to explain and predict agent behaviour. Agents 2001: 41-42 |
84 | EE | Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards: A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour. CEEMAS 2001: 141-150 |
83 | EE | Catholijn 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) | |
78 | EE | Catholijn 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 | ||
75 | EE | Catholijn 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 | |
73 | EE | Jacques 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 |
72 | EE | Mike 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) | |
69 | EE | Frances 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) |
68 | EE | Frances 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 | |
65 | EE | Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards: Deliberate Evolution in Multi-Agent Systems (extended abstract). Agents 1999: 356-357 |
64 | EE | Catholijn M. Jonker, Jan Treur: A Re-Usable Broker Agent Architecture with Dynamic Maintenance Capabilities. Agents 1999: 376-377 |
63 | EE | Catholijn M. Jonker, Jan Treur, Remco A. Lam: A Multi-agent Architecture for an Intelligent Website in Insurance. CIA 1999: 86-100 |
62 | EE | Daniela 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 | |
55 | EE | Frances 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) |
54 | EE | V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic CoRR cs.LO/9901016: (1999) |
53 | EE | Frances 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) |
52 | EE | Frances 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 | |
50 | EE | Frances M. T. Brazier, Joeri Engelfriet, Jan Treur: Analysis of multi-interpretable ecological monitoring information. Applications of Uncertainty Formalisms 1998: 303-324 |
49 | EE | Frances 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) | |
41 | EE | Frances 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 | |
38 | EE | Catholijn 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 | |
32 | EE | Frances 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 | |
22 | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236 | |
21 | EE | Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Modelling project coordination in a multi-agent framework. WETICE 1996: 148-155 |
20 | EE | Frances 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) | |
18 | EE | Frances 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 | |
8 | Joeri 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 |