An Epistemic Logic for Modular Development of Multi-Agent Systems.

Stefania Costantini, Andrea Formisano, Valentina Pitoni

Browse the full EMAS paper archive.