{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:05:34Z","timestamp":1740096334772,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406232"},{"type":"electronic","value":"9783642406249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_14","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T16:18:12Z","timestamp":1378829892000},"page":"223-238","source":"Crossref","is-referenced-by-count":1,"title":["Time Is Up! \u2013 Norms with Deadlines in Action Languages"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Knorr","sequence":"first","affiliation":[]},{"given":"Alfredo","family":"Gabaldon","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Slota","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1093\/jigpal\/jzp070","volume":"18","author":"T. \u00c5gotnes","year":"2010","unstructured":"\u00c5gotnes, T., van der Hoek, W., Wooldridge, M.: Robust normative systems and a logic of norm compliance. Logic Journal of the IGPL\u00a018(1), 4\u201330 (2010)","journal-title":"Logic Journal of the IGPL"},{"key":"14_CR2","unstructured":"Alberti, M., Gomes, A.S., Gon\u00e7alves, R., Knorr, M., Leite, J., Slota, M.: Normative systems require hybrid knowledge bases. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (eds.) AAMAS, pp. 1425\u20131426. IFAAMAS (2012)"},{"key":"14_CR3","unstructured":"Alechina, N., Dastani, M., Logan, B.: Programming norm-aware agents. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, vol.\u00a02, pp. 1057\u20131064. IFAAMAS (2012)"},{"issue":"1-2","key":"14_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1080\/11663081.2013.798996","volume":"23","author":"J.J. Alferes","year":"2013","unstructured":"Alferes, J.J., Gon\u00e7alves, R., Leite, J.: Equivalence of defeasible normative systems. Journal of Applied Non-Classical Logics\u00a023(1-2), 25\u201348 (2013)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459010.1459011","volume":"10","author":"A. Artikis","year":"2009","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Trans. Comput. Log.\u00a010(1), 1\u201342 (2009)","journal-title":"ACM Trans. Comput. Log."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.entcs.2009.02.030","volume":"231","author":"P. Balbiani","year":"2009","unstructured":"Balbiani, P., Broersen, J., Brunel, J.: Decision procedures for a deontic logic modeling temporal inheritance of obligations. Electr. Notes Theor. Comput. Sci.\u00a0231, 69\u201389 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-008-9047-8","volume":"17","author":"G. Boella","year":"2008","unstructured":"Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Autonomous Agents and Multi-Agent Systems\u00a017(1), 1\u201310 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR8","unstructured":"Boella, G., van der Torre, L.W.N.: Regulative and constitutive norms in normative multiagent systems. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, June 2-5, pp. 255\u2013266. AAAI Press (2004)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Broersen, J., Brunel, J.: Preservation of obligations in a temporal and deontic framework. In: Durfee, E., Yokoo, M., Huhns, M., Shehory, O. (eds.) Autonomous Agents and Multi-Agent Systems, p. 177 (2007)","DOI":"10.1145\/1329125.1329339"},{"key":"14_CR10","unstructured":"Bulling, N., Dastani, M.: Verifying normative behaviour via normative mechanism design. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI 2011, vol.\u00a01, pp. 103\u2013108. AAAI Press (2011)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a08, pp. 265\u2013343. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"14_CR12","unstructured":"Castilho, M.A., Herzig, A., Varzinczak, I.J.: It depends on the context! a decidable logic of actions and plans based on a ternary dependence relation. In: Benferhat, S., Giunchiglia, E. (eds.) NMR, pp. 343\u2013348 (2002)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Cholvy, L.: Checking regulation consistency by using SOL-resolution. In: ICAIL, pp. 73\u201379 (1999)","DOI":"10.1145\/323706.323717"},{"key":"14_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-74459-7_5","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"O. Cliffe","year":"2007","unstructured":"Cliffe, O., De Vos, M., Padget, J.: Specifying and reasoning about multiple institutions. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 67\u201385. Springer, Heidelberg (2007), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-540-74459-7_5"},{"key":"14_CR15","first-page":"239","volume-title":"Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, ASIACCS 2009","author":"R. Craven","year":"2009","unstructured":"Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E., Bandara, A.: Expressive policy analysis with enhanced system dynamicity. In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, ASIACCS 2009, pp. 239\u2013250. ACM, New York (2009)"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.jal.2007.06.007","volume":"6","author":"R. Craven","year":"2008","unstructured":"Craven, R., Sergot, M.: Agent strands in the action language nC+. J. Applied Logic\u00a06(2), 172\u2013191 (2008)","journal-title":"J. Applied Logic"},{"issue":"1-2","key":"14_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1080\/11663081.2012.682784","volume":"22","author":"M. Dastani","year":"2012","unstructured":"Dastani, M., Meyer, J.J.C., Tinnemeier, N.A.M.: Programming norm change. Journal of Applied Non-Classical Logics\u00a022(1-2), 151\u2013180 (2012)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"165","DOI":"10.3166\/jancl.13.165-185","volume":"13","author":"R. Demolombe","year":"2003","unstructured":"Demolombe, R., Herzig, A., Varzinczak, I.J.: Regression in modal logic. Journal of Applied Non-Classical Logics\u00a013(2), 165\u2013185 (2003)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"14_CR19","unstructured":"Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: HICSS (5), pp. 336\u2013346 (1997)"},{"key":"14_CR20","unstructured":"Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: HICSS (5), pp. 186\u2013195 (1998)"},{"key":"14_CR21","unstructured":"Dignum, V.: A model for organizational interaction: based on agents, founded in logic. Ph.D. thesis, Universiteit Utrecht (2004)"},{"key":"14_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent Mediated Elec. Commerce","author":"M. Esteva","year":"2001","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) Agent Mediated Elec. Commerce. LNCS (LNAI), vol.\u00a01991, pp. 126\u2013147. Springer, Heidelberg (2001)"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-15675-5_32","volume-title":"Logics in Artificial Intelligence","author":"M. Gebser","year":"2010","unstructured":"Gebser, M., Grote, T., Schaub, T.: Coala: A compiler from action languages to ASP. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 360\u2013364. Springer, Heidelberg (2010)"},{"issue":"3-4","key":"14_CR24","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput.\u00a09(3-4), 365\u2013385 (1991)","journal-title":"New Generation Comput."},{"key":"14_CR25","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell.\u00a02, 193\u2013210 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-89982-2_7","volume-title":"Logic Programming","author":"M. Gelfond","year":"2008","unstructured":"Gelfond, M., Lobo, J.: Authorization and obligation policies in dynamic systems. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 22\u201336. Springer, Heidelberg (2008)"},{"issue":"1","key":"14_CR27","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell.\u00a0153(1), 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-22359-4_25","volume-title":"Computational Logic in Multi-Agent Systems","author":"G. Governatori","year":"2011","unstructured":"Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 364\u2013382. Springer, Heidelberg (2011)"},{"key":"14_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic","author":"D. Harel","year":"1979","unstructured":"Harel, D.: First-Order Dynamic Logic. Springer-Verlag New York, Inc., Secaucus (1979)"},{"issue":"16-17","key":"14_CR30","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1016\/j.artint.2007.04.013","volume":"171","author":"A. Herzig","year":"2007","unstructured":"Herzig, A., Varzinczak, I.J.: Metatheory of actions: Beyond consistency. Artif. Intell.\u00a0171(16-17), 951\u2013984 (2007)","journal-title":"Artif. Intell."},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/1180405.1180423","volume-title":"Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006","author":"K. Irwin","year":"2006","unstructured":"Irwin, K., Yu, T., Winsborough, W.H.: On the modeling and analysis of obligations. In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, pp. 134\u2013143. ACM, New York (2006)"},{"issue":"1","key":"14_CR32","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"14_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-69619-3_14","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Leite","year":"2007","unstructured":"Leite, J., Soares, L.: Adding evolving abilities to a multi-agent system. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 246\u2013265. Springer, Heidelberg (2007)"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation, pp. 359\u2013380. Academic Press (1991)","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"14_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"W. Sadiq","year":"2007","unstructured":"Sadiq, W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"issue":"1","key":"14_CR36","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00033-8","volume":"111","author":"M. Thielscher","year":"1999","unstructured":"Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artif. Intell.\u00a0111(1), 277\u2013299 (1999)","journal-title":"Artif. Intell."},{"issue":"1","key":"14_CR37","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.artint.2010.04.010","volume":"175","author":"M. Thielscher","year":"2011","unstructured":"Thielscher, M.: A unifying action calculus. Artif. Intell.\u00a0175(1), 120\u2013141 (2011)","journal-title":"Artif. Intell."},{"key":"14_CR38","unstructured":"Tran, N., Baral, C.: Reasoning about triggered actions in AnsProlog and its application to molecular interactions in cells. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) KR, pp. 554\u2013564. AAAI Press (2004)"},{"key":"14_CR39","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-45683-X_10","volume-title":"PRICAI 2002: Trends in Artificial Intelligence","author":"D.-M. Zhang","year":"2002","unstructured":"Zhang, D.-M., Chopra, S., Foo, N.Y.: Consistency of action descriptions. In: Ishizuka, M., Sattar, A. (eds.) PRICAI 2002. LNCS (LNAI), vol.\u00a02417, pp. 70\u201379. Springer, Heidelberg (2002)"},{"key":"14_CR40","unstructured":"Zhang, D., Foo, N.Y.: EPDL: A logic for causal reasoning. In: Nebel, B. (ed.) IJCAI, pp. 131\u2013138. Morgan Kaufmann (2001)"},{"key":"14_CR41","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45757-7_30","volume-title":"Logics in Artificial Intelligence","author":"D.-M. Zhang","year":"2002","unstructured":"Zhang, D.-M., Foo, N.Y.: Interpolation properties of action logic: Lazy-formalization to the frame problem. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 357\u2013368. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:28:06Z","timestamp":1558056486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}