On the Provability Logic of Bounded Arithmetic. - Alessandro Berarducci; Rineke Verbrugge (Ann. Pure Appl. Log., 1993)

A Small Reflection Principle for Bounded Arithmetic. - Rineke Verbrugge; Albert Visser (J. Symb. Log., 1994)

A qualitative fuzzy possibilistic logic. - Petr Hájek 001; Dagmar Harmancová; Rineke Verbrugge (Int. J. Approx. Reason., 1995)

Modelling Internal Dynamic Behaviour of BDI Agents. - Frances M. T. Brazier; Barbara Dunin-Keplicz; Jan Treur; Rineke Verbrugge (ModelAge Workshop, 1997)

A Reconfiguration Algorithm for the Maintenance of Collective Commitments. - Barbara Dunin-Keplicz; Rineke Verbrugge (ICMAS, 1998)

Collective Motivational Attitudes in Cooperative Problem Solving. - Barbara Dunin-Keplicz; Rineke Verbrugge (CEEMAS, 1999)

Dialogue in Team Formation. - Frank Dignum; Barbara Dunin-Keplicz; Rineke Verbrugge (Issues in Agent Communication, 2000)

Agent Theory for Team Formation by Dialogue. - Frank Dignum; Barbara Dunin-Keplicz; Rineke Verbrugge (ATAL, 2000)

Creating Collective Intention through Dialogue. - Frank Dignum; Barbara Dunin-Keplicz; Rineke Verbrugge (Log. J. IGPL, 2001)

Evolution of collective commitment during reconfiguration. - Barbara Dunin-Keplicz; Rineke Verbrugge (AAMAS, 2002)

Collective Intentions. - Barbara Dunin-Keplicz; Rineke Verbrugge (Fundam. Informaticae, 2002)

Calibrating Collective Commitments. - Barbara Dunin-Keplicz; Rineke Verbrugge (CEEMAS, 2003)

Dynamics of Collective Attitudes during Teamwork. - Barbara Dunin-Keplicz; Rineke Verbrugge (ESAW, 2003)

Dialogue in teamwork. - Barbara Dunin-Keplicz; Rineke Verbrugge (CE, 2003)

Evolution of Collective Commitment during Teamwork. - Barbara Dunin-Keplicz; Rineke Verbrugge (Fundam. Informaticae, 2003)

Modeling the ability to reason about oneself and others in educational contexts. - Karin Zondervan; Rineke Verbrugge; Niels Taatgen (ICCM, 2004)

Creating Common Beliefs in Rescue Situations. - Barbara Dunin-Keplicz; Rineke Verbrugge (MSRAS, 2004)

A Tuning Machine for Cooperative Problem Solving. - Barbara Dunin-Keplicz; Rineke Verbrugge (Fundam. Informaticae, 2004)

Model Checking Sum and Product. - Hans P. van Ditmarsch; Ji Ruan; L. C. Verbrugge (Australian Conference on Artificial Intelligence, 2005)

Complexity of a theory of collective attitudes in teamwork. - Marcin Dziubinski; Rineke Verbrugge; Barbara Dunin-Keplicz (IAT, 2005)

Awareness as a vital ingredient of teamwork. - Barbara Dunin-Keplicz; Rineke Verbrugge (AAMAS, 2006)

Hybrid Logics with Infinitary Proof Systems. - Barteld P. Kooi; Gerard R. Renardel de Lavalette; Rineke Verbrugge (J. Log. Comput., 2006)

Reducing the complexity of logics for multiagent systems. - Marcin Dziubinski; Rineke Verbrugge; Barbara Dunin-Keplicz (AAMAS, 2007)

The Examination of an Information-Based Approach to Trust. - Maaike Harbers; Rineke Verbrugge; Carles Sierra; John K. Debenham (COIN, 2007)

Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. - Egon van Baars; Rineke Verbrugge (LADS, 2007)

Complexity Issues in Multiagent Logics. - Marcin Dziubinski; Rineke Verbrugge; Barbara Dunin-Keplicz (Fundam. Informaticae, 2007)

Agent-based models for animal cognition: a proposal and prototype. - Elske van der Vaart; Rineke Verbrugge (AAMAS (2), 2008)

Children's Application of Theory of Mind in Reasoning and Language. - Liesbeth Flobbe; Rineke Verbrugge; Petra Hendriks; Irene Krämer (J. Log. Lang. Inf., 2008)

Learning to Apply Theory of Mind. - Rineke Verbrugge; Lisette Mol (J. Log. Lang. Inf., 2008)

Sum and Product in Dynamic Epistemic Logic. - Hans P. van Ditmarsch; Ji Ruan; Rineke Verbrugge (J. Log. Comput., 2008)

Continuous Double Auctions with Execution Uncertainty. - Gert van Valkenhoef; Sarvapali D. Ramchurn; Perukrishnen Vytelingum; Nicholas R. Jennings; Rineke Verbrugge (AMEC/TADA, 2009)

Case-Study for TeamLog, a Theory of Teamwork. - Barbara Dunin-Keplicz; Rineke Verbrugge; Michal Slizak (IDC, 2009)

Introductory Essay of FAMAS'09. - Barbara Dunin-Keplicz; Rineke Verbrugge (MALLOW, 2009)

Formal approaches to multi-agent sysems. - Rineke Verbrugge; Barbara Dunin-Keplicz (Auton. Agents Multi Agent Syst., 2009)

OOPS: An S5n Prover for Educational Settings. - Gert van Valkenhoef; Elske van der Vaart; Rineke Verbrugge (M4M, 2009)

A communication algorithm for teamwork in multi-agent environments. - Egon van Baars; Rineke Verbrugge (J. Appl. Non Class. Logics, 2009)

Strong Completeness and Limited Canonicity for PDL. - Gerard R. Renardel de Lavalette; Barteld P. Kooi; Rineke Verbrugge (J. Log. Lang. Inf., 2009)

Logic and Social Cognition - The Facts Matter, and so do Computational Models. - Rineke Verbrugge (J. Philos. Log., 2009)

Teamwork in Multi-Agent Systems - A Formal Approach. - Barbara Dunin-Keplicz; Rineke Verbrugge (Wiley, 2010)

Logic Meets Cognition: Empirical Reasoning in Games. - Sujata Ghosh; Ben Meijering; Rineke Verbrugge (MALLOW, 2010)

TEAMLOG in action: A case study in teamwork. - Barbara Dunin-Keplicz; Rineke Verbrugge; Michal Slizak (Comput. Sci. Inf. Syst., 2010)

Modeling Deliberation in Teamwork. - Barbara Dunin-Keplicz; Alina Strachocka; Rineke Verbrugge (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult. - Ben Meijering; Hedderik van Rijn; Niels Taatgen; Rineke Verbrugge (CogSci, 2011)

Deliberation Dialogues during Multi-agent Planning. - Barbara Dunin-Keplicz; Alina Strachocka; Rineke Verbrugge (ISMIS, 2011)

Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract). - Sujata Ghosh; Sumit Sourabh; Rineke Verbrugge (LORI, 2011)

Hidden protocols. - Hans van Ditmarsch; Sujata Ghosh; Rineke Verbrugge; Yanjing Wang 001 (TARK, 2011)

Intermediate Logics and the de Jongh property. - Dick de Jongh; Rineke Verbrugge; Albert Visser (Arch. Math. Log., 2011)

The rules of the game are changing: Scientific impact factors and publication strategies among logicians. - Hans van Ditmarsch; Rineke Verbrugge (J. Log. Comput., 2011)

Higher-order social cognition in rock-paper-scissors: a simulation study. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (AAMAS, 2012)

The Development of Second-order Social Cognition and its Relation with Complex Language Understanding and Memory. - Burcu Arslan; Annette Hohenberger; Rineke Verbrugge (CogSci, 2012)

Decision Support for Extensive Form Negotiation Games. - Sujata Ghosh; Thiri Haymar Kyaw; Rineke Verbrugge (ISMIS, 2012)

A Logical View on Teamwork. - Barbara Dunin-Keplicz; Rineke Verbrugge (Games, Actions and Social Software, 2012)

Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind. - Ben Meijering; Hedderik van Rijn; Niels A. Taatgen; Rineke Verbrugge (CogSci, 2013)

Using intrinsic complexity of turn-taking games to predict participants' reaction times. - Jakub Szymanik; Ben Meijering; Rineke Verbrugge (CogSci, 2013)

Agent-Based Models for Higher-Order Theory of Mind. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (ESSA, 2013)

Multi-player Multi-issue Negotiation with Mediator using CP-nets. - Thiri Haymar Kyaw; Sujata Ghosh; Rineke Verbrugge (ICAART (1), 2013)

Perceiving Speech Acts under Incomplete and Inconsistent Information. - Barbara Dunin-Keplicz; Alina Strachocka; Andrzej Szalas; Rineke Verbrugge (KES-AMSTA, 2013)

Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. - Nils Bulling; Sujata Ghosh; Rineke Verbrugge (PRIMA, 2013)

Higher-Order Theory of Mind in Negotiations under Incomplete Information. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (PRIMA, 2013)

Logic in the Lab. - Rineke Verbrugge (TARK, 2013)

How much does it help to know what she knows you know? An agent-based simulation study. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (Artif. Intell., 2013)

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. - Barbara Dunin-Keplicz; Rineke Verbrugge (Log. J. IGPL, 2013)

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. - Barbara Dunin-Keplicz; Rineke Verbrugge (Log. J. IGPL, 2013)

Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics. - Piter Dykstra; Corinna Elsenbroich; Wander Jager; Gerard R. Renardel de Lavalette; Rineke Verbrugge (J. Artif. Soc. Soc. Simul., 2013)

Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop. - Jakub Szymanik; Rineke Verbrugge (J. Log. Lang. Inf., 2013)

Logic and Complexity in Cognitive Science. - Alistair M. C. Isaac; Jakub Szymanik; Rineke Verbrugge (Johan van Benthem on Logic and Information Dynamics, 2014)

Computational and algorithmic models of strategies in turn-based games. - Gerben Bergwerff; Ben Meijering; Jakub Szymanik; Rineke Verbrugge; Stefan M. Wierda (CogSci, 2014)

Tractable Reasoning about Group Beliefs. - Barbara Dunin-Keplicz; Andrzej Szalas; Rineke Verbrugge (EMAS@AAMAS, 2014)

Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (ECSI, 2014)

Hidden protocols: Modifying our expectations in an evolving world. - Hans van Ditmarsch; Sujata Ghosh; Rineke Verbrugge; Yanjing Wang 001 (Artif. Intell., 2014)

Strategic Reasoning: Building Cognitive Models from Logical Formulas. - Sujata Ghosh; Ben Meijering; Rineke Verbrugge (J. Log. Lang. Inf., 2014)

Conditional Preference Networks Support Multi-issue Negotiations with Mediator. - Sujata Ghosh; Thiri Haymar Kyaw; Rineke Verbrugge (Trans. Comput. Collect. Intell., 2014)

Teaching Children to Attribute Second-order False Beliefs: A Training Study with Feedback. - Burcu Arslan; Rineke Verbrugge; Niels Taatgen; Bart Hollebrandse (CogSci, 2015)

How do adults reason about their opponent? Typologies of players in a turn-taking game. - Tamoghna Halder; Khyati Sharma; Sujata Ghosh; Rineke Verbrugge (CogSci, 2015)

Savvy software agents can encourage the use of second-order theory of mind by negotiators. - Harmen de Weerd; Eveline Broers; Rineke Verbrugge (CogSci, 2015)

Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models. - Sujata Ghosh; Tamoghna Halder; Khyati Sharma; Rineke Verbrugge (LORI, 2015)

Do players reason by forward induction in dynamic perfect information games? - Sujata Ghosh; Aviad Heifetz; Rineke Verbrugge (TARK, 2015)

Paraconsistent semantics of speech acts. - Barbara Dunin-Keplicz; Alina Strachocka; Andrzej Szalas; Rineke Verbrugge (Neurocomputing, 2015)

An Agent-Based Dialogical Model with Fuzzy Attitudes. - Piter Dykstra; Wander Jager; Corinna Elsenbroich; Rineke Verbrugge; Gerard R. Renardel de Lavalette (J. Artif. Soc. Soc. Simul., 2015)

Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (Auton. Agents Multi Agent Syst., 2017)

What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? - Sujata Ghosh; Aviad Heifetz; Rineke Verbrugge; Harmen de Weerd (TARK, 2017)

An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic. - Jakob Dirk Top; Rineke Verbrugge; Sujata Ghosh (Games, 2018)

Studying strategies and types of players: experiments, logics and cognitive models. - Sujata Ghosh; Rineke Verbrugge (Synth., 2018)

Handling Unforeseen Failures Using Argumentation-Based Learning. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (CASE, 2019)

Cross-cultural differences in playing centipede-like games with surprising opponents. - Sujata Ghosh; Rineke Verbrugge; Harmen de Weerd; Aviad Heifetz (CogSci, 2019)

Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (ECSQARU, 2019)

Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Bart Verheij; Rineke Verbrugge (ISIPTA, 2019)

Training the use of theory of mind using artificial agents. - Kim Veltman; Harmen de Weerd; Rineke Verbrugge (J. Multimodal User Interfaces, 2019)

A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (COMMA, 2020)

Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation. - Marcin Korecki; Malvin Gattinger; Rineke Verbrugge (ICAART (1), 2020)

Testing and Training Theory of Mind for Hybrid Human-agent Environments. - Rineke Verbrugge (ICAART (1), 2020)

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. - Zeynep Akata; Dan Balliet; Maarten de Rijke; Frank Dignum; Virginia Dignum; Guszti Eiben; Antske Fokkens; Davide Grossi; Koen V. Hindriks; Holger H. Hoos; Hayley Hung; Catholijn M. Jonker; et al. (Computer, 2020)

