Specifying and reasoning about normative systems in deontic logic programming

José Júlio Alves Alferes

Specifying and reasoning about normative systems in deontic logic programming

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	Unknown
Title of host publication	International Foundation for Autonomous Agents and Multiagent Systems
Pages	1423-1424
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

Conference	AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems
Period	1/01/12 → …

Cite this

@inproceedings{a54200ca7555469bb6731c0902dbefaf,

title = "Specifying and reasoning about normative systems in deontic logic programming",

abstract = "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.",

author = "Alferes, {Jos{\'e} J{\'u}lio Alves}",

year = "2012",

month = jan,

day = "1",

language = "Unknown",

isbn = "0-9817381-3-3 978-0-9817381-3-0",

pages = "1423--1424",

booktitle = "International Foundation for Autonomous Agents and Multiagent Systems",

note = "AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems ; Conference date: 01-01-2012",

}

TY - GEN

T1 - Specifying and reasoning about normative systems in deontic logic programming

AU - Alferes, José Júlio Alves

PY - 2012/1/1

Y1 - 2012/1/1

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 0-9817381-3-3 978-0-9817381-3-0

SP - 1423

EP - 1424

BT - International Foundation for Autonomous Agents and Multiagent Systems

T2 - AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems

Y2 - 1 January 2012

ER -