Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rineke Verbrugge
L. C. Verbrugge
2010 – today
- 2013
[j24]Barbara Dunin-Keplicz, Rineke Verbrugge: Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Logic Journal of the IGPL 21(3): 309-310 (2013)- [j23]Barbara Dunin-Keplicz, Rineke Verbrugge: Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. Logic Journal of the IGPL 21(3): 404-406 (2013)
- [j22]Piter Dykstra, Corinna Elsenbroich, Wander Jager, Gerard R. Renardel de Lavalette, Rineke Verbrugge: Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics. J. Artificial Societies and Social Simulation 16(3) (2013)
- [c29]Thiri Haymar Kyaw, Sujata Ghosh, Rineke Verbrugge: Multi-player Multi-issue Negotiation with Mediator using CP-nets. ICAART (1) 2013: 99-108
- [c28]Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge: Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA 2013: 255-264
- 2012
- [c27]Harmen de Weerd, Rineke Verbrugge, Bart Verheij: Higher-order social cognition in rock-paper-scissors: a simulation study. AAMAS 2012: 1195-1196
- [c26]Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge: Decision Support for Extensive Form Negotiation Games. ISMIS 2012: 105-114
- [e3]Jakub Szymanik, Rineke Verbrugge (Eds.): Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, Opole, Poland, 13-17 August, 2012. CEUR Workshop Proceedings 883, CEUR-WS.org 2012
- 2011
- [j21]Dick de Jongh, Rineke Verbrugge, Albert Visser: Intermediate Logics and the de Jongh property. Arch. Math. Log. 50(1-2): 197-213 (2011)
- [j20]Hans P. van Ditmarsch, Rineke Verbrugge: The rules of the game are changing: Scientific impact factors and publication strategies among logicians. J. Log. Comput. 21(2): 121-132 (2011)
- [c25]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge: Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
- [c24]Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge: Deliberation Dialogues during Multi-agent Planning. ISMIS 2011: 170-181
- [c23]Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge: Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract). LORI 2011: 388-389
- [c22]Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang: Hidden protocols. TARK 2011: 65-74
- 2010
- [j19]Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak: TEAMLOG in action: A case study in teamwork. Comput. Sci. Inf. Syst. 7(3): 569-595 (2010)
- [j18]Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge: OOPS: An S5n Prover for Educational Settings. Electr. Notes Theor. Comput. Sci. 262: 249-261 (2010)
- [c21]Sujata Ghosh, Ben Meijering, Rineke Verbrugge: Logic Meets Cognition: Empirical Reasoning in Games. MALLOW 2010
2000 – 2009
- 2009
- [j17]Rineke Verbrugge, Barbara Dunin-Keplicz: Formal approaches to multi-agent sysems. Autonomous Agents and Multi-Agent Systems 19(1): 1-3 (2009)
- [j16]Egon van Baars, Rineke Verbrugge: A communication algorithm for teamwork in multi-agent environments. Journal of Applied Non-Classical Logics 19(4): 431-461 (2009)
- [j15]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)
- [j14]Rineke Verbrugge: Logic and Social Cognition - The Facts Matter, and so do Computational Models. J. Philosophical Logic 38(6): 649-680 (2009)
- [c20]Gert van Valkenhoef, Sarvapali D. Ramchurn, Perukrishnen Vytelingum, Nicholas R. Jennings, Rineke Verbrugge: Continuous Double Auctions with Execution Uncertainty. AMEC/TADA 2009: 226-241
- [c19]Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak: Case-Study for TeamLog, a Theory of Teamwork. IDC 2009: 87-100
- [c18]
- [e2]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 (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009
- 2008
- [j13]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)
- [j12]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)
- [j11]Rineke Verbrugge, Lisette Mol: Learning to Apply Theory of Mind. Journal of Logic, Language and Information 17(4): 489-511 (2008)
- [j10]Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008)
- [c17]Elske van der Vaart, Rineke Verbrugge: Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) 2008: 1145-1152
- 2007
- [j9]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity Issues in Multiagent Logics. Fundam. Inform. 75(1-4): 239-262 (2007)
- [c16]Maaike Harbers, Rineke Verbrugge, Carles Sierra, John K. Debenham: The Examination of an Information-Based Approach to Trust. COIN 2007: 71-82
- [c15]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Reducing the complexity of logics for multiagent systems. AAMAS 2007: 168
- [c14]Egon van Baars, Rineke Verbrugge: Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. LADS 2007: 89-105
- [e1]Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga (Eds.): 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. Lecture Notes in Computer Science 4696, Springer 2007, ISBN 978-3-540-75253-0
- 2006
- [j8]Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge: Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. 16(2): 161-175 (2006)
- [c13]Barbara Dunin-Keplicz, Rineke Verbrugge: Awareness as a vital ingredient of teamwork. AAMAS 2006: 1017-1024
- 2005
- [c12]Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795
- [c11]Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz: Complexity of a theory of collective attitudes in teamwork. IAT 2005: 579-586
- 2004
- [j7]Barbara Dunin-Keplicz, Rineke Verbrugge: A Tuning Machine for Cooperative Problem Solving. Fundam. Inform. 63(2-3): 283-307 (2004)
- [c10]Karin Zondervan, Rineke Verbrugge, Niels Taatgen: Modeling the ability to reason about oneself and others in educational contexts. ICCM 2004: 418-419
- 2003
- [j6]Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of Collective Commitment during Teamwork. Fundam. Inform. 56(4): 329-371 (2003)
- [c9]
- [c8]Barbara Dunin-Keplicz, Rineke Verbrugge: Dynamics of Collective Attitudes during Teamwork. ESAW 2003: 107-122
- [c7]
- 2002
- [j5]Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Intentions. Fundam. Inform. 51(3): 271-295 (2002)
- [c6]Barbara Dunin-Keplicz, Rineke Verbrugge: Evolution of collective commitment during reconfiguration. AAMAS 2002: 1141-1142
- 2001
- [j4]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Creating Collective Intention through Dialogue. Logic Journal of the IGPL 9(2): 289-304 (2001)
- 2000
- [c5]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Dialogue in Team Formation. Issues in Agent Communication 2000: 264-280
- [c4]Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge: Agent Theory for Team Formation by Dialogue. ATAL 2000: 150-166
1990 – 1999
- 1999
- [c3]Barbara Dunin-Keplicz, Rineke Verbrugge: Collective Motivational Attitudes in Cooperative Problem Solving. CEEMAS 1999
- 1998
- [c2]Barbara Dunin-Keplicz, Rineke Verbrugge: A Reconfiguration Algorithm for the Maintenance of Collective Commitments. ICMAS 1998: 421-422
- 1997
- [c1]Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge: Modelling Internal Dynamic Behaviour of BDI Agents. ModelAge Workshop 1997: 36-56
- 1995
- [j3]Petr Hájek, Dagmar Harmancová, Rineke Verbrugge: A qualitative fuzzy possibilistic logic. Int. J. Approx. Reasoning 12(1): 1-19 (1995)
- 1994
- [j2]Rineke Verbrugge, Albert Visser: A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. 59(3): 785-812 (1994)
- 1993
- [j1]Alessandro Berarducci, Rineke Verbrugge: On the Provability Logic of Bounded Arithmetic. Ann. Pure Appl. Logic 61(1-2): 75-93 (1993)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team