Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota. Time Is Up! - Norms with Deadlines in Action Languages. In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran, editors, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Volume 8143 of Lecture Notes in Computer Science, pages 223-238, Springer, 2013. [doi]
Abstract is missing.