We present an algorithm for artificial agents planning in Markov Decision Processes to maximally satisfy a set of potentially-conflicting norms (represented in Linear Temporal Logic).
@inproceedings{kasenbergscheutz18aaai,
title={Norm Conflict Resolution in Stochastic Domains},
author={Daniel Kasenberg and Matthias Scheutz},
year={2018},
booktitle={Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence},
url={https://hrilab.tufts.edu/publications/kasenbergscheutz18aaai.pdf}
}