Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy.

Lara Lawniczak, Luca Pasetto, Christoph Benzmller, Xu Li, Rka Markovich

Browse the full ECAI paper archive.