Papers

Books: monograph, edited books and PhD theses
Articles in peer-reviewed international journals
Edited special issues of international refereed journals
Edited conference proceedings
Articles in peer-reviewed books
Articles in peer-reviewed conference proceedings
Other journal articles: editorials, letter


Books: monograph, edited books and PhD theses

J. van Benthem, S. Ghosh and R. Verbrugge (eds.), Models of Strategic Reasoning. FoLLI series, Lecture Notes in Computer Science, Volume 8972, Springer Verlag, Berlin, 2015 (in press).

H. de Weerd, If You Know What I Mean: Agent-Based Models for Understanding the Function of Higher-Order Theory of Mind. PhD thesis, University of Groningen, 2015.
Link

B. Meijering, Reasoning About Self and Others. PhD thesis, University of Groningen, 2014.
Link

B. Rodenhäuser, A Matter of Trust: Dynamic Attitudes in Epistemic Logic. PhD thesis, ILLC, University of Amsterdam, 2014.
Link

E. van der Vaart, A Cognitive Model of Caching by Corvids. PhD thesis, University of Groningen, 2013 (cum laude).

J. van Eijck and R. Verbrugge (eds.) Games, Actions and Social Software: Multidisciplinary Aspects. Texts in Logic and Games, FoLLI subseries of Springer Lecture Notes in Computer Science, Volume 7010, Springer Verlag, Berlin, 2012. DOI:10.1007/978-3-642-29326-9.

B. Dunin-Kęplicz and R. Verbrugge, Teamwork in Multi-Agent Systems: A Formal Approach. Wiley and Sons, Chichester, July 2010.

J. van Eijck and R. Verbrugge (eds.), Discourses on Social Software. Series Texts in Logic and Games, volume 5, Amsterdam University Press, 2009.

Top


Articles in peer-reviewed international journals

H. de Weerd, R. Verbrugge and B. Verheij. Negotiating with other minds: The role of recursive theory of mind in negotiation with incomplete information. Autonomous Agents and Multi-Agent Systems, 31.2 (2017) 250-287. DOI:10.1007/s10458-015-9317-1.

D.J. van der Post, R. Verbrugge and C.K. Hemelrijk. The evolution of different forms of sociality: Behavioral mechanisms and eco-evolutionary feedback. PloS ONE, 10.1 (2015) e0117027. DOI:10.1371/journal.pone.0117027.

P. Dykstra, W. Jager, C. Elsenbroich, R. Verbrugge and G. Renardel de Lavalette, An agent-based dialogical model with fuzzy attitudes. Journal of Artificial Societies and Social Simulation, in press (2015).

H. de Weerd, R. Verbrugge and B. Verheij. Higher-order theory of mind in the Tacit Communication Game. Biologically Inspired Cognitive Architectures, 11 (2015) 10-21. DOI:10.1016/j.bica.2014.11.010.
PDF

A. Strachocka, B. Dunin-Kęplicz, A. Szałas and R. Verbrugge. Paraconsistent semantics of speech acts. Neurocomputing, 151 (2015) 943-952. DOI:10.1016/j.neucom.2014.10.001.

S. Ghosh, T.H. Kyaw and R. Verbrugge. Conditional preference networks support multi-issue negotiations with mediator. Transactions on Computational Collective Intelligence, VII (2014) 171-195. DOI:10.1007/978-3-662-44994-3_9.
PDF

E. van der Vaart and C. Hemelrijk, ‘Theory of mind’ in animals: Ways to make progress. Synthese, 191(3) (2014) 335-354. DOI:10.1007/s11229-012-0170-3.

B. Meijering, N.A. Taatgen, H. van Rijn and R. Verbrugge, Modeling inference of mental states: As simple as possible, as complex as necessary. Interaction Studies, 15(3) (2014) 455-477. (Special issue on Mindreading, editor M. McShane). DOI:10.1075/is.15.3.05mei.
PDF

C. Dégremont, L. Kurzen and J. Szymanik, Exploring the tractability border in epistemic tasks. Synthese, 191(3) (2014) 371-408. DOI:10.1007/s11229-012-0215-7.
PDF

