@inproceedings{04cde7b245a84457a72f5eab26920d65,
title = "Time is up! - Norms with deadlines in action languages",
abstract = "Action Languages are simple logical formalisms to describe the properties of a domain and the behavior of an agent and to reason about it. They offer an elegant solution to the frame problem, but are inapt to reason with norms in which an obligation deadline may require the agent to adapt its behavior even though no action occurred. In this paper we extend the Action Language with features that allow reasoning about norms and time in dynamic domains. Unlike previous extensions of Action Languages with norms, our resulting language is expressive enough to represent and reason with different kinds of obligations with deadlines that explicitly refer to time, as well as norm violations and even simple contrary-to-duty obligations resulting from the satisfaction or violation of an agent's obligations.",
keywords = "Transition System, Multiagent System, Query Language, Normative System, Deontic Logic",
author = "Matthias Knorr and Alfredo Gabaldon and Ricardo Gon{\c c}alves and Jo{\~a}o Leite and Martin Slota",
year = "2013",
month = oct,
day = "30",
doi = "10.1007/978-3-642-40624-9_14",
language = "English",
isbn = "978-3-642-40623-2",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "223--238",
editor = "J. Leite and Son, {T. C.} and P. Torroni and {van der Torre}, L. and S. Woltran",
booktitle = "Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings",
address = "Germany",
note = "14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 ; Conference date: 16-09-2013 Through 18-09-2013",
}