Deontic logic programs

Ricardo Gonçalves; José Júlio Alteres

Deontic logic programs

Research output: Contribution to conference › Paper › peer-review

Abstract

Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.

Original language	English
Pages	1333-1334
Number of pages	2
Publication status	Published - 1 Jan 2013
Event	12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 - Saint Paul, MN, United States Duration: 6 May 2013 → 10 May 2013

Conference

Conference	12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013
Country/Territory	United States
City	Saint Paul, MN
Period	6/05/13 → 10/05/13

Keywords

Design languages for agent systems
Environments
Knowledge representation
Logic-based approaches and methods
Norms
Social and organisational structure

Cite this

@conference{005a77f5a17c4d3d892fca4ad9acf565,

title = "Deontic logic programs",

abstract = "Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.",

keywords = "Design languages for agent systems, Environments, Knowledge representation, Logic-based approaches and methods, Norms, Social and organisational structure",

author = "Ricardo Gon{\c c}alves and Alteres, {Jos{\'e} J{\'u}lio}",

year = "2013",

month = jan,

day = "1",

language = "English",

pages = "1333--1334",

note = "12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 ; Conference date: 06-05-2013 Through 10-05-2013",

}

TY - CONF

T1 - Deontic logic programs

AU - Gonçalves, Ricardo

AU - Alteres, José Júlio

PY - 2013/1/1

Y1 - 2013/1/1

N2 - Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.

AB - Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.

KW - Design languages for agent systems

KW - Environments

KW - Knowledge representation

KW - Logic-based approaches and methods

KW - Norms

KW - Social and organisational structure

UR - http://www.scopus.com/inward/record.url?scp=84899433069&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:84899433069

SP - 1333

EP - 1334

T2 - 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013

Y2 - 6 May 2013 through 10 May 2013

ER -

Deontic logic programs

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this