An Epistemic Logic for Modular Development of Multi-Agent Systems

Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni. An Epistemic Logic for Modular Development of Multi-Agent Systems. In Natasha Alechina, Matteo Baldoni, Brian Logan 0001, editors, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Volume 13190 of Lecture Notes in Computer Science, pages 72-91, Springer, 2021. [doi]

Authors

Stefania Costantini

This author has not been identified. Look up 'Stefania Costantini' in Google

Andrea Formisano 0001

This author has not been identified. Look up 'Andrea Formisano 0001' in Google

Valentina Pitoni

This author has not been identified. Look up 'Valentina Pitoni' in Google