Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni. A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents. In Rino Falcone, Cristiano Castelfranchi, Alessandro Sapienza, Filippo Cantucci, editors, Proceedings of the 24th Workshop "From Objects to Agents", Roma, Italy, November 6-8, 2023. Volume 3579 of CEUR Workshop Proceedings, pages 151-166, CEUR-WS.org, 2023. [doi]
Abstract is missing.