dblp.uni-trier.dewww.uni-trier.de

Rineke Verbrugge

L. C. Verbrugge

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
31EEElske van der Vaart, Rineke Verbrugge: Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) 2008: 1145-1152
30EEHans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008)
29EEGerard 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)
28EELiesbeth 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)
27EERineke 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
25EEMarcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168
24EEMaaike Harbers, Rineke Verbrugge, Carles Sierra, John K. Debenham: The Examination of an Information-Based Approach to Trust. COIN 2007: 71-82
23EEEgon van Baars, Rineke Verbrugge: Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. LADS 2007: 89-105
22EEMarcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity Issues in Multiagent Logics. Fundam. Inform. 75(1-4): 239-262 (2007)
2006
21EEBarbara Dunin-Keplicz, Rineke Verbrugge: Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024
20EEBarteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge: Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. 16(2): 161-175 (2006)
2005
19EEHans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795
18EEMarcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586
2004
17EEKarin Zondervan, Rineke Verbrugge, Niels Taatgen: Modeling the ability to reason about oneself and others in educational contexts. ICCM 2004: 418-419
16EEBarbara Dunin-Keplicz, Rineke Verbrugge: A Tuning Machine for Cooperative Problem Solving. Fundam. Inform. 63(2-3): 283-307 (2004)
2003
15EEBarbara Dunin-Keplicz, Rineke Verbrugge: Calibrating Collective Commitments. CEEMAS 2003: 73-83
14EEBarbara 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
12EEBarbara Dunin-Keplicz, Rineke Verbrugge: Evolution of Collective Commitment during Teamwork. Fundam. Inform. 56(4): 329-371 (2003)
2002
11EEBarbara 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
9EEFrank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Creating Collective Intention through Dialogue. Logic Journal of the IGPL 9(2): (2001)
2000
8EEFrank 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
4EEFrances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge: Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop 1997: 36-56
1995
3EEPetr 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)

Coauthor Index

1Egon van Baars [23]
2Alessandro Berarducci [1]
3Frances M. T. Brazier [4]
4Hans-Dieter Burkhard [26]
5John K. Debenham [24]
6Frank Dignum (F. P. M. Dignum) [7] [8] [9]
7Hans P. van Ditmarsch [19] [30]
8Barbara Dunin-Keplicz [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [21] [22] [25]
9Marcin Dziubinski [18] [22] [25]
10Liesbeth Flobbe [28]
11Petr Hájek [3]
12Maaike Harbers [24]
13Dagmar Harmancová [3]
14Petra Hendriks [28]
15Barteld P. Kooi [20] [29]
16Irene Krämer [28]
17Gerard R. Renardel de Lavalette [20] [29]
18Gabriela Lindemann [26]
19Lisette Mol [27]
20Ji Ruan [19] [30]
21Carles Sierra [24]
22Niels Taatgen [17]
23Jan Treur [4]
24Elske van der Vaart [31]
25László Zsolt Varga [26]
26Albert Visser [2]
27Karin Zondervan [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)