6 citations · 21 across the 13 of their papers we have counts for
13 papers
Who is Afraid of Minimal Revision?
Edoardo Baccini, Zoé Christoff, Nina Gierasimczuk +1
The principle of minimal change in belief revision theory requires that, when accepting new information, one keeps one's belief state as close to the initial belief state as possib…
Proceedings of 1st Workshop on Advancing Artificial Intelligence through Theory of Mind
Mouad Abrini, Omri Abend, Dina Acklin +105
This volume includes a selection of papers presented at the Workshop on Advancing Artificial Intelligence through Theory of Mind held at AAAI 2025 in Philadelphia US on 3rd March 2…
Towards properly implementing Theory of Mind in AI systems: An account of four misconceptions
Ramira van der Meulen, Rineke Verbrugge, Max van Duijn
The search for effective collaboration between humans and computer systems is one of the biggest challenges in Artificial Intelligence. One of the more effective mechanisms that hu…
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
Rineke Verbrugge
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer sci…
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects
H. Ayoobi, H. Kasaei, M. Cao +2
Local-HDP (for Local Hierarchical Dirichlet Process) is a hierarchical Bayesian method that has recently been used for open-ended 3D object category recognition. This method has be…
Empirically grounded agent-based policy evaluation of the adoption of sustainable lighting under the European Ecodesign Directive
Gido H. Schoenmacker, Wander Jager, Rineke Verbrugge
Twelve years ago, the European Union began with the gradual phase-out of energy-inefficient incandescent light bulbs under the Ecodesign Directive. In this work, we implement an ag…
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames
Rineke Verbrugge
It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models i…
Strong Admissibility for Abstract Dialectical Frameworks
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different cri…
Local-HDP: Interactive Open-Ended 3D Object Categorization in Real-Time Robotic Scenarios
H. Ayoobi, H. Kasaei, M. Cao +2
We introduce a non-parametric hierarchical Bayesian approach for open-ended 3D object categorization, named the Local Hierarchical Dirichlet Process (Local-HDP). This method allows…
Commonly Knowing Whether
Jie Fan, Davide Grossi, Barteld Kooi +2
This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of s…
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality?
Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge +1
In an earlier experiment, participants played a perfect information game against a computer, which was programmed to deviate often from its backward induction strategy right at the…
Do players reason by forward induction in dynamic perfect information games?
Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge
We conducted an experiment where participants played a perfect-information game against a computer, which was programmed to deviate often from its backward induction strategy right…
Logic in the Lab
Rineke Verbrugge
This file summarizes the plenary talk on laboratory experiments on logic at the TARK 2013 - 14th Conference on Theoretical Aspects of Rationality and Knowledge.