{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:04:31Z","timestamp":1725552271161},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642123832"},{"type":"electronic","value":"9783642123849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12384-9_30","type":"book-chapter","created":{"date-parts":[[2010,4,15]],"date-time":"2010-04-15T10:57:07Z","timestamp":1271329027000},"page":"247-257","source":"Crossref","is-referenced-by-count":0,"title":["Using Situation Calculus for Normative Agents in Urban Wastewater Systems"],"prefix":"10.1007","author":[{"given":"Juan-Carlos","family":"Nieves","sequence":"first","affiliation":[]},{"given":"Dario","family":"Garcia","sequence":"additional","affiliation":[]},{"given":"Montse","family":"Aulinas","sequence":"additional","affiliation":[]},{"given":"Ulises","family":"Cort\u00e9s","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/S0957-4174(02)00188-4","volume":"24","author":"C.C. Albrecht","year":"2003","unstructured":"Albrecht, C.C., Dean, D.D., Hansen, J.V.: Using situation calculus for e-business agents. Expert Systems with Applications\u00a024, 391\u2013397 (2003)","journal-title":"Expert Systems with Applications"},{"key":"30_CR2","unstructured":"Aldewereld, H.: Autonomy vs. Conformity: an Institutional Perspective on Norms and Protocols. PhD thesis, Utrecht University (2007)"},{"key":"30_CR3","unstructured":"Aulinas, M.: Management of industrial wastewater discharges through agents\u2019 argumentation. PhD thesis, University of Girona (October 2009)"},{"issue":"10","key":"30_CR4","first-page":"10","volume":"257","author":"CEC. Directive 96\/61\/EC of 24","year":"1996","unstructured":"CEC. Directive 96\/61\/EC of 24 September 1996 concerning integrated pollution prevention and control. Official Journal L\u00a0257(10), 10 (1996)","journal-title":"Official Journal L"},{"key":"30_CR5","unstructured":"Demolombe, R.: From belief change to obligation change in the situation calculus. In: ECAI, pp. 991\u2013992 (2004)"},{"key":"30_CR6","unstructured":"Demolombe, R., Parra, P.P.: Integrating state constraints and obligations in situation calculus. In: LA-NMR (2006)"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Digmun, F., Dignum, V., Padget, J., V\u00e1zqez-Salceda, J.: Organizing Web Services to develop Dynamic, Flexible, Distributed Systems. In: proceedings of 11th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2009 (2009)","DOI":"10.1145\/1806338.1806383"},{"key":"30_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-75524-1_15","volume-title":"Engineering Societies in the Agents World VII","author":"D. Kaponis","year":"2007","unstructured":"Kaponis, D., Pitt, J.: Dynamic specifications in norm-governed open computational societies. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 265\u2013283. Springer, Heidelberg (2007)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Lesperance, L., Levesque, H., Reiter, R.: A Situation Calculus approach to modeling and programming agents. In: Foundations and theories of rational agents (1999)","DOI":"10.1007\/978-94-015-9204-8_12"},{"key":"30_CR10","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press (1969) reprinted in McC90"},{"volume-title":"Deontic Logic in Computer Science: Normative System Specification","year":"1993","key":"30_CR11","unstructured":"Meyer, J.-J.C., Wieringa, R.J. (eds.): Deontic Logic in Computer Science: Normative System Specification. Wiley, Chichester (1993)"},{"key":"30_CR12","unstructured":"Ministry, E.C.: Decree 130\/2003, Reglament dels serveis p\u00fablics de sanejament. In: DOGC, vol.\u00a03894, pp. 11143\u201311158 (2003)"},{"key":"30_CR13","unstructured":"Modgil, S., Faci, N., Meneguzzi, F.R., Oren, N., Miles, S., Luck, M.: A framework for monitoring agent-based normative systems. In: AAMAS, vol.\u00a0(1), pp. 153\u2013160 (2009)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Oren, N., Panagiotidi, S., V\u00e1zquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008, Chicago, Illinois, USA, pp. 61\u201368 (2008)","DOI":"10.1007\/978-3-642-00443-8_11"},{"key":"30_CR15","unstructured":"Panagiotidi, S., Nieves, J.C., V\u00e1zquez-Salceda, J.: A framework to model norm dynamics in answer set programming. In: Proceedings of FAMAS 2009 (Multi-Agent Logics, Languages, and Organisations Federated Workshops). CEUR WS Proceedings, vol.\u00a0494 (2009)"},{"key":"30_CR16","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, pp. 359\u2013380. Academic Press Professional, Inc., London (1991)"},{"key":"30_CR17","volume-title":"Artificial intelligence, LSI","author":"J. V\u00e1zquez-Salceda","year":"2003","unstructured":"V\u00e1zquez-Salceda, J.: The Role Of Norms And Electronic Institutions In Multi-Agent Systems Applied To Complex Domains The Harmonia Framework. In: Artificial intelligence, LSI, Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain (2003)"},{"issue":"1","key":"30_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10506-007-9057-x","volume":"16","author":"J. V\u00e1zquez-Salceda","year":"2008","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Grossi, D., Dignum, F.: From human regulations to regulated software agents\u2019 behavior. Artif. Intell. Law\u00a016(1), 73\u201387 (2008)","journal-title":"Artif. Intell. Law"}],"container-title":["Advances in Intelligent and Soft Computing","Advances in Practical Applications of Agents and Multiagent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12384-9_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T20:34:23Z","timestamp":1685565263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12384-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642123832","9783642123849"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12384-9_30","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2010]]}}}