L. C. Verbrugge
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
35 | Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 CEUR-WS.org 2009 | |
34 | Barbara Dunin-Keplicz, Rineke Verbrugge: Introductory Essay of FAMAS'09. MALLOW 2009 | |
33 | Rineke Verbrugge, Barbara Dunin-Keplicz: Formal approaches to multi-agent sysems. Autonomous Agents and Multi-Agent Systems 19(1): 1-3 (2009) | |
32 | Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge: Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 18(2): 291-292 (2009) | |
2008 | ||
31 | Elske van der Vaart, Rineke Verbrugge: Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) 2008: 1145-1152 | |
30 | Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008) | |
29 | 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 | 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 | 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 | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168 | |
24 | Maaike Harbers, Rineke Verbrugge, Carles Sierra, John K. Debenham: The Examination of an Information-Based Approach to Trust. COIN 2007: 71-82 | |
23 | Egon van Baars, Rineke Verbrugge: Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. LADS 2007: 89-105 | |
22 | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity Issues in Multiagent Logics. Fundam. Inform. 75(1-4): 239-262 (2007) | |
2006 | ||
21 | Barbara Dunin-Keplicz, Rineke Verbrugge: Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024 | |
20 | 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 | Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795 | |
18 | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586 | |
2004 | ||
17 | Karin Zondervan, Rineke Verbrugge, Niels Taatgen: Modeling the ability to reason about oneself and others in educational contexts. ICCM 2004: 418-419 | |
16 | Barbara Dunin-Keplicz, Rineke Verbrugge: A Tuning Machine for Cooperative Problem Solving. Fundam. Inform. 63(2-3): 283-307 (2004) | |
2003 | ||
15 | Barbara Dunin-Keplicz, Rineke Verbrugge: Calibrating Collective Commitments. CEEMAS 2003: 73-83 | |
14 | 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 | Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of Collective Commitment during Teamwork. Fundam. Inform. 56(4): 329-371 (2003) | |
2002 | ||
11 | 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 | Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Creating Collective Intention through Dialogue. Logic Journal of the IGPL 9(2): (2001) | |
2000 | ||
8 | 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 | 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 | 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) |