In this paper we propose the usage of a framework combining standard deontic logic (SDL) and non-monotonic logic programming -- deontic logic programs (DLP) -- to represent and reason about normative systems.
|Title of host publication||International Foundation for Autonomous Agents and Multiagent Systems|
|Publication status||Published - 1 Jan 2012|
|Event||AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - |
Duration: 1 Jan 2012 → …
|Conference||AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems|
|Period||1/01/12 → …|