L. C. Verbrugge
List of publications from the
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) |