{"id":13,"date":"2011-04-17T12:09:55","date_gmt":"2011-04-17T12:09:55","guid":{"rendered":"http:\/\/www.ai.rug.nl\/SocialCognition\/?page_id=13"},"modified":"2017-02-17T09:34:55","modified_gmt":"2017-02-17T09:34:55","slug":"papers","status":"publish","type":"page","link":"https:\/\/www.ai.rug.nl\/SocialCognition\/papers\/","title":{"rendered":"Papers"},"content":{"rendered":"

Books: monograph, edited books and PhD theses<\/a>
\nArticles in peer-reviewed international journals<\/a>
\nEdited special issues of international refereed journals<\/a>
\nEdited conference proceedings<\/a>
\nArticles in peer-reviewed books<\/a>
\nArticles in peer-reviewed conference proceedings<\/a>
\nOther journal articles: editorials, letter<\/a><\/p>\n

\n

<\/a>Books: monograph, edited books and PhD theses<\/b><\/p>\n

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

H. de Weerd, If You Know What I Mean: Agent-Based Models for Understanding the Function of Higher-Order Theory of Mind<\/i>. PhD thesis, University of Groningen, 2015.
\nLink<\/a><\/p>\n

B. Meijering, Reasoning About Self and Others<\/i>. PhD thesis, University of Groningen, 2014.
\nLink<\/a><\/p>\n

B. Rodenhäuser, A Matter of Trust: Dynamic Attitudes in Epistemic Logic<\/i>. PhD thesis, ILLC, University of Amsterdam, 2014.
\nLink<\/a><\/p>\n

E. van der Vaart, A Cognitive Model of Caching by Corvids<\/i>. PhD thesis, University of Groningen, 2013 (cum laude).<\/p>\n

J. van Eijck and R. Verbrugge (eds.) Games, Actions and Social Software: Multidisciplinary Aspects<\/i>. 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<\/a>.<\/p>\n

B. Dunin-Kęplicz and R. Verbrugge, Teamwork in Multi-Agent Systems: A Formal Approach<\/i>. Wiley and Sons, Chichester, July 2010. <\/p>\n

J. van Eijck and R. Verbrugge (eds.), Discourses on Social Software<\/i>. Series Texts in Logic and Games, volume 5, Amsterdam University Press, 2009. <\/p>\n

Top<\/a><\/p>\n

\n

<\/a>Articles in peer-reviewed international journals<\/b><\/p>\n

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<\/i>, 31.2<\/b> (2017) 250-287. DOI:10.1007\/s10458-015-9317-1<\/a>.<\/p>\n

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<\/i>, 10.1<\/b> (2015) e0117027. DOI:10.1371\/journal.pone.0117027<\/a>.<\/p>\n

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<\/i>, in press (2015).<\/p>\n

H. de Weerd, R. Verbrugge and B. Verheij. Higher-order theory of mind in the Tacit Communication Game. Biologically Inspired Cognitive Architectures<\/i>, 11<\/b> (2015) 10-21. DOI:10.1016\/j.bica.2014.11.010<\/a>.
\nPDF<\/a><\/p>\n

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

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

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

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<\/i>, 15<\/b>(3) (2014) 455-477. (Special issue on Mindreading, editor M. McShane). DOI:10.1075\/is.15.3.05mei<\/a>.
\nPDF<\/a><\/p>\n

C. Dégremont, L. Kurzen and J. Szymanik, Exploring the tractability border in epistemic tasks. Synthese<\/i>, 191<\/b>(3) (2014) 371-408. DOI:10.1007\/s11229-012-0215-7<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, 23<\/b>(1) (2014) 53-81. DOI:10.1007\/s10849-014-9197-9<\/a>.
\nPDF<\/a><\/p>\n

H. van Ditmarsch, S. Ghosh, R. Verbrugge and Y. Wang, Hidden protocols: Modifying our expectations in an evolving world. Artificial Intelligence<\/i>, 208<\/b> (2014) 18-40. DOI:10.1016\/j.artint.2013.12.001<\/a>.
\nPDF<\/a><\/p>\n

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

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<\/i>, 182<\/b>(5) (2013) 682-688. DOI:10.1086\/673298<\/a>.<\/p>\n

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<\/i>, 199-200<\/b> (2013) 67-92. DOI:10.1016\/j.artint.2013.05.004<\/a>.
\nPDF<\/a> Live demo<\/a><\/p>\n

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<\/i>, 16<\/b>(3) (2013) 4.
\nLink<\/a><\/p>\n

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<\/i>, 7<\/b>(9) (2012) e45961. DOI:10.1371\/journal.pone.0045961<\/a>.
\nPDF<\/a><\/p>\n

E. van der Vaart, R. Verbrugge and C.K. Hemelrijk, Corvid re-caching without ‘theory of mind’: A model. PLoS ONE<\/i>, 7<\/b> (2012) e32904. DOI:10.1371\/journal.pone.0032904<\/a>.
\nPDF<\/a><\/p>\n

M. Mostowski and J. Szymanik, Semantic bounds for everyday language. Semiotica<\/i>, 188<\/b>(1-4) (2012) 323-332. DOI:10.1515\/sem-2012-0022<\/a>.
\nPDF<\/a><\/p>\n

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

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<\/i>, 11<\/b>(323) (2011). DOI:10.1186\/1471-2148-11-323<\/a>.<\/p>\n

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<\/i>, 7<\/b>(10) (2011) e1002186. DOI:10.1371\/journal.pcbi.1002186<\/a>.<\/p>\n

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

H. de Weerd and R. Verbrugge, Evolution of altruistic punishment in heterogeneous populations. Journal of Theoretical Biology<\/i>, 290<\/b> (2011) 88-103. DOI:10.1016\/j.jtbi.2011.08.034<\/a>.
\nPDF<\/a> Online material<\/a><\/p>\n

D.H.J. de Jongh, R. Verbrugge and A. Visser, Intermediate logics and the de Jongh property. Archive for Mathematical Logic<\/i>, 50<\/b>(1-2) (2011) 197-213. DOI:10.1007\/s00153-010-0209-4<\/a>.
\nPDF<\/a><\/p>\n

I. van Rooij, J. Kwisthout, M. Blokpoel, J. Szymanik, T. Wareham and I. Toni. Intentional communication: Computationally easy or difficult? Frontiers in Human Neuroscience<\/i>, 5<\/b>(52) (2011). DOI:10.3389\/fnhum.2011.00052<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, 44<\/b>(2011) 595-600. DOI:10.1016\/j.jcomdis.2011.07.005<\/a>.
\nPDF<\/a><\/p>\n

J. Szymanik, and M. Zajenkowski, Contribution of working memory in parity and proportional judgments. Belgian Journal of Linguistics<\/i>, 25<\/b>(1) (2011) 176-194. DOI:10.1075\/bjl.25.08szy<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, 7<\/b>(3) (2010) 569-595. DOI:10.2298\/CSIS100209016D<\/a>.
\nPDF<\/a><\/p>\n

Gert van Valkenhoef, Elske van der Vaart and Rineke Verbrugge, OOPS: An S5n prover for educational settings. Electronic Notes in Theoretical Computer Science<\/i>, 162<\/b> (2010) 249-261. DOI:10.1016\/j.entcs.2010.04.018<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, XXVII<\/b>(2) (2010) 279-309.
\nPDF<\/a><\/p>\n

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

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<\/i>, 16<\/b>(6) (2009) 987-999. DOI:10.3758\/PBR.16.6.987<\/a>.<\/p>\n

R. Verbrugge, Logic and social cognition: The facts matter, and so do computational models. Journal of Philosophical Logic<\/i>, 38<\/b>(6) (2009) 649-680. DOI:10.1007\/s10992-009-9115-9<\/a>.
\nPDF<\/a><\/p>\n

E. van Baars and R. Verbrugge, A communication algorithm for teamwork in multi-agent environments. Journal of Applied Non-Classical Logics<\/i>, 19<\/b>(4) (2009) 431-461. DOI:10.3166\/jancl.19.431-461<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, 17<\/b>(4) (2008) 417-442. (Special issue on Formal models for real people, editor M. Counihan). DOI:10.1007\/s10849-008-9064-7<\/a>.
\nPDF<\/a><\/p>\n

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

Top<\/a><\/p>\n

\n

<\/a>Edited special issues of international refereed journals<\/b><\/p>\n

R. Verbrugge (ed.), Special issue on Reasoning About Other Minds, Synthese<\/i>, 191<\/b>(3) (2014) 297-408.<\/p>\n

B. Dunin-Kęplicz and R. Verbrugge (eds.), Combined Special Issue: Best papers of FAMAS 2007 and FAMAS 2009. Logic Journal of the IGPL<\/i>, 21<\/b>(3), 2013.<\/p>\n

J. Szymanik and R. Verbrugge (eds.), Special issue on Logic and cognition. Journal of Logic, Language and Information<\/i>, articles spread over 22<\/b>(3) and 22<\/b>(4) (2013).
\nLink<\/a><\/p>\n

Top<\/a><\/p>\n

\n

<\/a>Edited conference proceedings<\/b><\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 1208<\/a>, 2014.<\/p>\n

J. Szymanik and R. Verbrugge (eds.), Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, Opole, Poland, 13-17 August, 2012<\/i>, CEUR Workshop Proceedings, Volume 883<\/a>, 2012.<\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 751<\/a>, 2011. <\/p>\n

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<\/i>.
\nAs 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<\/i>.<\/p>\n

Top<\/a><\/p>\n

\n

<\/a>Articles in peer-reviewed books<\/b><\/p>\n

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<\/i>. College Publications, London, 2015, pp. 88-102.<\/p>\n

J. van Eijck and R. Verbrugge, Formal approaches to social procedures. In: E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy<\/i>, Fall 2014 Edition.
\nLink<\/a><\/p>\n

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<\/i>, Trends in Logic, Outstanding Contributions to Logic, Volume 5, Springer Verlag, Berlin, 2014, pp. 787-824.
\nPDF<\/a><\/p>\n

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<\/i>, Texts in Logic and Games, FoLLI subseries of Springer Lecture Notes in Computer Science, Volume 7010, Springer Verlag, Berlin, 2012, pp. 184-212.
\nPDF<\/a><\/p>\n

R. Verbrugge, Provability logic. In: E. Zalta (ed.), Stanford Encyclopedia of Philosophy<\/i>, Winter 2010 Edition.
\nLink<\/a><\/p>\n

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<\/i>, series Lecture Notes in Business Information Processing, vol. 59, Springer, Berlin, 2010, pp. 226-241.
\nPDF<\/a><\/p>\n

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

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<\/i>, London, College Publications, 2009, pp. 33-52.
\nPDF<\/a><\/p>\n

Top<\/a><\/p>\n

\n

<\/a>Articles in peer-reviewed conference proceedings<\/b><\/p>\n

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<\/i>, Cognitive Science Society, Pasadena, CA, 2015, pp. 854-859.<\/p>\n

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)<\/i>, Pittsburgh, PA, 2015 (to appear).<\/p>\n

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<\/i>, Cognitive Science Society, Pasadena, CA, 2015, pp. 542-547.
\nPDF<\/a><\/p>\n

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<\/i>, Cognitive Science Society, Pasadena, CA, 2015, pp. 108-113.<\/p>\n

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<\/i>, 2015, pp. 100-105.
\n(Honorable mention for the Allen Newell Award at ICCM 2015)
\nPDF<\/a><\/p>\n

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)<\/i>, CEUR Workshop Proceedings, Volume 1283<\/a>, 2014, pp. 128-136.
\nPDF<\/a><\/p>\n

