Guido Boella, Jan Broersen, Leendert van der Torre. Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. In The Duy Bui, Tuong Vinh Ho, Quang-Thuy Ha, editors, Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings. Volume 5357 of Lecture Notes in Computer Science, pages 86-97, Springer, 2008. [doi]
Abstract is missing.