Time is up! - Norms with deadlines in action languages

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.

Original languageEnglish
Title of host publicationComputational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings
EditorsJ. Leite, T. C. Son, P. Torroni, L. van der Torre, S. Woltran
Place of PublicationBerlin, Heidelberg
PublisherSpringer Verlag
Number of pages16
ISBN (Electronic)978-3-642-40624-9
ISBN (Print)978-3-642-40623-2
Publication statusPublished - 30 Oct 2013
Event14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 - Corunna, Spain
Duration: 16 Sept 201318 Sept 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume8143 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013


  • Transition System
  • Multiagent System
  • Query Language
  • Normative System
  • Deontic Logic


Dive into the research topics of 'Time is up! - Norms with deadlines in action languages'. Together they form a unique fingerprint.

Cite this