L. Robaldo, J. Szymanik and B. Meijering, On the identification of quantifiers’ witness sets: A study of multi-quantifier sentences. Journal of Logic, Language and Information, 23(1) (2014) 53-81. DOI:10.1007/s10849-014-9197-9.
PDF

H. van Ditmarsch, S. Ghosh, R. Verbrugge and Y. Wang, Hidden protocols: Modifying our expectations in an evolving world. Artificial Intelligence, 208 (2014) 18-40. DOI:10.1016/j.artint.2013.12.001.
PDF

S. Ghosh, B. Meijering and R. Verbrugge, Strategic reasoning: Building cognitive models from logical formulas. Journal of Logic, Language and Information, 23(1) (2014) 1-29. DOI:10.1007/s10849-014-9196-x.

D.J. van der Post, H. de Weerd, R. Verbrugge and C. K. Hemelrijk, A novel mechanism for a survival advantage of vigilant individuals in groups. The American Naturalist, 182(5) (2013) 682-688. DOI:10.1086/673298.

H. de Weerd, R. Verbrugge and B. Verheij, How much does it help to know what she knows you know? An agent-based simulation study. Artificial Intelligence, 199-200 (2013) 67-92. DOI:10.1016/j.artint.2013.05.004.
PDF Live demo

P. Dykstra, C. Elsenbroich, W. Jager, Wander, G. Renardel de Lavalette and R. Verbrugge, Put your money where your mouth is: DIAL, a dialogical model for opinion dynamics. Journal of Artificial Societies and Social Simulation, 16(3) (2013) 4.
Link

B. Meijering, H. van Rijn, N.A. Taatgen and R. Verbrugge, What eye movements can tell about theory of mind in a strategic game. PLoS ONE, 7(9) (2012) e45961. DOI:10.1371/journal.pone.0045961.
PDF

E. van der Vaart, R. Verbrugge and C.K. Hemelrijk, Corvid re-caching without ‘theory of mind’: A model. PLoS ONE, 7 (2012) e32904. DOI:10.1371/journal.pone.0032904.
PDF

M. Mostowski and J. Szymanik, Semantic bounds for everyday language. Semiotica, 188(1-4) (2012) 323-332. DOI:10.1515/sem-2012-0022.
PDF

D.J. van der Post and D. Semmann, Patch depletion, niche structuring and the evolution of cooperative foraging. BMC Evolutionary Biology, 11(335) (2011). DOI:10.1186/1471-2148-11-335.

M. Franz, D.J. van der Post, O. Schülke and J. Ostner, The evolution of cooperative turn-taking in animal conflict. BMC Evolutionary Biology, 11(323) (2011). DOI:10.1186/1471-2148-11-323.

D.J. van der Post, D. Semmann, Local orientation and the evolution of foraging: Changes in decision making can eliminate evolutionary trade-offs. PLoS Computational Biology, 7(10) (2011) e1002186. DOI:10.1371/journal.pcbi.1002186.

E. van der Vaart, R. Verbrugge and C.K. Hemelrijk, Corvid caching: Insights from a cognitive model. Journal of Experimental Psychology: Animal Behavior Processes, 37(3) (2011) 330-340. DOI:10.1037/a0022988.
PDF

H. de Weerd and R. Verbrugge, Evolution of altruistic punishment in heterogeneous populations. Journal of Theoretical Biology, 290 (2011) 88-103. DOI:10.1016/j.jtbi.2011.08.034.
PDF Online material

D.H.J. de Jongh, R. Verbrugge and A. Visser, Intermediate logics and the de Jongh property. Archive for Mathematical Logic, 50(1-2) (2011) 197-213. DOI:10.1007/s00153-010-0209-4.
PDF

I. van Rooij, J. Kwisthout, M. Blokpoel, J. Szymanik, T. Wareham and I. Toni. Intentional communication: Computationally easy or difficult? Frontiers in Human Neuroscience, 5(52) (2011). DOI:10.3389/fnhum.2011.00052.
PDF

M. Zajenkowski, R. Styła and J. Szymanik, A computational approach to quantifiers as an explanation for some language impairments in schizophrenia. Journal of Communication Disorders, 44(2011) 595-600. DOI:10.1016/j.jcomdis.2011.07.005.
PDF

