Rineke Verbrugge

Affiliations:
  • University of Groningen, Netherlands


According to our database1, Rineke Verbrugge authored at least 101 papers between 1993 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios.
Robotics Auton. Syst., 2022

Higher-order theory of mind is especially useful in unpredictable negotiations.
Auton. Agents Multi Agent Syst., 2022

2021
Strong admissibility for abstract dialectical frameworks.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.
Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Semi-Stable Semantics for Abstract Dialectical Frameworks.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020
Editors' Review and Introduction: Lying in Logic, Language, and Cognition.
Top. Cogn. Sci., 2020

Local-HDP: Interactive Open-Ended 3D Object Categorization.
CoRR, 2020

Commonly Knowingly Whether.
CoRR, 2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.
Computer, 2020

Testing and Training Theory of Mind for Hybrid Human-agent Environments.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks.
Proceedings of the Computational Models of Argument, 2020

2019
Training the use of theory of mind using artificial agents.
J. Multimodal User Interfaces, 2019

Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks.
Proceedings of the International Symposium on Imprecise Probabilities: Theories and Applications, 2019

Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Cross-cultural differences in playing centipede-like games with surprising opponents.
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Handling Unforeseen Failures Using Argumentation-Based Learning.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Studying strategies and types of players: experiments, logics and cognitive models.
Synth., 2018

An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic.
Games, 2018

2017
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality?
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information.
Auton. Agents Multi Agent Syst., 2017

2015
An Agent-Based Dialogical Model with Fuzzy Attitudes.
J. Artif. Soc. Soc. Simul., 2015

Paraconsistent semantics of speech acts.
Neurocomputing, 2015

Do players reason by forward induction in dynamic perfect information games?
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Savvy software agents can encourage the use of second-order theory of mind by negotiators.
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

How do adults reason about their opponent? Typologies of players in a turn-taking game.
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

Teaching Children to Attribute Second-order False Beliefs: A Training Study with Feedback.
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

2014
Conditional Preference Networks Support Multi-issue Negotiations with Mediator.
Trans. Comput. Collect. Intell., 2014

Strategic Reasoning: Building Cognitive Models from Logical Formulas.
J. Log. Lang. Inf., 2014

Hidden protocols: Modifying our expectations in an evolving world.
Artif. Intell., 2014

Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning.
Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Tractable Reasoning about Group Beliefs.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Computational and algorithmic models of strategies in turn-based games.
Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Logic and Complexity in Cognitive Science.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop.
J. Log. Lang. Inf., 2013

Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics.
J. Artif. Soc. Soc. Simul., 2013

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009.
Log. J. IGPL, 2013

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.
Log. J. IGPL, 2013

How much does it help to know what she knows you know? An agent-based simulation study.
Artif. Intell., 2013

Logic in the Lab.
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Higher-Order Theory of Mind in Negotiations under Incomplete Information.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Perceiving Speech Acts under Incomplete and Inconsistent Information.
Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Multi-player Multi-issue Negotiation with Mediator using CP-nets.
Proceedings of the ICAART 2013, 2013

Agent-Based Models for Higher-Order Theory of Mind.
Proceedings of the Advances in Social Simulation, 2013

Using intrinsic complexity of turn-taking games to predict participants' reaction times.
Proceedings of the 35th Annual Meeting of the Cognitive Science Society, 2013

Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind.
Proceedings of the 35th Annual Meeting of the Cognitive Science Society, 2013

2012
A Logical View on Teamwork.
Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Decision Support for Extensive Form Negotiation Games.
Proceedings of the Foundations of Intelligent Systems - 20th International Symposium, 2012

The Development of Second-order Social Cognition and its Relation with Complex Language Understanding and Memory.
Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

Higher-order social cognition in rock-paper-scissors: a simulation study.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
The rules of the game are changing: Scientific impact factors and publication strategies among logicians.
J. Log. Comput., 2011

Intermediate Logics and the de Jongh property.
Arch. Math. Log., 2011

Hidden protocols.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract).
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Deliberation Dialogues during Multi-agent Planning.
Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult.
Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

Modeling Deliberation in Teamwork.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
OOPS: An S5<sub>n</sub> Prover for Educational Settings.
Electron. Notes Theor. Comput. Sci., 2010

TEAMLOG in action: A case study in teamwork.
Comput. Sci. Inf. Syst., 2010

Logic Meets Cognition: Empirical Reasoning in Games.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Teamwork in Multi-Agent Systems - A Formal Approach.
Wiley series in agent technology, Wiley, ISBN: 978-0-470-69988-1, 2010

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

A communication algorithm for teamwork in multi-agent environments.
J. Appl. Non Class. Logics, 2009

Formal approaches to multi-agent sysems.
Auton. Agents Multi Agent Syst., 2009

Introductory Essay of FAMAS'09.
Proceedings of the Second Multi-Agent Logics, 2009

Case-Study for TeamLog, a Theory of Teamwork.
Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Continuous Double Auctions with Execution Uncertainty.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009

2008
Sum and Product in Dynamic Epistemic Logic.
J. Log. Comput., 2008

Learning to Apply Theory of Mind.
J. Log. Lang. Inf., 2008

Strong Completeness and Limited Canonicity for PDL.
J. Log. Lang. Inf., 2008

Children's Application of Theory of Mind in Reasoning and Language.
J. Log. Lang. Inf., 2008

Agent-based models for animal cognition: a proposal and prototype.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Complexity Issues in Multiagent Logics.
Fundam. Informaticae, 2007

Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS.
Proceedings of the Languages, 2007

The Examination of an Information-Based Approach to Trust.
Proceedings of the Coordination, 2007

Reducing the complexity of logics for multiagent systems.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
Hybrid Logics with Infinitary Proof Systems.
J. Log. Comput., 2006

Awareness as a vital ingredient of teamwork.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Complexity of a theory of collective attitudes in teamwork.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Model Checking Sum and Product.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004
A Tuning Machine for Cooperative Problem Solving.
Fundam. Informaticae, 2004

Creating Common Beliefs in Rescue Situations.
Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Modeling the ability to reason about oneself and others in educational contexts.
Proceedings of the International Conference on Cognitive Modelling, 2004

2003
Evolution of Collective Commitment during Teamwork.
Fundam. Informaticae, 2003

Dialogue in teamwork.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

Dynamics of Collective Attitudes during Teamwork.
Proceedings of the Engineering Societies in the Agents World IV, 2003

Calibrating Collective Commitments.
Proceedings of the Multi-Agent Systems and Applications III, 2003

2002
Collective Intentions.
Fundam. Informaticae, 2002

Evolution of collective commitment during reconfiguration.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Creating Collective Intention through Dialogue.
Log. J. IGPL, 2001

2000
Agent Theory for Team Formation by Dialogue.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Dialogue in Team Formation.
Proceedings of the Issues in Agent Communication, 2000

1999
Collective Motivational Attitudes in Cooperative Problem Solving.
Proceedings of the 1st International Workshop of Central and Eastern Europe on Multi-Agent Systems, 1999

1998
A Reconfiguration Algorithm for the Maintenance of Collective Commitments.
Proceedings of the Third International Conference on Multiagent Systems, 1998

1997
Modelling Internal Dynamic Behaviour of BDI Agents.
Proceedings of the Formal Models of Agents, 1997

1995
A qualitative fuzzy possibilistic logic.
Int. J. Approx. Reason., 1995

1994
A Small Reflection Principle for Bounded Arithmetic.
J. Symb. Log., 1994

1993
On the Provability Logic of Bounded Arithmetic.
Ann. Pure Appl. Log., 1993


  Loading...