L. C. Verbrugge
List of publications from the DBLP Bibliography Server - FAQ
| 2008 | ||
|---|---|---|
| 27 | EE | Elske van der Vaart, Rineke Verbrugge: Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) 2008: 1145-1152 |
| 26 | 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) |
| 2007 | ||
| 25 | 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 | |
| 24 | EE | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168 |
| 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 | [25] |
| 5 | Frank Dignum (F. P. M. Dignum) | [7] [8] [9] |
| 6 | Hans P. van Ditmarsch | [19] |
| 7 | Barbara Dunin-Keplicz | [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [21] [22] [24] |
| 8 | Marcin Dziubinski | [18] [22] [24] |
| 9 | Petr Hájek | [3] |
| 10 | Dagmar Harmancová | [3] |
| 11 | Barteld P. Kooi | [20] [26] |
| 12 | Gerard R. Renardel de Lavalette | [20] [26] |
| 13 | Gabriela Lindemann | [25] |
| 14 | Ji Ruan | [19] |
| 15 | Niels Taatgen | [17] |
| 16 | Jan Treur | [4] |
| 17 | Elske van der Vaart | [27] |
| 18 | László Zsolt Varga | [25] |
| 19 | Albert Visser | [2] |
| 20 | Karin Zondervan | [17] |