| 2008 |
|---|
| 172 | | Mark Hoogendoorn,
Michel Klein,
Zulfiqar A. Memon,
Jan Treur:
Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management.
HEALTHINF (1) 2008: 148-155 |
| 2007 |
|---|
| 171 | EE | Tibor Bosse,
Charlotte Gerritsen,
Jan Treur:
Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case.
AAMAS 2007: 58 |
| 170 | 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 |
| 169 | EE | Tibor Bosse,
Alexei Sharpanskykh,
Jan Treur:
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition.
DALT 2007: 175-192 |
| 168 | EE | Tibor Bosse,
Alexei Sharpanskykh,
Jan Treur:
Integrating Agent Models and Dynamical Systems.
DALT 2007: 50-68 |
| 167 | EE | Mark Hoogendoorn,
Martijn C. Schut,
Jan Treur:
Modeling Decentralized Organizational Change in Honeybee Societies.
ECAL 2007: 615-624 |
| 166 | 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 |
| 165 | EE | Tibor Bosse,
Zulfiqar A. Memon,
Jan Treur:
Emergent Storylines Based on Autonomous Characters with Mindreading Capabilities.
IAT 2007: 207-214 |
| 164 | EE | Tibor Bosse,
Mark Hoogendoorn,
Radu Serban,
Jan Treur:
A Specification Language for Coordination in Agent Systems.
IAT 2007: 252-256 |
| 163 | EE | Tibor Bosse,
Matthijs Pontier,
Jan Treur:
A Computational Model for Adaptive Emotion Regulation.
IAT 2007: 289-293 |
| 162 | EE | Tibor Bosse,
Charlotte Gerritsen,
Jan Treur:
Case Analysis of Criminal Behaviour.
IEA/AIE 2007: 621-632 |
| 161 | EE | Tibor Bosse,
Fiemke Both,
Mark Hoogendoorn,
Jan Treur:
Specification of Adaptive Client-Tailored Product Models.
IEEE SCW 2007: 253-261 |
| 160 | EE | Tibor Bosse,
Jan Treur:
Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods.
IJCAI 2007: 262-267 |
| 159 | EE | Tibor Bosse,
Matthijs Pontier,
Ghazanfar F. Siddiqui,
Jan Treur:
Incorporating Emotion Regulation into Virtual Stories.
IVA 2007: 339-347 |
| 158 | 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 |
| 157 | EE | Tibor Bosse,
Peter-Paul van Maanen,
Jan Treur:
Simulation and Formal Analysis of Visual Attention in Cognitive Systems.
WAPCV 2007: 463-480 |
| 156 | EE | Catholijn M. Jonker,
Jan Treur:
Agent-oriented modeling of the dynamics of biological organisms.
Appl. Intell. 27(1): 1-20 (2007) |
| 155 | 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) |
| 154 | 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) |
| 153 | EE | Viara Popova,
Jan Treur:
A specification language for organisational performance indicators.
Appl. Intell. 27(3): 291-301 (2007) |
| 152 | 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) |
| 151 | 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) |
| 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 |
