Verbrugge, Rineke
180  results:
Search for persons X
?
2

Predictive Theory of Mind Models Based on Public Announceme..:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,
 
?
3

Using Agent-Based Simulations to Evaluate Bayesian Networks..:

, In: Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law,
 
?
 
?
 
?
 
?
7

Computational Theory of Mind for Human-Agent Coordination:

, In: Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV; Lecture Notes in Computer Science,
 
?
9

How Knowledge Triggers Obligation: A Dynamic Logic of Epist..:

, In: Logic, Rationality, and Interaction; Lecture Notes in Computer Science,
Grossi, Davide ; Kooi, Barteld ; Su, Xingchi. - p. 201-215 , 2021
 
?
10

Zero-one laws for provability logic : axiomatizing valid..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Verbrugge, Rineke - p. 1-13 , 2021
 
?
11

Strong admissibility for abstract dialectical frameworks:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,
 
?
15

Discussion Games for Preferred Semantics of Abstract Dialec..:

, In: Lecture Notes in Computer Science; Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
 
1-15