L. C. Verbrugge
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
31 | EE | Elske van der Vaart, Rineke Verbrugge: Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) 2008: 1145-1152 |
30 | EE | Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008) |
29 | EE | Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge: Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17(1): 69-87 (2008) |
28 | EE | Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer: Children's Application of Theory of Mind in Reasoning and Language. Journal of Logic, Language and Information 17(4): 417-442 (2008) |
27 | EE | Rineke Verbrugge, Lisette Mol: Learning to Apply Theory of Mind. Journal of Logic, Language and Information 17(4): 489-511 (2008) |
2007 | ||
26 | Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga: Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings Springer 2007 | |
25 | EE | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168 |
24 | EE | Maaike Harbers, Rineke Verbrugge, Carles Sierra, John K. Debenham: The Examination of an Information-Based Approach to Trust. COIN 2007: 71-82 |
23 | EE | Egon van Baars, Rineke Verbrugge: Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. LADS 2007: 89-105 |
22 | EE | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity Issues in Multiagent Logics. Fundam. Inform. 75(1-4): 239-262 (2007) |
2006 | ||
21 | EE | Barbara Dunin-Keplicz, Rineke Verbrugge: Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024 |
20 | EE | Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge: Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. 16(2): 161-175 (2006) |
2005 | ||
19 | EE | Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795 |
18 | EE | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586 |
2004 | ||
17 | EE | Karin Zondervan, Rineke Verbrugge, Niels Taatgen: Modeling the ability to reason about oneself and others in educational contexts. ICCM 2004: 418-419 |
16 | EE | Barbara Dunin-Keplicz, Rineke Verbrugge: A Tuning Machine for Cooperative Problem Solving. Fundam. Inform. 63(2-3): 283-307 (2004) |
2003 | ||
15 | EE | Barbara Dunin-Keplicz, Rineke Verbrugge: Calibrating Collective Commitments. CEEMAS 2003: 73-83 |
14 | EE | Barbara Dunin-Keplicz, Rineke Verbrugge: Dynamics of Collective Attitudes during Teamwork. ESAW 2003: 107-122 |
13 | Barbara Dunin-Keplicz, Rineke Verbrugge: Dialogue in teamwork. ISPE CE 2003: 121-128 | |
12 | EE | Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of Collective Commitment during Teamwork. Fundam. Inform. 56(4): 329-371 (2003) |
2002 | ||
11 | EE | Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of collective commitment during reconfiguration. AAMAS 2002: 1141-1142 |
10 | Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Intentions. Fundam. Inform. 51(3): 271-295 (2002) | |
2001 | ||
9 | EE | Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Creating Collective Intention through Dialogue. Logic Journal of the IGPL 9(2): (2001) |
2000 | ||
8 | EE | Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Agent Theory for Team Formation by Dialogue. ATAL 2000: 150-166 |
7 | Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Dialogue in Team Formation. Issues in Agent Communication 2000: 264-280 | |
1999 | ||
6 | Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Motivational Attitudes in Cooperative Problem Solving. CEEMAS 1999 | |
1998 | ||
5 | Barbara Dunin-Keplicz, Rineke Verbrugge: A Reconfiguration Algorithm for the Maintenance of Collective Commitments. ICMAS 1998: 421-422 | |
1997 | ||
4 | EE | Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge: Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop 1997: 36-56 |
1995 | ||
3 | EE | Petr Hájek, Dagmar Harmancová, Rineke Verbrugge: A qualitative fuzzy possibilistic logic. Int. J. Approx. Reasoning 12(1): 1-19 (1995) |
1994 | ||
2 | Rineke Verbrugge, Albert Visser: A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. 59(3): 785-812 (1994) | |
1993 | ||
1 | Alessandro Berarducci, Rineke Verbrugge: On the Provability Logic of Bounded Arithmetic. Ann. Pure Appl. Logic 61(1-2): 75-93 (1993) |
1 | Egon van Baars | [23] |
2 | Alessandro Berarducci | [1] |
3 | Frances M. T. Brazier | [4] |
4 | Hans-Dieter Burkhard | [26] |
5 | John K. Debenham | [24] |
6 | Frank Dignum (F. P. M. Dignum) | [7] [8] [9] |
7 | Hans P. van Ditmarsch | [19] [30] |
8 | Barbara Dunin-Keplicz | [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [21] [22] [25] |
9 | Marcin Dziubinski | [18] [22] [25] |
10 | Liesbeth Flobbe | [28] |
11 | Petr Hájek | [3] |
12 | Maaike Harbers | [24] |
13 | Dagmar Harmancová | [3] |
14 | Petra Hendriks | [28] |
15 | Barteld P. Kooi | [20] [29] |
16 | Irene Krämer | [28] |
17 | Gerard R. Renardel de Lavalette | [20] [29] |
18 | Gabriela Lindemann | [26] |
19 | Lisette Mol | [27] |
20 | Ji Ruan | [19] [30] |
21 | Carles Sierra | [24] |
22 | Niels Taatgen | [17] |
23 | Jan Treur | [4] |
24 | Elske van der Vaart | [31] |
25 | László Zsolt Varga | [26] |
26 | Albert Visser | [2] |
27 | Karin Zondervan | [17] |