J. Szymanik, and M. Zajenkowski, Contribution of working memory in parity and proportional judgments. Belgian Journal of Linguistics, 25(1) (2011) 176-194. DOI:10.1075/bjl.25.08szy.
PDF

B. Dunin-Kęplicz, R. Verbrugge and M. Slizak, TeamLog in action: A case study in teamwork. International Journal of Computer Science and Information Systems, 7(3) (2010) 569-595. DOI:10.2298/CSIS100209016D.
PDF

Gert van Valkenhoef, Elske van der Vaart and Rineke Verbrugge, OOPS: An S5n prover for educational settings. Electronic Notes in Theoretical Computer Science, 162 (2010) 249-261. DOI:10.1016/j.entcs.2010.04.018.
PDF

A. Isaac and J. Szymanik, Logic in cognitive science: Bridging the gap between symbolic and connectionist paradigms. Journal of the Indian Council of Philosophical Research, XXVII(2) (2010) 279-309.
PDF

L. van Maanen and H. van Rijn, The locus of the Gratton effect in picture-word interference. TopiCS in Cognitive Science, 2(1) (2010) 168-180. DOI:10.1111/j.1756-8765.2009.01069.x.

L. van Maanen, H. van Rijn and J.P. Borst, Stroop and picture-word interference are two sides of the same coin. Psychonomic Bulletin and Review, 16(6) (2009) 987-999. DOI:10.3758/PBR.16.6.987.

R. Verbrugge, Logic and social cognition: The facts matter, and so do computational models. Journal of Philosophical Logic, 38(6) (2009) 649-680. DOI:10.1007/s10992-009-9115-9.
PDF

E. van Baars and R. Verbrugge, A communication algorithm for teamwork in multi-agent environments. Journal of Applied Non-Classical Logics, 19(4) (2009) 431-461. DOI:10.3166/jancl.19.431-461.
PDF

L. Flobbe, R. Verbrugge, P. Hendriks and I. Krämer. Children’s application of theory of mind in reasoning and language. Journal of Logic, Language and Information, 17(4) (2008) 417-442. (Special issue on Formal models for real people, editor M. Counihan). DOI:10.1007/s10849-008-9064-7.
PDF

R. Verbrugge and L. Mol. Learning to apply theory of mind. Journal of Logic, Language and Information, 17(4) (2008) 489-511. (Special issue on Formal models for real people, editor M. Counihan). DOI:10.1007/s10849-008-9067-4.
PDF

Top


Edited special issues of international refereed journals

R. Verbrugge (ed.), Special issue on Reasoning About Other Minds, Synthese, 191(3) (2014) 297-408.

B. Dunin-Kęplicz and R. Verbrugge (eds.), Combined Special Issue: Best papers of FAMAS 2007 and FAMAS 2009. Logic Journal of the IGPL, 21(3), 2013.

J. Szymanik and R. Verbrugge (eds.), Special issue on Logic and cognition. Journal of Logic, Language and Information, articles spread over 22(3) and 22(4) (2013).
Link

Top


Edited conference proceedings

J. Szymanik and R. Verbrugge (eds.), Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, co-located with Advances in Modal Logic 2014, CEUR Workshop Proceedings, Volume 1208, 2014.

J. Szymanik and R. Verbrugge (eds.), Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, Opole, Poland, 13-17 August, 2012, CEUR Workshop Proceedings, Volume 883, 2012.

J. van Eijck and R. Verbrugge (eds.), Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives (RAOM-2011), Groningen, The Netherlands, July 11th, 2011, CEUR Workshop Proceedings, Volume 751, 2011.

M. Baldoni, C. Baroglio, G. Boella, B. Dunin-Kęplicz, R. Verbrugge et al. (eds.), Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009.
As part of this: B. Dunin-Kęplicz and R. Verbrugge (eds.) Proceedings of the Fourth International Workshop on Formal Approaches to Multiagent Systems, FAMAS’09.

Top


Articles in peer-reviewed books

D.J. van der Post and E. van der Vaart, Evolving models of social cognition. In: S. Ghosh and J. Szymanik, The Facts Matter: Essays on Logic and Cognition in Honour of Rineke Verbrugge. College Publications, London, 2015, pp. 88-102.

J. van Eijck and R. Verbrugge, Formal approaches to social procedures. In: E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Fall 2014 Edition.
Link