Commonly Knowingly Whether. - Jie Fan; Davide Grossi; Barteld Kooi; Xingchi Su; Rineke Verbrugge (CoRR, 2020)

Local-HDP: Interactive Open-Ended 3D Object Categorization. - Hamed Ayoobi; S. Hamidreza Kasaei 001; Ming Cao 001; Rineke Verbrugge; Bart Verheij (CoRR, 2020)

Editors' Review and Introduction: Lying in Logic, Language, and Cognition. - Hans van Ditmarsch; Petra Hendriks; Rineke Verbrugge (Top. Cogn. Sci., 2020)

Argue to Learn: Accelerated Argumentation-Based Learning. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (ICMLA, 2021)

Empirically Grounded Agent-Based Policy Evaluation of the Adoption of Sustainable Lighting under the European Ecodesign Directive. - Gido Schoenmacker; Wander Jager; Rineke Verbrugge (AMPM@JURIX, 2021)

Semi-Stable Semantics for Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (KR, 2021)

Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. - Rineke Verbrugge (LICS, 2021)

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. - Davide Grossi; Barteld Kooi; Xingchi Su; Rineke Verbrugge (LORI, 2021)

Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. - Rineke Verbrugge (AiML, 2022)

Computational Theory of Mind for Human-Agent Coordination. - Emre Erdogan; Frank Dignum; Rineke Verbrugge; Pinar Yolum (COINE, 2022)

Online Incremental Learning with Abstract Argumentation Frameworks. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (ArgML@COMMA, 2022)

How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? - Atefeh Keshavarzi Zafarghandi; Wolfgang Dvorák; Rineke Verbrugge; Bart Verheij (COMMA, 2022)

Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. - Emre Erdogan; Frank Dignum; Rineke Verbrugge; Pinar Yolum (HHAI, 2022)

Higher-order theory of mind is especially useful in unpredictable negotiations. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (Auton. Agents Multi Agent Syst., 2022)

Strong admissibility for abstract dialectical frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (Argument Comput., 2022)

Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. - Yuri David Santos; Barteld Kooi; Rineke Verbrugge (J. Log. Comput., 2022)

Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios. - Hamed Ayoobi; S. Hamidreza Kasaei 001; Ming Cao 001; Rineke Verbrugge; Bart Verheij (Robotics Auton. Syst., 2022)

Argumentation-Based Online Incremental Learning. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (IEEE Trans Autom. Sci. Eng., 2022)

Predictive Theory of Mind Models Based on Public Announcement Logic. - Jakob Dirk Top; Catholijn M. Jonker; Rineke Verbrugge; Harmen de Weerd (DaLí, 2023)

Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. - Ludi van Leeuwen; Bart Verheij; Rineke Verbrugge; Silja Renooij (ICAIL, 2023)

Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. - Hamed Ayoobi; Hamidreza Kasaei 001; Ming Cao 001; Rineke Verbrugge; Bart Verheij (ICRA, 2023)

Evaluating Methods for Setting a Prior Probability of Guilt. - Ludi van Leeuwen; Bart Verheij; Rineke Verbrugge; Silja Renooij (JURIX, 2023)

The Wisdom of the Small Crowd: Myside Bias and Group Discussion. - Edoardo Baccini; Zoé Christoff; Stephan Hartmann 001; Rineke Verbrugge (J. Artif. Soc. Soc. Simul., 2023)

Solutions to the Knower Paradox in the Light of Haack's Criteria. - Mirjam de Vos; Rineke Verbrugge; Barteld Kooi (J. Philos. Log., 2023)

Computational Theory of Mind with Abstractions for Effective Human-Agent Collaboration. - Emre Erdogan; Rineke Verbrugge; Pinar Yolum (AAMAS, 2024)

Effective Maintenance of Computational Theory of Mind for Human-AI Collaboration. - Emre Erdogan; Frank Dignum; Rineke Verbrugge (HHAI, 2024)

Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. - Ludi van Leeuwen; Rineke Verbrugge; Bart Verheij; Silja Renooij (HHAI, 2024)

Common Ground Provides a Mental Shortcut in Agent-Agent Interaction. - Ramira van der Meulen; Rineke Verbrugge; Max J. van Duijn (HHAI, 2024)

Mitigating Value Conflicts with Computational Theory of Mind. - Emre Erdogan; Hüseyin Aydin; Frank Dignum; Rineke Verbrugge; Pinar Yolum (AAMAS, 2025)

TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence. - Emre Erdogan; Frank Dignum; Rineke Verbrugge; Pinar Yolum (J. Artif. Intell. Res., 2025)

Towards properly implementing Theory of Mind in AI systems: An account of four misconceptions. - Ramira van der Meulen; Rineke Verbrugge; Max J. van Duijn (CoRR, 2025)