13 citations · 21 across the 9 of their papers we have counts for
1 paper · 1 filter
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environm…