Deontic logic programs

Research output: Contribution to conferencePaper

1 Citation (Scopus)

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 languageEnglish
Pages1333-1334
Number of pages2
Publication statusPublished - 1 Jan 2013
Event12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 - Saint Paul, MN, United States
Duration: 6 May 201310 May 2013

Conference

Conference12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013
CountryUnited States
CitySaint Paul, MN
Period6/05/1310/05/13

    Fingerprint

Keywords

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

Cite this

Gonçalves, R., & Alteres, J. J. (2013). Deontic logic programs. 1333-1334. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.