A. Isaac, J. Szymanik and R. Verbrugge, Logic and complexity in cognitive science. In: A. Baltag and S. Smets (eds.) Johan van Benthem on Logical and Informational Dynamics, Trends in Logic, Outstanding Contributions to Logic, Volume 5, Springer Verlag, Berlin, 2014, pp. 787-824.
PDF

B. Dunin-Kęplicz and R. Verbrugge, A logical view on teamwork. In: J. van Eijck and R. Verbrugge (eds.) Games, Actions and Social Software: Multidisciplinary Aspects, Texts in Logic and Games, FoLLI subseries of Springer Lecture Notes in Computer Science, Volume 7010, Springer Verlag, Berlin, 2012, pp. 184-212.
PDF

R. Verbrugge, Provability logic. In: E. Zalta (ed.), Stanford Encyclopedia of Philosophy, Winter 2010 Edition.
Link

G. van Valkenhoef, S.D. Ramchurn, P. Vytelingum, N.R. Jennings and R. Verbrugge, Continuous double auctions with execution uncertainty. In: Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, series Lecture Notes in Business Information Processing, vol. 59, Springer, Berlin, 2010, pp. 226-241.
PDF

Five chapters in: J. van Eijck and R. Verbrugge (eds.), Discourses on Social Software, Texts in Logic and Games, Amsterdam University Press, 2009, as follows:
– K. Dowding and R. Verbrugge, Social software and the social sciences. pp. 57-70. PDF
– H. van Ditmarsch, J. van Eijck and R. Verbrugge, Common knowledge and common belief. pp. 99-122. PDF
– J. van Eijck and R. Verbrugge, Eating from the tree of ignorance. pp. 183-198. PDF
– B. Kooi and R. Verbrugge, Battle of the logics. pp. 163-182. PDF
– J. van Eijck, R. Parikh, M. Pauly and R. Verbrugge, Social software and the ills of society. pp. 219-226. PDF

D.H.J. de Jongh, R. Verbrugge and A. Visser, Intermediate logics and the de Jongh property. In: P. Cintula, Z. Hanikova and V. Svejdar (eds.) Witnessed Years: Essays in Honour of Petr Hájek, London, College Publications, 2009, pp. 33-52.
PDF

Top


Articles in peer-reviewed conference proceedings

T. Halder, K. Sharma, S. Ghosh, and R. Verbrugge, How do adults reason about their opponent? Typologies of players in a turn-taking game. In: D. Noelle, R. Dale, A. Warlaumont, J. Yoshimi, T. Matlock, C. Jennings, and P. Maglio (eds.), Proceedings of the 37th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Pasadena, CA, 2015, pp. 854-859.

