Papers in proceedings

• Matthias Knorr, Alfredo Gabaldon, R. Gonçalves, João Alexandre Leite and Martin Slota, Time Is Up! - Norms with Deadlines in Action Languages, in: João Alexandre Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran (eds), Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8143, ISBN 978-3-642-40623-2, Pag. 223-238, 2013.
• Matthias Knorr, Alfredo Gabaldon, R. Gonçalves, João Alexandre Leite and Martin Slota, Towards Action Languages with Norms and Deadlines, in: J. Ji, H. Strass and X. Wang (eds), Proceedings of the The Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’13), Beijing, China, August 2013., 2013.