3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.AI2023★ 3 cited
Depth-bounded Epistemic Logic
Farid Arthaud, Martin Rinard
Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propo…
cs.LO2023★ 1 cited
Depth-bounded epistemic logic
Farid Arthaud, Martin Rinard
Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propo…
cs.MA2023
Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems
Charles Jin, Zhang-Wei Hong, Farid Arthaud +2
This work studies the problem of ad hoc teamwork in teams composed of agents with differing computational capabilities. We consider cooperative multi-player games in which each age…