2009 | ||
---|---|---|
117 | 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 | ||
116 | EE | Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov: Towards an Open Negotiation Architecture for Heterogeneous Agents. CIA 2008: 264-279 |
115 | EE | Duco N. Ferro, Mark Hoogendoorn, Catholijn M. Jonker: Ontology-Based Business Activity Monitoring Agent. IAT 2008: 491-495 |
114 | EE | Gert Jan Hofstede, Catholijn M. Jonker, Tim Verwaart: Individualism and Collectivism in Trade Agents. IEA/AIE 2008: 492-501 |
113 | EE | Duco N. Ferro, Catholijn M. Jonker: Filtering Algorithm for Agent-Based Incident Communication Support in Mobile Human Surveillance. MATES 2008: 49-60 |
112 | EE | Gert Jan Hofstede, Catholijn M. Jonker, Tim Verwaart: Modeling culture in trade: uncertainty avoidance. SpringSim 2008: 143-150 |
111 | 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 | ||
110 | EE | Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov: Analysis of Negotiation Dynamics. CIA 2007: 27-35 |
109 | 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 |
108 | EE | Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov: Negotiation Dynamics: Analysis, Concession Tactics, and Outcomes. IAT 2007: 427-433 |
107 | EE | Mark Hoogendoorn, Maria L. Gini, Catholijn M. Jonker: Decentralized task allocation using magnet: an empirical evaluation in the logistics domain. ICEC 2007: 319-328 |
106 | EE | Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn M. Jonker, Dmytro Tykhonov: Automatic Issue Extraction from a Focused Dialogue. NLDB 2007: 204-216 |
105 | EE | Catholijn M. Jonker, Jan Treur: Agent-oriented modeling of the dynamics of biological organisms. Appl. Intell. 27(1): 1-20 (2007) |
104 | 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) |
103 | 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) |
102 | 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) |
101 | 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) |
100 | EE | A. E. Eiben, Catholijn M. Jonker, Viara Popova, Martijn C. Schut: On the Formal Analysis of the Dynamics of Simulated Agent Societies. Int. J. Cooperative Inf. Syst. 16(1): 27-50 (2007) |
99 | 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) |
98 | 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 | ||
97 | 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 |
96 | 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 |
95 | EE | Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur, Marian Verhaegh: Agent-Based Analysis and Support for Incident Management. CIA 2006: 109-123 |
94 | EE | Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov: Eliminating Interdependencies Between Issues for Multi-issue Negotiation. CIA 2006: 301-316 |
93 | 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 |
92 | EE | Mark Hoogendoorn, Catholijn M. Jonker: Formation of Virtual Organizations Through Negotiation. MATES 2006: 135-146 |
91 | EE | Gert Jan Hofstede, Catholijn M. Jonker, Sebastiaan Meijer, Tim Verwaart: Modelling Trade and Trust Across Cultures. iTrust 2006: 120-134 |
90 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Formalization and Analysis of Reasoning by Assumption. Cognitive Science 30(1): 147-180 (2006) |
2005 | ||
89 | 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 |
88 | 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 |
87 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Requirements Analysis of an Agent's Reasoning Capability. AOIS 2005: 48-63 |
86 | 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 |
85 | Catholijn M. Jonker, Sebastiaan Meijer, Dmytro Tykhonov, Tim Verwaart: Modeling and Simulation of Selling, Buying, Deceit, and Trust Behavior in the Trust and Tracing Game. BNAIC 2005: 351-352 | |
84 | Egon L. van den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum: Formal Modeling and Analysis of Organizations. BNAIC 2005: 391-392 | |
83 | 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 | |
82 | 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 |
81 | 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 |
80 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. IWINAC (1) 2005: 427-436 |
79 | 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 |
78 | EE | Tibor Bosse, Mark Hoogendoorn, Catholijn M. Jonker: The Distributed Weighing Problem: A Lesson in Cooperation Without Communication. MATES 2005: 191-203 |
77 | Ion Muslea, Virginia Dignum, Daniel D. Corkill, Catholijn M. Jonker, Frank Dignum, Silvia Coradeschi, Alessandro Saffiotti, Dan Fu, Jeff Orkin, William Cheetham, Kai Goebel, Piero P. Bonissone, Leen-Kiat Soh, Randolph M. Jones, Robert E. Wray III, Matthias Scheutz, Daniela Pucci de Farias, Shie Mannor, Georgios Theocharous, Doina Precup, Bamshad Mobasher, Sarabjot S. Anand, Bettina Berendt, Andreas Hotho, Hans W. Guesgen, Michael T. Rosenstein, Mohammad Ghavamzadeh: The Workshop Program at the Nineteenth National Conference on Artificial Intelligence. AI Magazine 26(1): 103-108 (2005) | |
76 | 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) |
75 | 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) |
74 | 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 | ||
73 | EE | Catholijn M. Jonker, Valentin Robu: Automated Multi-Attribute Negotiation with Efficient Use of Incomplete Preference Information. AAMAS 2004: 1056-1063 |
72 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Representational Content and the Reciprocal Interplay of Agent and Environment. AAMAS 2004: 1408-1409 |
71 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Experiments in Human Multi-Issue Negotiation: Analysis and Support. AAMAS 2004: 671-678 |
70 | EE | Catholijn M. Jonker, Jan Treur, Pinar Yolum: A Formal Reuse-Based Approach for Interactively Designing Organizations. AOSE 2004: 221-237 |
69 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Representational Content and the Reciprocal Interplay of Agent and Environment. DALT 2004: 270-288 |
68 | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Analysis of Design Process Dynamics. ECAI 2004: 293-297 | |
67 | EE | Catholijn M. Jonker, Martijn C. Schut, Jan Treur, Pinar Yolum: Formal Analysis of Meeting Protocols. MABS 2004: 114-129 |
66 | EE | Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut, Jan Treur: Simulation and Analysis of Shared Extended Mind. MABS 2004: 248-264 |
65 | EE | Catholijn M. Jonker, Joost J. P. Schalken, Jan Theeuwes, Jan Treur: Human Experiments in Trust Dynamics. iTrust 2004: 206-220 |
64 | 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) |
63 | 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) |
62 | 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 | ||
61 | 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 |
60 | EE | Catholijn M. Jonker, Martijn C. Schut, Jan Treur: Organisational Change: Deliberation and Modification. CIA 2003: 336-344 |
59 | EE | Catholijn M. Jonker, Tim Verwaart: Intelligent Support for Solving Classification Differences in Statistical Information Integration. IEA/AIE 2003: 437-446 |
58 | 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 | ||
57 | 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 |
56 | EE | Catholijn M. Jonker, Jan Treur: A dynamic perspective on an agent's mental states and interaction with its environment. AAMAS 2002: 865-872 |
55 | EE | Catholijn M. Jonker, Jan Treur: Relating Structure and Dynamics in Organisation Models. MABS 2002: 50-69 |
54 | EE | Tibor Bosse, Catholijn M. Jonker, Jan Treur: Organisation Modelling for the Dynamics of Complex Biological Processes. RASTA 2002: 92-112 |
53 | 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) |
52 | 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) |
51 | 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) |
50 | 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) |
49 | EE | Catholijn M. Jonker, Jan Treur: Modelling multiple mind-matter interaction. Int. J. Hum.-Comput. Stud. 57(3): 165-214 (2002) |
48 | 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) |
47 | 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) |
46 | 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) | |
2001 | ||
45 | EE | Mehdi Dastani, Catholijn M. Jonker, Jan Treur: A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems. AOSE 2001: 169-187 |
44 | 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 |
43 | EE | Mehdi Dastani, Nico Jacobs, Catholijn M. Jonker, Jan Treur: Modeling User Preferences and Mediating Agents in Electronic Commerce. AgentLink 2001: 163-193 |
42 | EE | Catholijn M. Jonker, Jan Treur, Wieke de Vries: External attribution of intentional notions to explain and predict agent behaviour. Agents 2001: 41-42 |
41 | 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 |
40 | 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 |
39 | EE | J. Burgett, S. Hussain, Catholijn M. Jonker, A. Razaq, K. Silz: Mobie: Personalized Automated Recharge of Prepaid Mobile Phones. CEEMAS 2001: 54-61 |
38 | Catholijn M. Jonker, Jan Treur: An Agent Architecture for Multi-Attribute Negotiation. IJCAI 2001: 1195-1201 | |
37 | Catholijn M. Jonker, Remco A. Lam, Jan Treur: A Reusable Multi-Agent Architecture for Active Intelligent Websites. Appl. Intell. 15(1): 7-24 (2001) | |
36 | Catholijn M. Jonker, Jan Treur: Agent-Based Simulation of Animal Behaviour. Appl. Intell. 15(2): 83-115 (2001) | |
35 | 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) |
34 | 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) | |
2000 | ||
33 | EE | Catholijn M. Jonker, Jan Treur, Wieke de Vries: Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. AOSE 2000: 253-267 |
32 | Catholijn M. Jonker, Matthias Klusch, Jan Treur: Design of Collaborative Information Agents. CIA 2000: 262-283 | |
31 | Catholijn M. Jonker, Arjen Vollebregt: ICEBERG: Exploiting Context in Information Brokering Agents. CIA 2000: 27-38 | |
30 | 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 |
29 | 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 | |
28 | 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) | |
27 | 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) |
26 | 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) |
1999 | ||
25 | Cristiano Castelfranchi, Frank Dignum, Catholijn M. Jonker, Jan Treur: Deliberative Normative Agents: Principles and Architecture. ATAL 1999: 364-378 | |
24 | 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 |
23 | EE | Catholijn M. Jonker, Jan Treur: A Re-Usable Broker Agent Architecture with Dynamic Maintenance Capabilities. Agents 1999: 376-377 |
22 | EE | Catholijn M. Jonker, Jan Treur, Remco A. Lam: A Multi-agent Architecture for an Intelligent Website in Insurance. CIA 1999: 86-100 |
21 | 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 |
20 | Catholijn M. Jonker, Jan Treur: A Compositional Process Control Model and Its Application to Biochemical Processes. IEA/AIE 1999: 298-305 | |
19 | Catholijn M. Jonker, Rob Kremer, Pim van Leeuwen, Dong Pan, Jan Treur: Visual and Textual Knowledge Representation in DESIRE. IEA/AIE 1999: 306-315 | |
18 | Catholijn M. Jonker, Jan Treur: Inforamtion Broker Agents in Intelligent Websites. IEA/AIE 1999: 430-439 | |
17 | 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 | |
16 | Catholijn M. Jonker, Jan Treur: Formal Analysis of Models for the Dynamics of Trust Based on Experiences. MAAMAW 1999: 221-231 | |
15 | 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 | |
14 | 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) |
1998 | ||
13 | Joeri Engelfriet, Catholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. ATAL 1998: 177-193 | |
12 | 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 |
11 | 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 | |
10 | 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 | |
9 | Catholijn M. Jonker, Jan Treur: Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour. IEA/AIE (Vol. 1) 1998: 584-595 | |
1997 | ||
8 | EE | Catholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. COMPOS 1997: 350-380 |
7 | Frank Cornelissen, Catholijn M. Jonker, Jan Treur: Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning. EKAW 1997: 65-80 | |
6 | Frank Cornelissen, Catholijn M. Jonker, Jan Treur: Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. EUROVAV 1997: 129-142 | |
5 | Catholijn M. Jonker, Jan Treur: Modelling an Agent's Mind and Matter. MAAMAW 1997: 210-224 | |
1996 | ||
4 | Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Formalization of a Cooperation Model Based on Joint Intentions. ATAL 1996: 141-155 | |
3 | Catholijn M. Jonker: Proof-theory for Extensions of Logic Programming. ELP 1996: 161-175 | |
2 | EE | Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur: Modelling project coordination in a multi-agent framework. WETICE 1996: 148-155 |
1992 | ||
1 | Cees Witteveen, Catholijn M. Jonker: Revision by Expansion in Logic Programs. ECAI Workshop on Knowledge Representation and Reasoning 1992: 333-355 |