@inproceedings{087b9b94d2ce4c058714bae6703d349f,
title = "Reasoning about normative update",
abstract = "We consider the problem of updating a multi-agent system with a set of conditional norms. A norm comes into effect when its condition becomes true, and imposes either an obligation or a prohibition on an agent which remains in force until a state satisfying a deadline condition is reached. If the norm is violated, a sanction is imposed on the agent. We define a notion of a normative update of a multi-agent system by a set of conditional norms, and study the problem of checking whether the agent(s) can bring about a state satisfying a property without incurring a specified number of sanctions.",
author = "Natasha Alechina and Mehdi Dastani and Brian Logan",
year = "2013",
language = "English",
isbn = "9781577356332",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
pages = "20--26",
booktitle = "IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence",
note = "23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, IJCAI 2013 ; Conference date: 03-08-2013 Through 09-08-2013",
}