by Kees van Berkel, Tim Lyon, Francesco Olivieri
Reference:
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and NormsKees van Berkel, Tim Lyon, Francesco OlivieriLogic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings (Mehdi Dastani, Huimin Dong, Leon van der Torre, eds.), volume 12061 of Lecture Notes in Computer Science, pages 219–241, 2020, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/clar/BerLyoOli20,
author = {Kees van Berkel and
Tim Lyon and
Francesco Olivieri},
editor = {Mehdi Dastani and
Huimin Dong and
Leon van der Torre},
title = {A Decidable Multi-agent Logic for Reasoning About Actions, Instruments,
and Norms},
booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020,
Hangzhou, China, April 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12061},
pages = {219--241},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44638-3\_14},
doi = {10.1007/978-3-030-44638-3\_14},
timestamp = {Thu, 09 Apr 2020 21:56:52 +0200},
biburl = {https://dblp.org/rec/conf/clar/0002LO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}