Rineke Verbrugge | Academic Influence

Rineke Verbrugge's AcademicInfluence.com Rankings

Rineke Verbrugge

Computer Science

#5348

World Rank

#5649

Historical Rank

Artificial Intelligence

#5280

World Rank

#5351

Historical Rank

Database

#8503

World Rank

#8904

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Rineke Verbrugge's Degrees

PhD Artificial Intelligence University of Groningen
Masters Computer Science University of Groningen
Bachelors Computer Science University of Groningen

Similar Degrees You Can Earn

Why Is Rineke Verbrugge Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Laurina Christina Verbrugge is a Dutch logician and computer scientist known for her work on interpretability logic and provability logic. She completed her PhD at the University of Amsterdam in 1993 under the supervision of Dick de Jongh, Anne Troelstra, and Albert Visser.

(See a Problem?)

Rineke Verbrugge's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (2005) (273)
Teamwork in Multi-Agent Systems - A Formal Approach (2010) (137)
Agent Theory for Team Formation by Dialogue (2000) (125)
Collective Intentions (2002) (118)
Creating Collective Intention through Dialogue (2001) (112)
Children’s Application of Theory of Mind in Reasoning and Language (2008) (105)
How much does it help to know what she knows you know? An agent-based simulation study (2013) (78)
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence (2020) (76)
An agent-based model for diffusion of electric vehicles (2017) (66)
What Eye Movements Can Tell about Theory of Mind in a Strategic Game (2012) (64)
Intelligent Agents II Agent Theories, Architectures, and Languages (1995) (64)
Learning to Apply Theory of Mind (2008) (64)
Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information (2015) (56)
Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings (2007) (56)
Modelling Internal Dynamic Behaviour of BDI Agents (1997) (52)
The Facts Matter, and so do Computational Models (2009) (52)
A qualitative fuzzy possibilistic logic (1995) (51)
Logic and Complexity in Cognitive Science (2014) (48)
Corvid Re-Caching without ‘Theory of Mind’: A Model (2012) (46)
The Facilitative Effect of Context on Second-Order Social Reasoning (2010) (46)
I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult (2011) (46)
Logic and Social Cognition (2009) (44)
Sum and Product in Dynamic Epistemic Logic (2008) (40)
A Tuning Machine for Cooperative Problem Solving (2004) (40)
Complexity Issues in Multiagent Logics (2007) (35)
A Knowledge-Based Algorithm for the Internet Transmission Control Protocol (Tcp) (2002) (35)
Evolution of Collective Commitment during Teamwork (2002) (34)
Evolution of altruistic punishment in heterogeneous populations. (2011) (33)
Syntactic Recursion Facilitates and Working Memory Predicts Recursive Theory of Mind (2017) (31)
Higher-order theory of mind in the Tacit Communication Game (2014) (30)
Model Checking Sum and Product (2005) (27)
On the Provability Logic of Bounded Arithmetic (1993) (24)
Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning (2014) (24)
Dialogue in Team Formation (2000) (23)
Five-Year-Olds’ Systematic Errors in Second-Order False Belief Tasks Are Due to First-Order Theory of Mind Strategy Selection: A Computational Modeling Study (2017) (23)
Texts in Logic and Games (2011) (23)
Modeling inference of mental states: As simple as possbile, as complex as necessary (2014) (22)
Calibrating Collective Commitments (2003) (22)
Strategic Reasoning: Building Cognitive Models from Logical Formulas (2014) (20)
Higher-Order Theory of Mind in Negotiations under Incomplete Information (2013) (19)
Computational and algorithmic models of strategies in turn-based games (2014) (19)
Collective Motivational Attitudes in Cooperative Problem Solving (1999) (18)
Using intrinsic complexity of turn-taking games to predict participants' reaction times (2013) (18)
Logic Meets Cognition: Empirical Reasoning in Games (2010) (17)
COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN AGENT SYSTEMS III (2008) (17)
Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics (2013) (16)
The Evolution of Different Forms of Sociality: Behavioral Mechanisms and Eco-Evolutionary Feedback (2015) (16)
Intermediate Logics and the de Jongh property (2009) (16)
Corvid caching: Insights from a cognitive model. (2011) (16)
The Examination of an Information-Based Approach to Trust (2007) (16)
A small reflection principle for bounded arithmetic (1994) (15)
Savvy software agents can encourage the use of second-order theory of mind by negotiators (2015) (15)
Teaching Children to Attribute Second-order False Beliefs: A Training Study with Feedback (2015) (15)
A Novel Mechanism for a Survival Advantage of Vigilant Individuals in Groups (2013) (15)
Proceedings of the 34th Annual Conference of the Cognitive Science Society (2012) (15)
Discourses on Social Software (2009) (14)
Stepwise training supports strategic second-order theory of mind in turn-taking games (2018) (13)
Logic and cognition (2013) (13)
Studying strategies and types of players: experiments, logics and cognitive models (2018) (13)
Awareness as a vital ingredient of teamwork (2006) (13)
Do players reason by forward induction in dynamic perfect information games? (2016) (13)
Hidden protocols: Modifying our expectations in an evolving world (2014) (13)
Tractable Reasoning about Group Beliefs (2014) (12)
Paraconsistent semantics of speech acts (2015) (12)
Strong Completeness and Limited Canonicity for PDL (2008) (12)
The development of second-order social cognition and its relation with complex language understanding and working memory (2012) (11)
Agent-Based Models for Higher-Order Theory of Mind (2013) (11)
Training the use of theory of mind using artificial agents (2019) (11)
Dialogue in teamwork (2003) (11)
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? (2017) (10)
Estimating the Use of Higher-Order Theory of Mind Using Computational Agents (2018) (10)
TEAMLOG in action: A case study in teamwork (2010) (10)
Witnessed Years: essays in Honour of Petr Hajek (2009) (9)
An Agent-Based Dialogical Model with Fuzzy Attitudes (2015) (8)
A reconfiguration algorithm for the maintenance of collective commitments (1998) (8)
Completeness by construction for tense logics of linear time (2004) (8)
Games, Actions and Social Software (2012) (8)
Reflective cognition as a secondary task (2005) (7)
Agent-based models for animal cognition: a proposal and prototype (2008) (7)
The Development of Second-order Social Cognition and its Relation with Complex Language Understanding and Memory (2012) (7)
Creating Common Beliefs in Rescue Situations (2004) (7)
Accelerating the Development of Second-Order False Belief Reasoning: A Training Study With Different Feedback Methods. (2018) (7)
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. (2015) (7)
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015, Pasadena, California, USA, July 22-25, 2015 (2015) (7)
Higher-order social cognition in rock-paper-scissors: a simulation study (2012) (7)
Continuous Double Auctions with Execution Uncertainty (2009) (7)
The Formal Approach (2019) (7)
How do adults reason about their opponent? Typologies of players in a turn-taking game (2015) (7)
Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (2006) (6)
Game Theory and Applications, vol. 8 (2002) (6)
Complexity of a theory of collective attitudes in teamwork (2005) (6)
Johan van Benthem on Logic and Information Dynamics (2014) (6)
Handling Unforeseen Failures Using Argumentation-Based Learning (2019) (6)
Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios (2021) (6)
Deliberation Dialogues during Multi-agent Planning (2011) (6)
Multi-Agent Systems and Applications III (2003) (6)
Higher-order social cognition in the game of rock-paper-scissors: A simulation study (extended abstract) (2012) (6)
Perceiving Speech Acts under Incomplete and Inconsistent Information (2013) (5)
Reasoning about mental states in sequential games : As simple as possible, as complex as necessary (2013) (5)
Argumentation-Based Online Incremental Learning (2022) (5)
The rules of the game are changing: Scientific impact factors and publication strategies among logicians (2011) (5)
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks (2019) (5)
Knowledge-based Algorithm for Multi-Agent Communication (2006) (5)
Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind (2013) (5)
Tractability and the computational mind (2018) (4)
Hybrid Logics with Infinitary Proof Systems (2006) (4)
A Logical View on Teamwork (2012) (4)
Proceedings of the Twenty-Seventh Annual Conference of the Cognitive Science Society (2000) (4)
Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games (2013) (4)
Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop (2013) (4)
A communication algorithm for teamwork in multi-agent environments (2009) (4)
Hidden protocols (2011) (4)
Teaching Children to Attribute Second-order False Belief : A Training Study (2014) (4)
Finite reasoning procedures for dynamic games (2015) (4)
Reducing the complexity of logics for multiagent systems (2007) (3)
Local-HDP: Interactive Open-Ended 3D Object Categorization (2020) (3)
Advances in Social Simulation 2015 [Papers from the Conference of the European Social Simulation Association 2015, Groningen, The Netherlands, 14-18 September 2015] (2017) (3)
Strong admissibility for abstract dialectical frameworks (2020) (3)
Engineering Multi-Agent Systems (2018) (3)
Formal Approaches to Social Procedures (2014) (3)
Evolution of collective commitment during reconfiguration (2002) (3)
Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V (2005) (3)
OOPS: An S5n Prover for Educational Settings (2010) (3)
Multi-player Multi-issue Negotiation with Mediator using CP-nets (2013) (3)
Dynamics of Collective Attitudes during Teamwork (2003) (3)
Modeling Deliberation in Teamwork (2011) (3)
A strongly complete proof system for propositional dynamic logic (2002) (2)
Strong completeness and limited canonicity for PDL and similar modal logics (2004) (2)
TARK XIII: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (2011) (2)
Zero-one laws with respect to models of provability logic and two Grzegorczyk logics (2018) (2)
Teamwork in Multi‐Agent Environments (2010) (2)
Case-Study for TeamLog, a Theory of Teamwork (2009) (2)
A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks (2020) (2)
Commonly Knowingly Whether (2020) (2)
Formal approaches to multi-agent sysems (2009) (2)
Logic, Rationality, and Interaction (2017) (2)
Commonly knowing whether (2020) (2)
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames (2021) (2)
An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic (2018) (2)
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS (2008) (2)
Socially smart software agents entice people to use higher-order theory of mind in the Mod game (2017) (2)
International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes) (2012) (2)
Proceedings of the International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS) (2007) (1)
On Collective Rational Action (2009) (1)
A Tree Decomposition Approach to Automated Reasoning (2007) (1)
Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XV) (2015) (1)
Strong Completeness and Limited Canonicity for PDL (2009) (1)
Proceedings of the 31st Annual Meeting of the Cognitive Science Society (2009) (1)
Proceedings of the Third Workshop on Formal Approaches to Multi-agent Systems (FAMAS'007) (2007) (1)
Proceedings of the World Congress of Social Simulation 2010 (WCSS 2010) (2010) (1)
Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, November 3-5, 2014 (2014) (1)
How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? (2022) (1)
Higher-order theory of mind is especially useful in unpredictable negotiations (2022) (1)
The Complexity of Feasible Interpretability (1995) (1)
Decision Support for Extensive Form Negotiation Games (2012) (1)
Modelling non-attentional visual information transmission in groups under predation (2020) (1)
Cognitive control explains the mutual transfer between dimensional change card sorting and first-order false belief understanding: A computational modeling study on transfer of skills (2017) (1)
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets - AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers (2010) (1)
Advances in Modal Logic, Vol. 13 (2020) (1)
Conditional Preference Networks Support Multi-issue Negotiations with Mediator (2014) (1)
RAOM 2014 : Reasoning About Other Minds: Logical and Cognitive Perspectives : proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, co-located with Advances in Modal Logic 2014 ; Groningen, The Netherlands, August 4, 2014 (2014) (1)
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation (2021) (1)
ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18 February, 2013 (2013) (1)
Games, Actions and Social Software: multidisciplinary Aspects (2012) (1)
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models (2015) (1)
Proceedings of the Workshop on Argumentation in Multi-Agent Systems, IFAAMAS (2012) (1)
Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information (2015) (1)
Negotiating with other minds (2016) (1)
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009 (2013) (1)
Modeling the ability to reason about oneself and others in educational contexts (2004) (1)
Semi-Stable Semantics for Abstract Dialectical Frameworks (2021) (1)
Extended Abstract : Handling Unforeseen Failures Using Argumentation-Based Learning (2019) (1)
Correction: What Eye Movements Can Tell about Theory of Mind in a Strategic Game (2013) (0)
Proceedings Workshop Logical Approaches to Multi-Agent Systems (2012) (0)
D T EAM L OG in Action : a Case Study in Teamwork (2010) (0)
A Small Reflection Principle for Bounded Arithmetic Author ( s ) : (2007) (0)
Online Incremental Learning with Abstract Argumentation Frameworks (2022) (0)
Proceedings Workshop on Argumentation in Multi-Agent Ssytems (2012) (0)
Empirically Grounded Agent-Based Policy Evaluation of the Adoption of Sustainable Lighting under the European Ecodesign Directive (2022) (0)
Beliefs and socio-cognitive interaction : belief revision in multi-agent systems (2004) (0)
Proceedings of the 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012) (2012) (0)
Higher-ordertheoryofmindinmixed- motivesettings Anagent-basedsimulationstudy (2013) (0)
Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation (2020) (0)
Introductory Essay of FAMAS'09 (2009) (0)
Text S1: Detailed model description (2014) (0)
A tuning machine for collective commitments (2010) (0)
Chapter 30 Logic and Complexity in Cognitive Science (2014) (0)
Beliefs in Groups (2010) (0)
A Model Checker for Unbounded Dynamic Epistemic Logic Models (2013) (0)
Epistemi Logi : A Survey (2012) (0)
Automatically translating logical strategy formulas into cognitive models (2018) (0)
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects (2023) (0)
Workshop on Artificial Autonomy ECAL 2011 (2011) (0)
UvA-DARE (Digital Academic Repository) Logical and Psychological Analysis of Deductive Mastermind (2012) (0)
Complexity of Teamlog (2010) (0)
How Complex Is the Strong Admissibility rameworks? Semantics for Abstract Dialectical (2022) (0)
Collective attitudes for teamwork in dynamic environments / Barbara Dunin-Kęplicz, Rineke Verbrugge. (2006) (0)
Studying strategies and types of players: experiments, logics and cognitive models (2017) (0)
University of Groningen An automated method for building cognitive models for turn-based games from a strategy (2018) (0)
Text S 11 : Population size and mutation rate (2014) (0)
Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract) (2011) (0)
Proceedings Foundations of Intelligent Systems, ISMIS 2011, Warsaw, Poland, June 28-30, 2011 (2011) (0)
Solutions to the Knower Paradox in the Light of Haack’s Criteria (2023) (0)
Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks (2019) (0)
Eating from the Tree of Ignorance Part 2 (2009) (0)
PRIMA 2013: Principles and Practice of Multi-Agent Systems, LNCS (2013) (0)
Intelligent Distributed Computing XIII, 13th International Symposium on Intelligent Distributed Computing, IDC 2019, St. Petersburg, Russia, 7-9 October, 2019 (2020) (0)
Reasoning about diamonds, gravity and mental states (2013) (0)
A Case Study in Environmental Disaster Management (2010) (0)
The Evolution of Commitments during Reconfiguration (2010) (0)
CEEMAS 2007. Multi-agent systems and applications V. 5th international central and Eastern European conference on multi-agent systems. Leipzig, 2007. (Lecture notes in artificial intelligence 4696.) (2007) (0)
What is Social Software (2009) (0)
Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions (2022) (0)
Proceedings of the Tenth Symposium on Logical Formalizations of Commonsense Reasoning (2011) (0)
The effectiveness of higher-order theory of mind in negotiations. (2014) (0)
Collective Intention Constitutes a Group (2007) (0)
Editors' Review and Introduction: Lying in Logic, Language, and Cognition (2020) (0)
Proceedings of the Second Workshop Reasoning about Other Minds : Logical and Cognitive Perspectives, co-located with Advances in Modal Logic 2014 (2014) (0)
Proceedings of the Workshop Logical Approaches to Multi-Agent Systems, IFAAMAS (2012) (0)
Proceedings of the 35th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society (2013) (0)
Foundations of Intelligent Systems (1996) (0)
Proceedings of the Sixth Conference of the European Socila Simulation Association (2009) (0)
Proceedings of the Symposium on Commonsense Reasoning 2011 (2011) (0)
Advances in Modal Logic (2020) (0)
Proceedings of the Second Workshop on Formal Approaches to Multi-Agent Systems (2006) (0)
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), May 27-29, 2013, Hue City, Vietnam (2013) (0)
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007 (2013) (0)
MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS (2003) (0)
Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks (2021) (0)
Proceedings of the Joint Symposium on Virtual Social Agents, SSAISB 2005 Convention (2005) (0)
Reasoning About Other Minds (2014) (0)
University of Groningen Corvid re-chaching without ' Theory of Mind ' (2017) (0)
Argumentation-Based Incremental Learning for Home Robotics (2019) (0)
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4 (2022) (0)
Lifelong Interactive 3D Object Recognition for Real-Time Robotic Manipulation (2021) (0)
TARK 2013 - Theoretical Aspects of Rationality and Knowledge (2013) (0)
University of Groningen Modeling inference of mental states (2017) (0)
Foundations of Intelligent Systems (1997) (0)
Cross-cultural differences in playing centipede-like games with surprising opponents (2019) (0)
Training the use of theory of mind using artificial agents (2018) (0)
Proceedings of the 12th International Conference on Cognitive Modelling (2013) (0)
Strategic Reasoning: Building Cognitive Models from Logical Formulas (2014) (0)
The Stanford Encyclopedia of Philosophy (2014) (0)
Proceedings of the Third Logics for resource Bounded Agents Workshop (LRBA 2010) (2010) (0)
Provability logic meets the knower paradox (2018) (0)
Theory of Mind and strategic reasoning in adults and children (2006) (0)
Proceedings of the Workshop 'Reasoning about other minds: Logical and cognitive perspectives (2011) (0)
Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop (2013) (0)
Testing and Training Theory of Mind for Hybrid Human-agent Environments (2020) (0)
Computational Theory of Mind for Human-Agent Coordination (2022) (0)
Collective attitudes for teamwork in dynamic environments (2006) (0)
Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration (2022) (0)
25th Benelux Conference on Artificial Intelligence (BNAIC 2013) (2013) (0)
Reconfiguration in a Dynamic Environment (2010) (0)
Foundations of Intelligent Systems (1999) (0)
Proceedings of the Second Workshop Reasoning about Other Minds (2014) (0)
Proceedings of the IJCA-09 Workshop on Trading Agent Design and Analysis (2009) (0)
Logic in the Lab (2013) (0)
Multi-Agent Systems and Applications V, Springer Lecture Notes in Computer Science (2007) (0)
Proceedings of the International Workshop on Coordination, Organization, Institutions and Norms (2007) (0)

This paper list is powered by the following services:

Other Resources About Rineke Verbrugge

en.wikipedia.org

What Schools Are Affiliated With Rineke Verbrugge?

Rineke Verbrugge is affiliated with the following schools: