Specifying and reasoning about normative systems in deontic logic programming

Authors:
Ricardo Gonçalves;José Júlio Alferes
Affiliations:
Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal
Venue:
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Year:
2012

Citing 8
Cited 1

The British Nationality Act as a logic program

Communications of the ACM
Defeasible deontic reasoning: a logic programming model

Deontic logic in computer science
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels

International Journal of Agent-Oriented Software Engineering
BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems
Roles and norms for programming agent organizations

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Well-founded semantics for extended logic programs with dynamic preferences

Journal of Artificial Intelligence Research
Programming Normative Artifacts with Declarative Obligations and Prohibitions

WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Parametrized logic programming

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence

Deontic logic programs

Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

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.