Deontic logic programs

Authors:
Ricardo Gonçalves;José Júlio Alferes
Affiliations:
CENTRIA - Faculdade Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, Lisbon, Portugal;CENTRIA - Faculdade Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, Lisbon, Portugal
Venue:
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Year:
2013

Citing 4
Cited 0

Foundations of logic programming

Foundations of logic programming
Clasp: a conflict-driven answer set solver

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Specifying and reasoning about normative systems in deontic logic programming

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
An embedding of input-output logic in deontic logic programs

DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.