B. Dunin-Kęplicz, A. Sza\u0142as 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<\/i>, Lecture Notes in Computer Science, Volume 8758, Springer, Berlin, 2014, pp. 328-350.
\nPDF<\/a><\/p>\n

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<\/i>, 2014, pp. 1778-1783.
\nPDF<\/a><\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 1208<\/a>, 2014, pp. 1-5.
\nPDF<\/a><\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 1208<\/a>, 2014, pp. 35-39.
\nPDF<\/a><\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 1208<\/a>, 2014, pp. 40-44.
\nPDF<\/a><\/p>\n

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<\/i>, Lecture Notes in Computer Science, Volume 8291, Springer, Berlin, 2013, pp. 37-53.
\n(Best Paper Prize winner of PRIMA 2013)
\nPDF<\/a><\/p>\n

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<\/i>, Lecture Notes in Computer Science, Volume 8291, Springer, Berlin, 2013, pp. 101-116.
\nPDF<\/a> Supplementary online appendix<\/a><\/p>\n

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<\/i>, 2013, pp. 1426-1431.
\nPDF<\/a><\/p>\n

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<\/i>, 2013, pp. 3026-3031.
\nPDF<\/a><\/p>\n

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<\/i>, Advances in Intelligent Systems and Computing, Volume 229, Springer Verlag, Berlin, 2013, pp. 213-224.
\nPDF<\/a> Poster<\/a><\/p>\n

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)<\/i>. Frontiers of AI and Applications, volume 252, IOS Press, Amsterdam, 2013, pp. 255-264.<\/p>\n

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

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<\/i>, 2013, pp. 77-82.
\nPDF<\/a><\/p>\n

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<\/i>, 2013, pp. 173-178.
\nPDF<\/a><\/p>\n

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<\/i>, 2013, pp. 239-244.
\nPDF<\/a><\/p>\n

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<\/i>. Lecture Notes in Computer Science, Volume 8196, Springer, Berlin, 2013, pp. 352-356.
\nPDF<\/a><\/p>\n

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<\/i>, Volume 1. SciTePress, 2013, pp. 99-108.
\nPDF<\/a><\/p>\n

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<\/i>, Valencia, 2012, pp. 59-78.
\nPDF<\/a><\/p>\n

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<\/i>, 2012, pp. 1290-1295.
\nPDF<\/a><\/p>\n

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)<\/i>, University of Sevilla, 2012, pp. 218-232.
\nPDF<\/a> Poster<\/a> Live demo<\/a><\/p>\n

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<\/i>, Valencia, pp. 22-33.
\nAlso in: L. Chen and A. Felfernig (eds.), Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems, 4-7 December 2012, Macau<\/i>.
\nPDF<\/a><\/p>\n

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<\/i>, 2012, pp. 1195-1196.
\nPDF<\/a> Live demo<\/a><\/p>\n

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<\/i>, 2011, pp. 2486-2491.
\nPDF<\/a><\/p>\n

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<\/i>, Lecture Notes in Computer Science, Volume 6804, Springer-Verlag, Berlin, 2011, pp. 170-181.
\nPDF<\/a><\/p>\n

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<\/i>, ACM Press Digital Library, 2011, pp. 65-74.
\nPDF<\/a><\/p>\n

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<\/i>, ACM Press Digital Library, 2011, pp. 145-152.<\/p>\n

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<\/i>, AAAI Spring Symposium Series, North America, March 2011.<\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 751<\/a>, 2011, pp. 50-64.<\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 751<\/a>, 2011, pp. 79-92.<\/p>\n

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<\/i>, CEUR Workshop Proceedings, Volume 751<\/a>, 2011, pp. 149-164.
\nLive demo<\/a><\/p>\n

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<\/i>, ACM Digital Library, 2011, pp. 257-264.
\nPDF<\/a><\/p>\n

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<\/i>, Lecture Notes in Artificial Intelligence, Volume 6878, Springer, Berlin, 2011, pp. 72-89.
\nPDF<\/a><\/p>\n

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<\/i>. Lecture Notes in Computer Science, Volume 8652, Springer, Berlin, 2011, pp. 187-200.
\nPDF<\/a><\/p>\n

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<\/i>, August 8, 2011, Paris, pp. 7-12.<\/p>\n

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<\/i>, 2010, pp. 1423-1428.
\nPDF<\/a><\/p>\n

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<\/i>, Drexel University, Philadelphia (PA), 2010, pp. 259-264.
\nPDF<\/a><\/p>\n

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)<\/i>, Kassel, Germany, 2010.
\nPDF<\/a><\/p>\n

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)<\/i>, 2010, pp. 15-34.
\nPDF<\/a><\/p>\n

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<\/i>, Studies in Computational Intelligence, Volume 237, Springer-Verlag, Berlin, 2009, pp. 87-100.
\nPDF<\/a><\/p>\n

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<\/i>, 2009, pp. 2420-2425.
\nPDF<\/a><\/p>\n

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<\/i>, 2009, pp. 1609-1614.
\nPDF<\/a><\/p>\n

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<\/i>, Manchester, UK, 2009.
\n(Best Student Poster Award winner of ICCM\u201909)
\nPDF<\/a> Poster<\/a><\/p>\n

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<\/i>, Manchester, UK, 2009, pp. 80-85.
\n(Best Student Paper Award winner of ICCM\u201909)<\/p>\n

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<\/i>, Manchester, UK, 2009, pp. 110-115.<\/p>\n

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<\/i>, Cognitive Science Society, 2009, pp. 2914-2919.<\/p>\n

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)<\/i>, University of Surrey, Guilford, 2009.
\nPDF<\/a><\/p>\n

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)<\/i>, Pasadena (CA), 13 July 2009, pp. 113-122.
\nPDF<\/a><\/p>\n

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)<\/i>, Copenhagen, Denmark, 2009.
\nPDF<\/a><\/p>\n

