Rineke Verbrugge

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 54

Top Venues

Publications

Emre Erdogan, Frank Dignum, Rineke Verbrugge
Effective Maintenance of Computational Theory of Mind for Human-AI Collaboration. HHAI (2024)
Ludi van Leeuwen, Rineke Verbrugge, Bart Verheij, Silja Renooij
Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. HHAI (2024)
Emre Erdogan, Rineke Verbrugge, Pinar Yolum
Computational Theory of Mind with Abstractions for Effective Human-Agent Collaboration. AAMAS (2024)
Ramira van der Meulen, Rineke Verbrugge, Max J. van Duijn
Common Ground Provides a Mental Shortcut in Agent-Agent Interaction. HHAI (2024)
Jakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd
Predictive Theory of Mind Models Based on Public Announcement Logic. DaLí (2023)
Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. ICAIL (2023)
Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. CoRR (2023)
Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. ICRA (2023)
Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
Evaluating Methods for Setting a Prior Probability of Guilt. JURIX (2023)
Edoardo Baccini, Zoé Christoff, Stephan Hartmann, Rineke Verbrugge
The Wisdom of the Small Crowd: Myside Bias and Group Discussion. J. Artif. Soc. Soc. Simul. 26 (4) (2023)
Mirjam de Vos, Rineke Verbrugge, Barteld Kooi
Solutions to the Knower Paradox in the Light of Haack's Criteria. J. Philos. Log. 52 (4) (2023)
Francesca Poggiolesi, Rineke Verbrugge
Explanations in logic. AiML (2022)
Gido H. Schoenmacker, Wander Jager, Rineke Verbrugge
Empirically grounded agent-based policy evaluation of the adoption of sustainable lighting under the European Ecodesign Directive. CoRR (2022)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Online Incremental Learning with Abstract Argumentation Frameworks. ArgML@COMMA (2022)
Rineke Verbrugge
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. AiML (2022)
Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij
How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? COMMA (2022)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Strong admissibility for abstract dialectical frameworks. Argument Comput. 13 (3) (2022)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Higher-order theory of mind is especially useful in unpredictable negotiations. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum
Computational Theory of Mind for Human-Agent Coordination. COINE (2022)
Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios. Robotics Auton. Syst. 147 (2022)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Argumentation-Based Online Incremental Learning. IEEE Trans Autom. Sci. Eng. 19 (4) (2022)
Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum
Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. HHAI (2022)
Yuri David Santos, Barteld Kooi, Rineke Verbrugge
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. J. Log. Comput. 32 (6) (2022)
Rineke Verbrugge
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. LICS (2021)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Strong admissibility for abstract dialectical frameworks. SAC (2021)
Rineke Verbrugge
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. CoRR (2021)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Semi-Stable Semantics for Abstract Dialectical Frameworks. KR (2021)
Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. LORI (2021)
Gido Schoenmacker, Wander Jager, Rineke Verbrugge
Empirically Grounded Agent-Based Policy Evaluation of the Adoption of Sustainable Lighting under the European Ecodesign Directive. AMPM@JURIX (2021)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. COMMA (2020)
Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
Commonly Knowingly Whether. CoRR (2020)
Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Local-HDP: Interactive Open-Ended 3D Object Categorization. CoRR (2020)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Strong Admissibility for Abstract Dialectical Frameworks. CoRR (2020)
Hans van Ditmarsch, Petra Hendriks, Rineke Verbrugge
Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. 12 (2) (2020)
Marcin Korecki, Malvin Gattinger, Rineke Verbrugge
Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation. ICAART (1) (2020)
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, Christof Monz, Mark A. Neerincx, Frans A. Oliehoek, Henry Prakken, Stefan Schlobach, Linda C. van der Gaag, Frank van Harmelen, Herke van Hoof, Birna van Riemsdijk, Aimee van Wynsberghe, Rineke Verbrugge, Bart Verheij, Piek Vossen, Max Welling
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 53 (8) (2020)
Rineke Verbrugge
Testing and Training Theory of Mind for Hybrid Human-agent Environments. ICAART (1) (2020)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. ECSQARU (2019)
Kim Veltman, Harmen de Weerd, Rineke Verbrugge
Training the use of theory of mind using artificial agents. J. Multimodal User Interfaces 13 (1) (2019)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Handling Unforeseen Failures Using Argumentation-Based Learning. CASE (2019)
Atefeh Keshavarzi Zafarghandi, Bart Verheij, Rineke Verbrugge
Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. ISIPTA (2019)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Handling Unforeseen Failures Using Argumentation-Based Learning. BNAIC/BENELEARN (2019)
Sujata Ghosh, Rineke Verbrugge, Harmen de Weerd, Aviad Heifetz
Cross-cultural differences in playing centipede-like games with surprising opponents. CogSci (2019)
Jakob Dirk Top, Rineke Verbrugge, Sujata Ghosh
An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic. Games 9 (3) (2018)
Sujata Ghosh, Rineke Verbrugge
Studying strategies and types of players: experiments, logics and cognitive models. Synth. 195 (10) (2018)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information. Auton. Agents Multi Agent Syst. 31 (2) (2017)
Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? TARK (2017)
Piter Dykstra, Wander Jager, Corinna Elsenbroich, Rineke Verbrugge, Gerard R. Renardel de Lavalette
An Agent-Based Dialogical Model with Fuzzy Attitudes. J. Artif. Soc. Soc. Simul. 18 (3) (2015)
Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge
Do players reason by forward induction in dynamic perfect information games? TARK (2015)
Burcu Arslan, Rineke Verbrugge, Niels Taatgen, Bart Hollebrandse
Teaching Children to Attribute Second-order False Beliefs: A Training Study with Feedback. CogSci (2015)
Harmen de Weerd, Eveline Broers, Rineke Verbrugge
Savvy software agents can encourage the use of second-order theory of mind by negotiators. CogSci (2015)
Sujata Ghosh, Tamoghna Halder, Khyati Sharma, Rineke Verbrugge
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models. LORI (2015)
Tamoghna Halder, Khyati Sharma, Sujata Ghosh, Rineke Verbrugge
How do adults reason about their opponent? Typologies of players in a turn-taking game. CogSci (2015)
Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
Paraconsistent semantics of speech acts. Neurocomputing 151 (2015)
Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge
Conditional Preference Networks Support Multi-issue Negotiations with Mediator. Trans. Comput. Collect. Intell. 17 (2014)
Sujata Ghosh, Ben Meijering, Rineke Verbrugge
Strategic Reasoning: Building Cognitive Models from Logical Formulas. J. Log. Lang. Inf. 23 (1) (2014)
Gerben Bergwerff, Ben Meijering, Jakub Szymanik, Rineke Verbrugge, Stefan M. Wierda
Computational and algorithmic models of strategies in turn-based games. CogSci (2014)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. ECSI (2014)
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. 208 (2014)
Barbara Dunin-Keplicz, Andrzej Szalas, Rineke Verbrugge
Tractable Reasoning about Group Beliefs. EMAS@AAMAS (2014)
Barbara Dunin-Keplicz, Rineke Verbrugge
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. Log. J. IGPL 21 (3) (2013)
Jakub Szymanik, Ben Meijering, Rineke Verbrugge
Using intrinsic complexity of turn-taking games to predict participants' reaction times. CogSci (2013)
Ben Meijering, Hedderik van Rijn, Niels A. Taatgen, Rineke Verbrugge
Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind. CogSci (2013)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
How much does it help to know what she knows you know? An agent-based simulation study. Artif. Intell. (2013)
Jakub Szymanik, Rineke Verbrugge
Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop. J. Log. Lang. Inf. 22 (4) (2013)
Rineke Verbrugge
Logic in the Lab. CoRR (2013)
Thiri Haymar Kyaw, Sujata Ghosh, Rineke Verbrugge
Multi-player Multi-issue Negotiation with Mediator using CP-nets. ICAART (1) (2013)
Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA (2013)
Rineke Verbrugge
Logic in the Lab. TARK (2013)
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. Artif. Soc. Soc. Simul. 16 (3) (2013)
Barbara Dunin-Keplicz, Rineke Verbrugge
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. Log. J. IGPL 21 (3) (2013)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Higher-Order Theory of Mind in Negotiations under Incomplete Information. PRIMA (2013)
Nils Bulling, Sujata Ghosh, Rineke Verbrugge
Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. PRIMA (2013)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Agent-Based Models for Higher-Order Theory of Mind. ESSA (2013)
Burcu Arslan, Annette Hohenberger, Rineke Verbrugge
The Development of Second-order Social Cognition and its Relation with Complex Language Understanding and Memory. CogSci (2012)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Higher-order social cognition in rock-paper-scissors: a simulation study. AAMAS (2012)
Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge
Decision Support for Extensive Form Negotiation Games. ISMIS (2012)
Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge
Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge
Deliberation Dialogues during Multi-agent Planning. ISMIS (2011)
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
Hidden protocols. TARK (2011)
Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge
Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract). LORI (2011)
Ben Meijering, Hedderik van Rijn, Niels Taatgen, Rineke Verbrugge
I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult. CogSci (2011)
Hans van Ditmarsch, Rineke Verbrugge
The rules of the game are changing: Scientific impact factors and publication strategies among logicians. J. Log. Comput. 21 (2) (2011)
Dick de Jongh, Rineke Verbrugge, Albert Visser
Intermediate Logics and the de Jongh property. Arch. Math. Log. 50 (1-2) (2011)
Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak
TEAMLOG in action: A case study in teamwork. Comput. Sci. Inf. Syst. 7 (3) (2010)
Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge
Prover for Educational Settings. Electron. Notes Theor. Comput. Sci. 262 (2010)
Sujata Ghosh, Ben Meijering, Rineke Verbrugge
Logic Meets Cognition: Empirical Reasoning in Games. MALLOW (2010)
Gert van Valkenhoef, Sarvapali D. Ramchurn, Perukrishnen Vytelingum, Nicholas R. Jennings, Rineke Verbrugge
Continuous Double Auctions with Execution Uncertainty. AMEC/TADA (2009)
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. 18 (2) (2009)
Barbara Dunin-Keplicz, Rineke Verbrugge
Introductory Essay of FAMAS'09. MALLOW (2009)
Rineke Verbrugge
Logic and Social Cognition - The Facts Matter, and so do Computational Models. J. Philos. Log. 38 (6) (2009)
Egon van Baars, Rineke Verbrugge
A communication algorithm for teamwork in multi-agent environments. J. Appl. Non Class. Logics 19 (4) (2009)
Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak
Case-Study for TeamLog, a Theory of Teamwork. IDC (2009)
Rineke Verbrugge, Barbara Dunin-Keplicz
Formal approaches to multi-agent sysems. Auton. Agents Multi Agent Syst. 19 (1) (2009)
Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer
Children's Application of Theory of Mind in Reasoning and Language. J. Log. Lang. Inf. 17 (4) (2008)
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18 (4) (2008)
Rineke Verbrugge, Lisette Mol
Learning to Apply Theory of Mind. J. Log. Lang. Inf. 17 (4) (2008)
Elske van der Vaart, Rineke Verbrugge
Agent-based models for animal cognition: a proposal and prototype. AAMAS (2) (2008)
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. 17 (1) (2008)
Egon van Baars, Rineke Verbrugge
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. LADS (2007)

Rineke Verbrugge.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rineke Verbrugge