Brian Logan's Publications
Modelling Norm Specification and Verification in Multiagent Systems (2018)
By: Natasha Alechina, Mehdi Dastani, and Brian Logan
Download Information
Natasha Alechina, Mehdi Dastani, and Brian Logan (2018). "Modelling Norm Specification and Verification in Multiagent Systems." Journal of Applied Logics -- IfCoLog Journal of Logics and their Applications, 5(2), 457-490.
| |
Bibtex citation
@article{Alechina//:18d,
author = "Natasha Alechina and Mehdi Dastani and Brian Logan",
title = "Modelling Norm Specification and Verification in Multiagent Systems",
journal = "Journal of Applied Logics -- {IfCoLog} Journal of Logics and their Applications",
year = 2018,
volume = 5,
number = 2,
pages = "457--490",
}
full list