Skip to content

Prompt Alternating-Time Epistemic Logics.

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

VenueA*KR
Year2016
ProceedingsKR

Browse the full KR paper archive.