Top<\/a><\/p>\n

\n

<\/a>Other journal articles: editorials, letter<\/b><\/p>\n

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<\/i>, 22<\/b>(4) (2013) 357-362. DOI:10.1007\/s10849-013-9186-4<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, 21<\/b>(3) (2013) 309-310. DOI:doi:10.1093\/jigpal\/jzs053<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, 21<\/b>(3) (2013) 404-406. DOI:10.1093\/jigpal\/jzt016<\/a>.
\nPDF<\/a><\/p>\n

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<\/i>, 21<\/b>(2) (2011) 121-132. DOI:10.1093\/logcom\/exr001<\/a>.
\nPDF<\/a><\/p>\n

R. Verbrugge, and B. Dunin-Kęplicz, Formal approaches to multi-agent systems. Journal of Autonomous Agents and Multi-Agent Systems<\/i>, 19<\/b>(1) (2009) 1-3.
\nPDF<\/a><\/p>\n

H. van Ditmarsch, J. van Eijck and R. Verbrugge, Publieke werken: Breinbrouwsels over sommen en producten. Nieuw Archief voor Wiskunde<\/i> (in Dutch), serie 5, 10<\/b>(2), 2009, 126-131.
\nPDF<\/a><\/p>\n

Top<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

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 … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":89,"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":667,"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/pages\/13\/revisions\/667"}],"wp:attachment":[{"href":"https:\/\/www.ai.rug.nl\/SocialCognition\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}