Search the dblp DataBase
Jan Treur :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Catholijn M. Jonker , Jan Treur , Wouter C. A. Wijngaards An Executable Modal of the Interaction between Verbal and Non-verbal Communication. [Citation Graph (0, 0)][DBLP ] Issues in Agent Communication, 2000, pp:331-350 [Conf ] Mehdi Dastani , Nico Jacobs , Catholijn M. Jonker , Jan Treur Modeling User Preferences and Mediating Agents in Electronic Commerce. [Citation Graph (0, 0)][DBLP ] AgentLink, 2001, pp:163-193 [Conf ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards Deliberate Evolution in Multi-Agent Systems (extended abstract). [Citation Graph (0, 0)][DBLP ] Agents, 1999, pp:356-357 [Conf ] Catholijn M. Jonker , Jan Treur A Re-Usable Broker Agent Architecture with Dynamic Maintenance Capabilities. [Citation Graph (0, 0)][DBLP ] Agents, 1999, pp:376-377 [Conf ] Catholijn M. Jonker , Jan Treur , Wieke de Vries External attribution of intentional notions to explain and predict agent behaviour. [Citation Graph (0, 0)][DBLP ] Agents, 2001, pp:41-42 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective. [Citation Graph (0, 0)][DBLP ] Annual Simulation Symposium, 2006, pp:304-311 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents. [Citation Graph (0, 0)][DBLP ] Annual Simulation Symposium, 2006, pp:312-319 [Conf ] Mark Hoogendoorn , Catholijn M. Jonker , Peter-Paul van Maanen , Jan Treur An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning. [Citation Graph (0, 0)][DBLP ] AOIS, 2005, pp:216-230 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Requirements Analysis of an Agent's Reasoning Capability. [Citation Graph (0, 0)][DBLP ] AOIS, 2005, pp:48-63 [Conf ] Mehdi Dastani , Catholijn M. Jonker , Jan Treur A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] AOSE, 2001, pp:169-187 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] AOSE, 2005, pp:54-68 [Conf ] Catholijn M. Jonker , Ioan Alfred Letia , Jan Treur Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements. [Citation Graph (0, 0)][DBLP ] AOSE, 2001, pp:17-32 [Conf ] Catholijn M. Jonker , Jan Treur , Wieke de Vries Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. [Citation Graph (0, 0)][DBLP ] AOSE, 2000, pp:253-267 [Conf ] Catholijn M. Jonker , Jan Treur , Pinar Yolum A Formal Reuse-Based Approach for Interactively Designing Organizations. [Citation Graph (0, 0)][DBLP ] AOSE, 2004, pp:221-237 [Conf ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur Formalization of a Cooperation Model Based on Joint Intentions. [Citation Graph (0, 0)][DBLP ] ATAL, 1996, pp:141-155 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Representational Content and the Reciprocal Interplay of Agent and Environment. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:1408-1409 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Experiments in Human Multi-Issue Negotiation: Analysis and Support. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:671-678 [Conf ] Tibor Bosse , Jan Treur Modelling dynamics of cognitive agents by higher-order potentialities. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:117-119 [Conf ] Cristiano Castelfranchi , Frank Dignum , Catholijn M. Jonker , Jan Treur Deliberative Normative Agents: Principles and Architecture. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:364-378 [Conf ] Joeri Engelfriet , Catholijn M. Jonker , Jan Treur Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. [Citation Graph (0, 0)][DBLP ] ATAL, 1998, pp:177-193 [Conf ] Catholijn M. Jonker , Jacky L. Snoep , Jan Treur , Hans V. Westerhoff , Wouter C. A. Wijngaards Embodied intentional dynamics of bacterial behaviour. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:465-466 [Conf ] Catholijn M. Jonker , Jan Treur A dynamic perspective on an agent's mental states and interaction with its environment. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:865-872 [Conf ] David Kinny , Jan Treur , Les Gasser , Steve Clark , Jörg P. Müller Panel: Methodologies for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ATAL, 1997, pp:1- [Conf ] Marco Mulder , Jan Treur , Michael Fisher Agent Modelling in METATEM and DESIRE. [Citation Graph (0, 0)][DBLP ] ATAL, 1997, pp:193-207 [Conf ] Egon L. van den Broek , Catholijn M. Jonker , Alexei Sharpanskykh , Jan Treur , Pinar Yolum Formal Modeling and Analysis of Organizations. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:391-392 [Conf ] Mark Hoogendoorn , Catholijn M. Jonker , Peter-Paul van Maanen , Jan Treur A Meta-Level Architecture for Strategic Reasoning in Naval Planning (extended abstract). [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:401-402 [Conf ] Mark Hoogendoorn , Jan Treur , Pinar Yolum A Labeled Graph Approach to Support Analysis of Organizational Performance. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:347-348 [Conf ] Catholijn M. Jonker , Jan Treur , Wouter C. A. Wijngaards A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour. [Citation Graph (0, 0)][DBLP ] CEEMAS, 2001, pp:141-150 [Conf ] Catholijn M. Jonker , Jan Treur , Wouter C. A. Wijngaards Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation. [Citation Graph (0, 0)][DBLP ] CEEMAS, 2001, pp:151-160 [Conf ] Catholijn M. Jonker , Matthias Klusch , Jan Treur Design of Collaborative Information Agents. [Citation Graph (0, 0)][DBLP ] CIA, 2000, pp:262-283 [Conf ] Catholijn M. Jonker , Martijn C. Schut , Jan Treur Organisational Change: Deliberation and Modification. [Citation Graph (0, 0)][DBLP ] CIA, 2003, pp:336-344 [Conf ] Catholijn M. Jonker , Jan Treur , Remco A. Lam A Multi-agent Architecture for an Intelligent Website in Insurance. [Citation Graph (0, 0)][DBLP ] CIA, 1999, pp:86-100 [Conf ] Catholijn M. Jonker , Vagan Y. Terziyan , Jan Treur Temporal and Spatial Analysis to Personalise an Agent's Dynamic Belief, Desire, and Intention Profiles. [Citation Graph (0, 0)][DBLP ] CIA, 2003, pp:298-315 [Conf ] Mark Hoogendoorn , Catholijn M. Jonker , Jan Treur , Marian Verhaegh Agent-Based Analysis and Support for Incident Management. [Citation Graph (0, 0)][DBLP ] CIA, 2006, pp:109-123 [Conf ] Catholijn M. Jonker , Jan Treur Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. [Citation Graph (0, 0)][DBLP ] COMPOS, 1997, pp:350-380 [Conf ] Tibor Bosse , Mark Hoogendoorn , Jan Treur Automated Evaluation of Coordination Approaches. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2006, pp:44-62 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Representational Content and the Reciprocal Interplay of Agent and Environment. [Citation Graph (0, 0)][DBLP ] DALT, 2004, pp:270-288 [Conf ] Frances M. T. Brazier , Joeri Engelfriet , Jan Treur Analysis of multi-interpretable ecological monitoring information. [Citation Graph (0, 0)][DBLP ] Applications of Uncertainty Formalisms, 1998, pp:303-324 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Analysis of Design Process Dynamics. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:293-297 [Conf ] Frances M. T. Brazier , Jan Treur , Niek J. E. Wijngaards Modelling Interaction with Experts: The Role of a Shared Task Model. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:241-245 [Conf ] Joeri Engelfriet , Jan Treur Semantics for Default Logic based on Specific Branching Time Models. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:60-64 [Conf ] Ioa Gavrila , Jan Treur A Formal Model for the Dynamics of Compositional Reasoning Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:307-311 [Conf ] I. van Langevelde , A. Philipsen , Jan Treur Formal Specification of Compositional Architectures. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:272-276 [Conf ] Alexei Sharpanskykh , Jan Treur Verifying Interlevel Relations Within Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:290-294 [Conf ] Yao-Hua Tan , Jan Treur Constructive Default Logic and the Control of defeasible reasoning. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:299-303 [Conf ] Jan Treur Completeness and Definability in Diagnostic Expert Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1988, pp:619-624 [Conf ] Jan Treur , Mark Willems A Logical Foundation for Verification. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:745-749 [Conf ] Barbara Dunin-Keplicz , Jan Treur Compositional Formal Specification of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ECAI Workshop on Agent Theories, Architectures, and Languages, 1994, pp:102-117 [Conf ] Joeri Engelfriet , Heinrich Herre , Jan Treur Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). [Citation Graph (0, 0)][DBLP ] ECSQARU, 1995, pp:189-196 [Conf ] Joeri Engelfriet , Jan Treur A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. [Citation Graph (0, 0)][DBLP ] ECSQARU-FAPR, 1997, pp:252-266 [Conf ] Pieter Geelen , Zsófia Ruttkay , Jan Treur Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications. [Citation Graph (0, 0)][DBLP ] EKAW, 1992, pp:133-152 [Conf ] Frances M. T. Brazier , Jan Treur , Niek J. E. Wijngaards The Acquisition of a Shared Task Model. [Citation Graph (0, 0)][DBLP ] EKAW, 1996, pp:278-289 [Conf ] Frank Cornelissen , Catholijn M. Jonker , Jan Treur Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP ] EKAW, 1997, pp:65-80 [Conf ] Frances M. T. Brazier , Pascal van Eck , Jan Treur Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework. [Citation Graph (0, 0)][DBLP ] EKAW, 1997, pp:317-322 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] EKAW, 1996, pp:66-81 [Conf ] Frances M. T. Brazier , Jan Treur User Centered Knowledge-Based System Design: a Formal Modelling Approach. [Citation Graph (0, 0)][DBLP ] EKAW, 1994, pp:282-302 [Conf ] Daniela E. Herlea , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards Integration of Behavioural Requirements Specification within Knowledge Engineering. [Citation Graph (0, 0)][DBLP ] EKAW, 1999, pp:173-190 [Conf ] Frank Cornelissen , Catholijn M. Jonker , Jan Treur Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1997, pp:129-142 [Conf ] Jan Treur , Mark Willems Formal Notions for Verification of Dynamics of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1995, pp:189-199 [Conf ] Joeri Engelfriet , Heinrich Herre , Jan Treur Nonmonotonic Reasoning with Multiple Belief Sets. [Citation Graph (0, 0)][DBLP ] FAPR, 1996, pp:331-344 [Conf ] Joeri Engelfriet , Jan Treur Specification of Nonmonotonic Reasonong. [Citation Graph (0, 0)][DBLP ] FAPR, 1996, pp:111-125 [Conf ] Tibor Bosse , Peter-Paul van Maanen , Jan Treur A Cognitive Model for Visual Attention and Its Application. [Citation Graph (0, 0)][DBLP ] IAT, 2006, pp:255-262 [Conf ] Mark Hoogendoorn , Jan Treur , Pinar Yolum A Labeled Graph Approach to Analyze Organizational Performance. [Citation Graph (0, 0)][DBLP ] IAT, 2006, pp:482-489 [Conf ] Mark Hoogendoorn , Jan Treur An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation. [Citation Graph (0, 0)][DBLP ] IAT, 2006, pp:474-481 [Conf ] Tibor Bosse , Catholijn M. Jonker , Lourens van der Meij , Alexei Sharpanskykh , Jan Treur Specification and Verification of Dynamics in Cognitive Agent Models. [Citation Graph (0, 0)][DBLP ] IAT, 2006, pp:247-254 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICDCS, 1998, pp:622-629 [Conf ] Jacques Ferber , Olivier Gutknecht , Catholijn M. Jonker , Jan Treur , Jean-Pierre Müller Organization Models and Behavioral Requirements Specification for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ICMAS, 2000, pp:387-388 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICMAS, 1998, pp:49-56 [Conf ] Frances M. T. Brazier , Barbara Dunin-Keplicz , Nick R. Jennings , Jan Treur Formal Specification of Multi-Agent Systems: A Real-World Case. [Citation Graph (0, 0)][DBLP ] ICMAS, 1995, pp:25-32 [Conf ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards An Agent Architecture for Dynamic Re-Design of Agents. [Citation Graph (0, 0)][DBLP ] ICMAS, 1998, pp:401-402 [Conf ] Frits van Beusekom , Frances M. T. Brazier , Piet Schipper , Jan Treur Development of an Ecological Decision Support System. [Citation Graph (0, 0)][DBLP ] IEA/AIE (Vol. 2), 1998, pp:815-825 [Conf ] Tibor Bosse , Catholijn M. Jonker , Lourens van der Meij , Jan Treur LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2005, pp:363-366 [Conf ] Daniela E. Herlea , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards A Formal Knowledge Level Process Model of Requirements Engineering. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 1999, pp:869-878 [Conf ] Mark Hoogendoorn , Catholijn M. Jonker , Peter-Paul van Maanen , Jan Treur A Meta-level Architecture for Strategic Reasoning in Naval Planning. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2005, pp:848-850 [Conf ] Catholijn M. Jonker , Rob Kremer , Pim van Leeuwen , Dong Pan , Jan Treur Visual and Textual Knowledge Representation in DESIRE. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 1999, pp:306-315 [Conf ] Catholijn M. Jonker , Jan Treur Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour. [Citation Graph (0, 0)][DBLP ] IEA/AIE (Vol. 1), 1998, pp:584-595 [Conf ] Catholijn M. Jonker , Jan Treur A Compositional Process Control Model and Its Application to Biochemical Processes. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 1999, pp:298-305 [Conf ] Catholijn M. Jonker , Jan Treur Inforamtion Broker Agents in Intelligent Websites. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 1999, pp:430-439 [Conf ] Mike Klinkert , Jan Treur , Tim Verwaart Knowledge-Intensive Gathering and Integration of Statistical Information on European Fisheries. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2000, pp:230-235 [Conf ] Viara Popova , Jan Treur A Specification Language for Organisational Performance Indicators. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2005, pp:667-677 [Conf ] Catholijn M. Jonker , Jan Treur An Agent Architecture for Multi-Attribute Negotiation. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:1195-1201 [Conf ] Tibor Bosse , Jan Treur Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:262-267 [Conf ] Catholijn M. Jonker , Joost J. P. Schalken , Jan Theeuwes , Jan Treur Human Experiments in Trust Dynamics. [Citation Graph (0, 0)][DBLP ] iTrust, 2004, pp:206-220 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. [Citation Graph (0, 0)][DBLP ] IWINAC (1), 2005, pp:427-436 [Conf ] Jan Treur A Unified Perspective on Explaining Dynamics by Anticipatory State Properties. [Citation Graph (0, 0)][DBLP ] IWINAC (1), 2005, pp:27-37 [Conf ] Joeri Engelfriet , V. Wiktor Marek , Jan Treur , Miroslaw Truszczynski Infinitary Default Logic for Specification of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] JELIA, 1996, pp:224-236 [Conf ] Joeri Engelfriet , Jan Treur Temporal Theories of Reasoning. [Citation Graph (0, 0)][DBLP ] JELIA, 1994, pp:279-299 [Conf ] Wiebe van der Hoek , John-Jules Ch. Meyer , Jan Treur Formal Semantics of Temporal Epistemic Reflection. [Citation Graph (0, 0)][DBLP ] META, 1994, pp:332-352 [Conf ] Jan Treur Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. [Citation Graph (0, 0)][DBLP ] META, 1994, pp:353-376 [Conf ] Daniela E. Herlea , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards Specification of Bahavioural Requirements within Compositional Multi-agent System Design. [Citation Graph (0, 0)][DBLP ] MAAMAW, 1999, pp:8-27 [Conf ] Catholijn M. Jonker , Jan Treur Modelling an Agent's Mind and Matter. [Citation Graph (0, 0)][DBLP ] MAAMAW, 1997, pp:210-224 [Conf ] Catholijn M. Jonker , Jan Treur Formal Analysis of Models for the Dynamics of Trust Based on Experiences. [Citation Graph (0, 0)][DBLP ] MAAMAW, 1999, pp:221-231 [Conf ] Tibor Bosse , Catholijn M. Jonker , Martijn C. Schut , Jan Treur Simulation and Analysis of Shared Extended Mind. [Citation Graph (0, 0)][DBLP ] MABS, 2004, pp:248-264 [Conf ] Tibor Bosse , Jan Treur Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence. [Citation Graph (0, 0)][DBLP ] MABS, 2005, pp:58-74 [Conf ] Catholijn M. Jonker , Martijn C. Schut , Jan Treur , Pinar Yolum Formal Analysis of Meeting Protocols. [Citation Graph (0, 0)][DBLP ] MABS, 2004, pp:114-129 [Conf ] Catholijn M. Jonker , Jan Treur Relating Structure and Dynamics in Organisation Models. [Citation Graph (0, 0)][DBLP ] MABS, 2002, pp:50-69 [Conf ] Tibor Bosse , Catholijn M. Jonker , Lourens van der Meij , Jan Treur LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn. [Citation Graph (0, 0)][DBLP ] MATES, 2005, pp:165-178 [Conf ] Frances M. T. Brazier , Barbara Dunin-Keplicz , Jan Treur , Rineke Verbrugge Modelling Internal Dynamic Behaviour of BDI Agents. [Citation Graph (0, 0)][DBLP ] ModelAge Workshop, 1997, pp:36-56 [Conf ] Jan Treur Declarative Functionality Descriptions of Interactive Reasoning Modules. [Citation Graph (0, 0)][DBLP ] PDK, 1991, pp:221-236 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Organisation Modelling for the Dynamics of Complex Biological Processes. [Citation Graph (0, 0)][DBLP ] RASTA, 2002, pp:92-112 [Conf ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur Modelling project coordination in a multi-agent framework. [Citation Graph (0, 0)][DBLP ] WETICE, 1996, pp:148-155 [Conf ] Frances M. T. Brazier , Joeri Engelfriet , Jan Treur Analysis of Multi-Interpretable Ecological Monitoring Information. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2002, v:16, n:1, pp:29-50 [Journal ] Frances M. T. Brazier , Catholijn M. Jonker , Frederik Jan Jungen , Jan Treur Distributed Scheduling to Support a Call Center: A Cooperative Multiagent Approach. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 1999, v:13, n:1-2, pp:65-90 [Journal ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur Compositional Design and Reuse of a Generic Agent Model. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2000, v:14, n:5, pp:491-538 [Journal ] Catholijn M. Jonker , Jan Treur A Compositional Process Control Model and its Application to Biochemical Processes. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2002, v:16, n:1, pp:51-71 [Journal ] Joeri Engelfriet , Heinrich Herre , Jan Treur Nonmonotonic Reasoning with Multiple Belief Sets. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1998, v:24, n:1-4, pp:225-248 [Journal ] V. Wiktor Marek , Jan Treur , Miroslaw Truszczynski Representation Theory for Default Logic. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:343-358 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2004, v:20, n:2, pp:95-117 [Journal ] Frances M. T. Brazier , Pascal van Eck , Jan Treur Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2001, v:14, n:2, pp:161-178 [Journal ] Catholijn M. Jonker , Remco A. Lam , Jan Treur A Reusable Multi-Agent Architecture for Active Intelligent Websites. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2001, v:15, n:1, pp:7-24 [Journal ] Catholijn M. Jonker , Jan Treur Agent-Based Simulation of Animal Behaviour. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2001, v:15, n:2, pp:83-115 [Journal ] Tibor Bosse , Catholijn M. Jonker , Jan Treur Formalization and Analysis of Reasoning by Assumption. [Citation Graph (0, 0)][DBLP ] Cognitive Science, 2006, v:30, n:1, pp:147-180 [Journal ] V. Wiktor Marek , Jan Treur , Miroslaw Truszczynski Representation Theory for Default Logic [Citation Graph (0, 0)][DBLP ] CoRR, 1999, v:0, n:, pp:- [Journal ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur Principles of component-based design of intelligent agents. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2002, v:41, n:1, pp:1-27 [Journal ] Frances M. T. Brazier , Jan Treur , Niek J. E. Wijngaards , Mark Willems Temporal Semantics of Compositional Task Models and Problem Solving Methods. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 1999, v:29, n:1, pp:17-42 [Journal ] Paul Leemans , Jan Treur , Mark Willems A semantical perspective on verification of knowledge. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2002, v:40, n:1, pp:33-70 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research and Applications, 2002, v:1, n:2, pp:208-224 [Journal ] Joeri Engelfriet , Jan Treur Multi-interpretation operators and approximate classification. [Citation Graph (0, 0)][DBLP ] Int. J. Approx. Reasoning, 2003, v:32, n:1, pp:43-61 [Journal ] Frances M. T. Brazier , Frank Cornelissen , Catholijn M. Jonker , Jan Treur Compositional Specification and Reuse of a Generic Cooperative Agent Model. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2000, v:9, n:3, pp:171-208 [Journal ] Frances M. T. Brazier , Barbara Dunin-Keplicz , Nicholas R. Jennings , Jan Treur DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:67-94 [Journal ] Catholijn M. Jonker , Jan Treur Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2002, v:11, n:1-2, pp:51-91 [Journal ] Mehdi Dastani , Catholijn M. Jonker , Jan Treur A requirement specification language for configuration dynamics of multiagent systems. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2004, v:19, n:3, pp:277-300 [Journal ] Joeri Engelfriet , Jan Treur A compositional reasoning system for executing nonmonotonic theories of reasoning. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2003, v:18, n:6, pp:593-607 [Journal ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur Dynamics and control in component-based agent models. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2002, v:17, n:11, pp:1007-1047 [Journal ] Wiebe van der Hoek , John-Jules Ch. Meyer , Jan Treur Formal semantics of meta-level architectures: Temporal epistemic reflection. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2003, v:18, n:12, pp:1293-1317 [Journal ] Jan Treur Formal semantics of meta-level architectures: Dynamic control of reasoning. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2002, v:17, n:6, pp:545-567 [Journal ] Jan Treur Semantic formalization of interactive reasoning functionality. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2002, v:17, n:7, pp:645-686 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 2000, v:52, n:1, pp:77-110 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 1996, v:44, n:3-4, pp:469-520 [Journal ] Frances M. T. Brazier , Jan Treur Compositional modelling of reflective agents. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 1999, v:50, n:5, pp:407-431 [Journal ] Catholijn M. Jonker , Jan Treur Modelling multiple mind-matter interaction. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 2002, v:57, n:3, pp:165-214 [Journal ] Catholijn M. Jonker , Jan Treur , Wouter C. A. Wijngaards An agent-based architecture for multimodal interaction. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 2001, v:54, n:3, pp:351-405 [Journal ] Frances M. T. Brazier , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards Deliberative Evolution in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:5, pp:559-581 [Journal ] Daniela E. Herlea , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards A Compositional Knowledge Level Process Model of Requirements Engineering. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2002, v:12, n:1, pp:41-75 [Journal ] Joeri Engelfriet , Jan Treur Specification of nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2000, v:10, n:1, pp:- [Journal ] Joeri Engelfriet , Jan Treur Temporal Theories of Reasoning. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal ] Joeri Engelfriet , Jan Treur Temporal Theories of Reasoning. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1995, v:5, n:2, pp:- [Journal ] Joeri Engelfriet , V. Wiktor Marek , Jan Treur , Miroslaw Truszczynski Default logic and specification of nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP ] J. Exp. Theor. Artif. Intell., 2001, v:13, n:2, pp:99-112 [Journal ] Joeri Engelfriet , Catholijn M. Jonker , Jan Treur Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2002, v:11, n:2, pp:195-225 [Journal ] Joeri Engelfriet , Jan Treur Linear, Branching Time and Joint Closure Semantics for Temporal Logic. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2002, v:11, n:4, pp:389-425 [Journal ] Joeri Engelfriet , Jan Treur An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1998, v:7, n:3, pp:369-388 [Journal ] Wiebe van der Hoek , John-Jules Ch. Meyer , Jan Treur Temporalizing Epistemic Default Logic. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1998, v:7, n:3, pp:341-367 [Journal ] Joeri Engelfriet , Jan Treur Executable Temporal Logic for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1996, v:22, n:5/6, pp:615-625 [Journal ] Marcel Albers , Catholijn M. Jonker , Mehrzad Karami , Jan Treur Agent Models and Different User Ontologies for an Electronic Market Place. [Citation Graph (0, 0)][DBLP ] Knowl. Inf. Syst., 2004, v:6, n:1, pp:1-41 [Journal ] Frank Cornelissen , Catholijn M. Jonker , Jan Treur Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods. [Citation Graph (0, 0)][DBLP ] Knowl. Inf. Syst., 2003, v:5, n:3, pp:337-367 [Journal ] Frances M. T. Brazier , Pieter H. G. van Langen , Jan Treur Strategic knowledge in design: a compositional approach. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 1998, v:11, n:7-8, pp:405-416 [Journal ] Frances M. T. Brazier , Pieter H. G. van Langen , Jan Treur , Niek J. E. Wijngaards Redesign and reuse in compositional knowledge-based systems. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 1996, v:9, n:2, pp:105-118 [Journal ] Daniela E. Damian , Catholijn M. Jonker , Jan Treur , Niek J. E. Wijngaards Integration of behavioural requirements specification within compositional knowledge engineering. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 2005, v:18, n:7, pp:353-365 [Journal ] Mehdi Dastani , Nico Jacobs , Catholijn M. Jonker , Jan Treur Modelling user preferences and mediating agents in electronic commerce. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 2005, v:18, n:7, pp:335-352 [Journal ] Catholijn M. Jonker , Rob Kremer , Pim van Leeuwen , Dong Pan , Jan Treur Mapping visual to textual knowledge representation. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 2005, v:18, n:7, pp:367-378 [Journal ] Tibor Bosse , Fiemke Both , Mark Hoogendoorn , Jan Treur Specification of Adaptive Client-Tailored Product Models. [Citation Graph (0, 0)][DBLP ] IEEE SCW, 2007, pp:253-261 [Conf ] Egon L. van den Broek , Catholijn M. Jonker , Alexei Sharpanskykh , Jan Treur , Pinar Yolum Formal Modeling and Analysis of Organizations. [Citation Graph (0, 0)][DBLP ] AAMAS Workshops, 2005, pp:18-34 [Conf ] Tibor Bosse , Catholijn M. Jonker , Jan Treur , Dmytro Tykhonov Formal Analysis of Trust Dynamics in Human and Software Agent Experiments. [Citation Graph (0, 0)][DBLP ] CIA, 2007, pp:343-359 [Conf ] Mark Hoogendoorn , Martijn C. Schut , Jan Treur Modeling Decentralized Organizational Change in Honeybee Societies. [Citation Graph (0, 0)][DBLP ] ECAL, 2007, pp:615-624 [Conf ] Tibor Bosse , Willem A. van Doesburg , Peter-Paul van Maanen , Jan Treur Augmented Metacognition Addressing Dynamic Allocation of Tasks Requiring Visual Attention. [Citation Graph (0, 0)][DBLP ] HCI (16), 2007, pp:166-175 [Conf ] Tibor Bosse , Charlotte Gerritsen , Jan Treur Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (2), 2007, pp:888-895 [Conf ] Tibor Bosse , Charlotte Gerritsen , Jan Treur Case Analysis of Criminal Behaviour. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2007, pp:621-632 [Conf ] Tibor Bosse , Matthijs Pontier , Ghazanfar F. Siddiqui , Jan Treur Incorporating Emotion Regulation into Virtual Stories. [Citation Graph (0, 0)][DBLP ] IVA, 2007, pp:339-347 [Conf ] Catholijn M. Jonker , Valentin Robu , Jan Treur An agent architecture for multi-attribute negotiation using incomplete preference information. [Citation Graph (0, 0)][DBLP ] Autonomous Agents and Multi-Agent Systems, 2007, v:15, n:2, pp:221-252 [Journal ] Catholijn M. Jonker , Jan Treur , Wouter C. A. Wijngaards Specification, analysis and simulation of the dynamics within an organisation. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2007, v:27, n:2, pp:131-152 [Journal ] Catholijn M. Jonker , Jan Treur Agent-oriented modeling of the dynamics of biological organisms. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2007, v:27, n:1, pp:1-20 [Journal ] Catholijn M. Jonker , Alexei Sharpanskykh , Jan Treur , Pinar Yolum A framework for formal modeling and analysis of organizations. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2007, v:27, n:1, pp:49-66 [Journal ] An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression. [Citation Graph (, )][DBLP ] An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks. [Citation Graph (, )][DBLP ] Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case. [Citation Graph (, )][DBLP ] An interface agent for attention manipulation. [Citation Graph (, )][DBLP ] Modeling Dynamics of Relative Trust of Competitive Information Agents. [Citation Graph (, )][DBLP ] A Formal Approach to Aggregated Belief Formation. [Citation Graph (, )][DBLP ] Integrating Agent Models and Dynamical Systems. [Citation Graph (, )][DBLP ] On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition. [Citation Graph (, )][DBLP ] Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract). [Citation Graph (, )][DBLP ] Modeling the Dynamics of Mood and Depression. [Citation Graph (, )][DBLP ] A Generic Personal Assistant Agent Model for Support in Demanding Tasks. [Citation Graph (, )][DBLP ] A Specification Language for Coordination in Agent Systems. [Citation Graph (, )][DBLP ] Emergent Storylines Based on Autonomous Characters with Mindreading Capabilities. [Citation Graph (, )][DBLP ] A Computational Model for Adaptive Emotion Regulation. [Citation Graph (, )][DBLP ] Reduction Relations for Agent Models. [Citation Graph (, )][DBLP ] An Agent Model for a Human's Functional State and Performance. [Citation Graph (, )][DBLP ] Comparison of Agent-Based and Population-Based Simulations of Displacement of Crime. [Citation Graph (, )][DBLP ] An Agent Memory Model Enabling Rational and Biased Reasoning. [Citation Graph (, )][DBLP ] Cognitive and Biological Agent Models for Emotion Reading. [Citation Graph (, )][DBLP ] Relating Cognitive Process Models to Behavioural Models of Agents. [Citation Graph (, )][DBLP ] An Agent Model for a Human's Social Support Network Tie Preference during Depression. [Citation Graph (, )][DBLP ] An Adaptive Agent Model Estimating Human Trust in Information Sources. [Citation Graph (, )][DBLP ] An Ambient Intelligent Agent Model Using Controlled Model-Based Reasoning to Determine Causes and Remedies for Monitored Problems. [Citation Graph (, )][DBLP ] Attention Manipulation for Naval Tactical Picture Compilation. [Citation Graph (, )][DBLP ] An Agent Model for Personal Development Support. [Citation Graph (, )][DBLP ] Modeling an Ambient Agent to Support Depression Relapse Prevention. [Citation Graph (, )][DBLP ] Comparing a Cognitive and a Neural Model for Relative Trust Dynamics. [Citation Graph (, )][DBLP ] An Ecological Model-Based Reasoning Model to Support Nature Park Managers. [Citation Graph (, )][DBLP ] An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression. [Citation Graph (, )][DBLP ] A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion. [Citation Graph (, )][DBLP ] Learning to Believe by Feeling: An Agent Model for an Emergent Effect of Feelings on Beliefs. [Citation Graph (, )][DBLP ] An Intelligent Virtual Agent to Increase Involvement in Financial Services. [Citation Graph (, )][DBLP ] Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society. [Citation Graph (, )][DBLP ] An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks. [Citation Graph (, )][DBLP ] A Multi-agent Model for Emotion Contagion Spirals Integrated within a Supporting Ambient Agent Model. [Citation Graph (, )][DBLP ] An Adaptive Agent Model for Emotion Reading by Mirroring Body States and Hebbian Learning. [Citation Graph (, )][DBLP ] Adaptation and Validation of an Agent Model of Functional State and Performance for Individuals. [Citation Graph (, )][DBLP ] A Component-Based Ambient Agent Model for Assessment of Driving Behaviour. [Citation Graph (, )][DBLP ] Automated Visual Attention Manipulation. [Citation Graph (, )][DBLP ] Simulation and Formal Analysis of Visual Attention in Cognitive Systems. [Citation Graph (, )][DBLP ] Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management. [Citation Graph (, )][DBLP ] Design and Analysis of an Ambient Intelligent System Supporting Depression Therapy. [Citation Graph (, )][DBLP ] Formal Verification of an Agent-Based Support System for Medicine Intake. [Citation Graph (, )][DBLP ] Model-based ambient analysis of human task execution. [Citation Graph (, )][DBLP ] An ambient agent model for automated mindreading by identifying and monitoring representation relations. [Citation Graph (, )][DBLP ] An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress. [Citation Graph (, )][DBLP ] Adaptive Estimation of Emotion Generation for an Ambient Agent Model. [Citation Graph (, )][DBLP ] Relating Knowledge Specifications by Reduction Mappings. [Citation Graph (, )][DBLP ] Modelling the Reciprocal Interaction between Believing and Feeling from a Neurological Perspective. [Citation Graph (, )][DBLP ] An Adaptive Model for Dynamics of Desiring and Feeling Based on Hebbian Learning. [Citation Graph (, )][DBLP ] Modelling the Emergence of Group Decisions Based on Mirroring and Somatic Marking. [Citation Graph (, )][DBLP ] Modelling Caregiving Interactions during Stress. [Citation Graph (, )][DBLP ] Behavioural Abstraction of Agent Models Addressing Mutual Interaction of Cognitive and Affective Processes. [Citation Graph (, )][DBLP ] Computational Modeling and Analysis of Therapeutical Interventions for Depression. [Citation Graph (, )][DBLP ] Designing Social Agents with Empathic Understanding. [Citation Graph (, )][DBLP ] Modelling Dynamics of Social Support Networks for Mutual Support in Coping with Stress. [Citation Graph (, )][DBLP ] An Ambient Agent Model Incorporating an Adaptive Model for Environmental Dynamics. [Citation Graph (, )][DBLP ] Modelling Shared Extended Mind and Collective Representational Content. [Citation Graph (, )][DBLP ] Simulation and Analysis of Controlled Multi-Representational Reasoning Processes. [Citation Graph (, )][DBLP ] A specification language for organisational performance indicators. [Citation Graph (, )][DBLP ] Search in 0.172secs, Finished in 0.180secs