S. Ghosh, A. Heifetz and R. Verbrugge, Do players reason by forward induction in dynamic perfect information games? In: R. Ramanujam (ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledg (TARK XV), Pittsburgh, PA, 2015 (to appear).

H. de Weerd, E. Broers and R. Verbrugge, Savvy software agents can encourage the use of second-order theory of mind by negotiators. In: D. Noelle, R. Dale, A. Warlaumont, J. Yoshimi, T. Matlock, C. Jennings, and P. Maglio (eds.), Proceedings of the 37th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Pasadena, CA, 2015, pp. 542-547.
PDF

B. Arslan, R. Verbrugge, N. Taatgen and B. Hollebrandse, Teaching children to attribute second-order false beliefs: A training study with feedback. In: D. Noelle, R. Dale, A. Warlaumont, J. Yoshimi, T. Matlock, C. Jennings, and P. Maglio (eds.), Proceedings of the 37th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Pasadena, CA, 2015, pp. 108-113.

B. Arslan, S. Wierda, N.A. Taatgen and R. Verbrugge, The role of simple and complex working memory strategies in the development of first-order false belief reasoning: A computational model of transfer of skills. In: N.A. Taatgen, M. van der Vugt, J.P Borst and K. Mehlhorn, (eds.), Proceedings of the 13th International Conference on Cognitive Modeling, 2015, pp. 100-105.
(Honorable mention for the Allen Newell Award at ICCM 2015)
PDF

H. de Weerd, R. Verbrugge and B. Verheij, Theory of mind in the Mod game: An agent-based model of strategic reasoning. In: A. Herzig and E. Lorini, (eds.), Proceedings of the European Conference on Social Intelligence (ECSI 2014), CEUR Workshop Proceedings, Volume 1283, 2014, pp. 128-136.
PDF

B. Dunin-Kęplicz, A. Szałas and R. Verbrugge, Tractable reasoning about group beliefs. In: F. Dalpaiz, J. Dix and B. van Riemsdijk (eds.), Engineering Multi-Agent Systems: Second International Workshop, EMAS 2014, Paris, May 2014, Revised Selected Papers, Lecture Notes in Computer Science, Volume 8758, Springer, Berlin, 2014, pp. 328-350.
PDF

G. Bergwerff, B. Meijering, J. Szymanik, R. Verbrugge and S.M. Wierda, Computational and algorithmic models of strategies in turn-based games. In: P. Bello, M. McShane, M. Guarini and B. Scassellati (eds.), Proceedings of the 36th Annual Conference of the Cognitive Science Society, Quebec City: Cognitive Science Society, 2014, pp. 1778-1783.
PDF

B. Arslan, R. Verbrugge, B. Hollebrandse and N.A. Taatgen, Teaching children to attribute second-order false belief: A training study (extended abstract). In: J. Szymanik and R. Verbrugge (eds.), Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings, Volume 1208, 2014, pp. 1-5.
PDF

H. de Weerd, R. Verbrugge and B. Verheij, The effectiveness of higher-order theory of mind in negotiations (extended abstract). In: J. Szymanik and R. Verbrugge (eds.), Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings, Volume 1208, 2014, pp. 35-39.
PDF

S. Wierda and B. Arslan, Modeling theory of mind in ACTransfer (extended abstract). In: J. Szymanik and R. Verbrugge (eds.), Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings, Volume 1208, 2014, pp. 40-44.
PDF

N. Bulling, S. Ghosh and R. Verbrugge, Reaching your goals without spilling the beans: Boolean secrecy games. In: G. Boella et al. (eds.), PRIMA 2013: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science, Volume 8291, Springer, Berlin, 2013, pp. 37-53.
(Best Paper Prize winner of PRIMA 2013)
PDF

H. de Weerd, R. Verbrugge and B. Verheij, Higher-order theory of mind in negotiations under incomplete information. In: G. Boella et al. (eds.), PRIMA 2013: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science, Volume 8291, Springer, Berlin, 2013, pp. 101-116.
PDF Supplementary online appendix

J. Szymanik, B. Meijering and R. Verbrugge, Using intrinsic complexity of turn-taking games to predict participants’ reaction times. In: M. Knauff et al. (eds.), Proceedings of the 35th Annual Conference of the Cognitive Science Society, 2013, pp. 1426-1431.
PDF

B. Meijering, H. van Rijn, N.A. Taatgen and R. Verbrugge, Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind. In: M. Knauff et al. (eds.), Proceedings of the 35th Annual Conference of the Cognitive Science Society, 2013, pp. 3026-3031.
PDF

H. de Weerd, R. Verbrugge and B. Verheij, Agent-based models for higher-order theory of mind. In: B. Kamiński and G. Koloch (eds.), Advances in Social Simulation: Proceedings of the 9th Conference of the European Social Simulation Association, Advances in Intelligent Systems and Computing, Volume 229, Springer Verlag, Berlin, 2013, pp. 213-224.
PDF Poster

B. Dunin-Kęplicz, A. Strachocka, A. Szałas and R. Verbrugge, Perceiving speech acts under incomplete and inconsistent information. In: D. Barbucha et al. (eds.), Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications (KES-AMSTA 2013). Frontiers of AI and Applications, volume 252, IOS Press, Amsterdam, 2013, pp. 255-264.

R. Verbrugge, Logic in the lab. In: B. C. Schipper (ed.), TARK 2013 – Theoretical Aspects of Rationality and Knowledge: Proceedings of the 14th Conference. Chennai, 2013, pp. 4-6. (Abstract of keynote lecture, also published via http://arxiv.org/html/1310.6382v1)
PDF

B. Arslan, N.A. Taatgen and R. Verbrugge, Modeling developmental transitions in reasoning about false beliefs of others. In: R. West and T. Stewart (eds.), Proceedings of the 12th International Conference on Cognitive Modelling. Ottawa: Carleton University, 2013, pp. 77-82.
PDF

B. Meijering, N.A. Taatgen, H. van Rijn and R. Verbrugge, Reasoning about mental states in sequential games: As simple as possible, as complex as necessary. In: R. West and T. Stewart (eds.), Proceedings of the 12th International Conference on Cognitive Modelling. Ottawa: Carleton University, 2013, pp. 173-178.
PDF

J. Szymanik, S. Steinert-Threlkeld, M. Zajenkowski and T. F. Icard III, Automata and complexity in multiple-quantifier sentence verification. In: R. West and T. Stewart (eds.), Proceedings of the 12th International Conference on Cognitive Modelling. Ottawa: Carleton University, 2013, pp. 239-244.
PDF

J. Szymanik, Backward induction is PTIME-complete. In: D. Grossi,O. Roy and H. Huang (eds.), Proceedings of the Fourth International Workshop on Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Volume 8196, Springer, Berlin, 2013, pp. 352-356.
PDF

T.H. Kyaw, S. Ghosh and R. Verbrugge, Multi-player multi-issue negotiation with mediator using CP-nets. In: J. Filipe and A.L.N. Fred (eds.), ICAART 2013 – Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 1. SciTePress, 2013, pp. 99-108.
PDF

B. Dunin-Kęplicz, A. Strachocka, A. Szałas and R. Verbrugge, A paraconsistent approach to speech acts. In: P. McBurney, S. Parsons, and I. Rahwan (eds.), Proceedings Workshop on Argumentation in Multi-Agent Systems, IFAAMAS, Valencia, 2012, pp. 59-78.
PDF

B. Arslan, A. Hohenberger and R. Verbrugge, The development of second-order social cognition and its relation with complex language understanding and working memory. In: N. Miyake, D. Peebles and R.P. Cooper (eds.), Proceedings of the 34th Annual Conference of the Cognitive Science Society, Austin, TX: Cognitive Science Society, 2012, pp. 1290-1295.
PDF

H. de Weerd, R. Verbrugge and B. Verheij, Higher-order social cognition in rock-paper-scissors: A simulation study. In: G. Bonanno, H. van Ditmarsch and W. van der Hoek (eds.), Proceedings 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), University of Sevilla, 2012, pp. 218-232.
PDF Poster Live demo

S. Ghosh, T.H. Kyaw and R. Verbrugge, Decision support for extensive form negotiation games. In: V. Goranko and W. Jamroga (eds.), Proceedings Workshop Logical Approaches to Multi-Agent Systems, 2012, IFAAMAS, Valencia, pp. 22-33.
Also in: L. Chen and A. Felfernig (eds.), Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems, 4-7 December 2012, Macau.
PDF

H. de Weerd, R. Verbrugge and B. Verheij. Higher-order social cognition in the game of rock-paper-scissors: A simulation study (extended abstract). In: W. van der Hoek, L. Padgham, V. Conitzer and M. Winikoff (eds.), Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2012, pp. 1195-1196.
PDF Live demo

B. Meijering, H. van Rijn, N.A. Taatgen, and R. Verbrugge, I do know what you think I think: Second-order theory of mind in strategic games is not that difficult. In: L. Carlson, C. Hölscher, and T. Shipley (eds.), Proceedings of the 33rd Annual Conference of the Cognitive Science Society, Cognitive Science Society, Austin, TX, 2011, pp. 2486-2491.
PDF

B. Dunin-Kęplicz, A. Strachocka and R. Verbrugge, Deliberation dialogues during multi-agent planning. In: M. Kryszkiewicz, H. Rybinski, A. Skowron and Z. Ras (eds.), Proceedings Foundations of Intelligent Systems: 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011, Lecture Notes in Computer Science, Volume 6804, Springer-Verlag, Berlin, 2011, pp. 170-181.
PDF

H. van Ditmarsch, S. Ghosh, R. Verbrugge and Y. Wang, Hidden protocols. In: K.R. Apt (ed.), TARK XIII: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM Press Digital Library, 2011, pp. 65-74.
PDF

C. Dégremont, B. Löwe and A. Witzel, The synchronicity of dynamic epistemic logic. In: K.R. Apt (ed.), TARK XIII: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM Press Digital Library, 2011, pp. 145-152.

B. Dunin-Kęplicz, A. Strachocka and R. Verbrugge, Modeling deliberation in teamwork. In: E. Davis, P. Doherty and E. Erdem (eds.), Proceedings of the Tenth Symposium on Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposium Series, North America, March 2011.

C. Dégremont, L. Kurzen, and J. Szymanik, On the tractability of comparing informational structures, In: J. van Eijck, R. Verbrugge (Eds.), Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings, Volume 751, 2011, pp. 50-64.

S. Ghosh and B. Meijering, On combining cognitive and formal modeling: A case study involving strategic reasoning. In: J. van Eijck and R. Verbrugge (Eds.), Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings, Volume 751, 2011, pp. 79-92.

H. de Weerd and B. Verheij, The advantage of higher-order theory of mind in the game of limited bidding. In: J. van Eijck, R. Verbrugge (Eds.), Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings, Volume 751, 2011, pp. 149-164.
Live demo

N. Gierasimczuk and J. Szymanik, A note on a generalization of the muddy children puzzle. In: K. Apt (ed.), Proceeding of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM Digital Library, 2011, pp. 257-264.
PDF

N. Gierasimczuk and J. Szymanik, Invariance properties of quantifiers and multiagent information exchange. In: M. Kanazawa et al. (eds.), Proceedings of the 12th Meeting on Mathematics of Language, Lecture Notes in Artificial Intelligence, Volume 6878, Springer, Berlin, 2011, pp. 72-89.
PDF

J. Kontinen and J. Szymanik, Characterizing definability of second-order generalized quantifiers. In: L.D. Beklemishev and R. de Quieroz (eds.), Logic, Language, Information and Computation. Lecture Notes in Computer Science, Volume 8652, Springer, Berlin, 2011, pp. 187-200.
PDF

T. Visser, T. Andringa and R. Verbrugge, Affective agents bridge the gap between life and mind. In: T. Froese, M. Egbert and X. Barandiaran (eds.), Workshop on Artificial Autonomy ECAL 2011: Twenty Years of Practice of Autonomous Systems, August 8, 2011, Paris, pp. 7-12.

B. Meijering, L. van Maanen, H. van Rijn and R. Verbrugge, The facilitative effect of context on second-order social reasoning. In: R. Catrambone and S. Ohlsson (eds.), Proceedings of the 32nd Annual Conference of the Cognitive Science Society, Cognitive Science Society, Austin, TX, 2010, pp. 1423-1428.
PDF

L. van Maanen and R. Verbrugge, A computational model of second-order social reasoning. In: D. Salvucci and G. Gunzelmann (eds.), Proceedings of the 10th International Conference on Cognitive Modeling, Drexel University, Philadelphia (PA), 2010, pp. 259-264.
PDF

P. Dykstra, C. Elsenbroich, W. Jager, G. Renardel de Lavalette and R. Verbrugge, A logic-based architecture for opinion dynamics. In: Proceedings of the World Congress of Social Simulation 2010 (WCSS 2010), Kassel, Germany, 2010.
PDF

S. Ghosh, B. Meijering and R. Verbrugge, Empirical reasoning in games: Logic meets cognition. In: T. Ågotnes, N. Alechina and B. Logan (eds.), Proceedings Third Logics for Resource Bounded Agents Workshop (LRBA 2010), 2010, pp. 15-34.
PDF

B. Dunin-Kęplicz, R. Verbrugge and M. Slizak, Case-study for TeamLog, a theory of teamwork. In: G.A. Papadopoulos and C. Badica (eds.), Intelligent Distributed Computing III: Proceedings of the Third International Symposium on Intelligent Distributed Computing, Studies in Computational Intelligence, Volume 237, Springer-Verlag, Berlin, 2009, pp. 87-100.
PDF

E. van der Vaart, C. Hemelrijk and R. Verbrugge, Learning where (not) to cache: A cognitive model for corvids. In: N.A. Taatgen and R. van Rijn (eds.) Proceedings of the 31st Annual Meeting of the Cognitive Science Society, Cognitive Science Society, Austin, TX, 2009, pp. 2420-2425.
PDF

S. Slingerland, M. Mulder, E. van der Vaart and R. Verbrugge, A multi-agent systems approach to gossip and the evolution of language. In: N.A. Taatgen and R. van Rijn (eds.) Proceedings of the 31st Annual Meeting of the Cognitive Science Society, Cognitive Science Society, Austin, TX, 2009, pp. 1609-1614.
PDF

E. van der Vaart, R. Verbrugge and C. Hemelrijk, Memory effects in the Clark’s nutcracker: A cognitive model for corvids. In: A. Howes, D. Peebles and R. Cooper (eds.) Proceedings of the 9th International Conference on Cognitive Modeling, Manchester, UK, 2009.
(Best Student Poster Award winner of ICCM’09)
PDF Poster

L. van Maanen and H. van Rijn, The locus of the Gratton effect in picture-word interference. In: A. Howes, D. Peebles and R. Cooper (eds.) Proceedings of the 9th International Conference on Cognitive Modeling, Manchester, UK, 2009, pp. 80-85.
(Best Student Paper Award winner of ICCM’09)

H. van Rijn, L. van Maanen, and M. van Woudenberg, Passing the test: Improving learning gains by balancing spacing and testing effects. In: A. Howes, D. Peebles and R. Cooper (eds.) Proceedings of the 9th International Conference on Cognitive Modeling, Manchester, UK, 2009, pp. 110-115.

L. van Maanen and J. N. Marewski, Recommender systems for literature selection: A competition between decision making and memory models. In: N.A. Taatgen and H. Van Rijn (eds.), Proceedings of the 31st Annual Meeting of the Cognitive Science Society, Cognitive Science Society, 2009, pp. 2914-2919.

P. Dykstra, C. Elsenbroich, W. Jager, G. Renardel de Lavalette and R. Verbrugge, A dialogical logic-based simulation architecture for social agents and the emergence of extremist behaviour. In: B. Edmonds and N. Gilbert (eds.), Proceedings of The Sixth Conference of the European Social Simulation Association (ESSA), University of Surrey, Guilford, 2009.
PDF

G. van Valkenhoef, S.D. Ramchurn, P. Vytelingum, N.R. Jennings and R. Verbrugge. Continuous double auctions with execution uncertainty. In: E. Gerding (ed.), Proceedings of the IJCAI-09 Workshop on Trading Agent Design and Analysis (TADA-09), Pasadena (CA), 13 July 2009, pp. 113-122.
PDF

Gert van Valkenhoef, Elske van der Vaart and Rineke Verbrugge. OOPS: An S5n prover for educational settings. In: T. Bolander and T. Bräuner (eds.), Proceedings of the 6th Workshop on Methods for Modalities (M4M-6), Copenhagen, Denmark, 2009.
PDF

Top


Other journal articles: editorials, letter

J. Szymanik and R. Verbrugge, Logic and cognition: Special issue of best papers of the ESSLLI 2012 workshop (introduction). Journal of Logic, Language and Information, 22(4) (2013) 357-362. DOI:10.1007/s10849-013-9186-4.
PDF

B. Dunin-Kęplicz and R. Verbrugge, Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Logic Journal of the IGPL, 21(3) (2013) 309-310. DOI:doi:10.1093/jigpal/jzs053.
PDF

B. Dunin-Kęplicz, and R. Verbrugge, Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. Logic Journal of the IGPL, 21(3) (2013) 404-406. DOI:10.1093/jigpal/jzt016.
PDF

H. van Ditmarsch and R. Verbrugge, The rules of the game are changing: Scientific impact factors and publication strategies among logicians (letter). Journal of Logic and Computation, 21(2) (2011) 121-132. DOI:10.1093/logcom/exr001.
PDF

R. Verbrugge, and B. Dunin-Kęplicz, Formal approaches to multi-agent systems. Journal of Autonomous Agents and Multi-Agent Systems, 19(1) (2009) 1-3.
PDF

H. van Ditmarsch, J. van Eijck and R. Verbrugge, Publieke werken: Breinbrouwsels over sommen en producten. Nieuw Archief voor Wiskunde (in Dutch), serie 5, 10(2), 2009, 126-131.
PDF

Top