journal : Information

Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information, 2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini

Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini