{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:38Z","timestamp":1725573098032},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540351733"},{"type":"electronic","value":"9783540351764"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11775331_12","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:59:12Z","timestamp":1148551152000},"page":"170-182","source":"Crossref","is-referenced-by-count":2,"title":["Design by Contract Deontic Design Language for Multiagent Systems"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Garion","sequence":"first","affiliation":[]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"1","volume-title":"Advances in Object-Oriented Software Engineering","author":"B. Meyer","year":"1991","unstructured":"Meyer, B.: Design by contract. In: Mandrioli, D., Meyer, B. (eds.) Advances in Object-Oriented Software Engineering, pp. 1\u201350. Prentice-Hall, New York, London (1991)"},{"issue":"10","key":"12_CR2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"issue":"9","key":"12_CR3","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/162685.162705","volume":"36","author":"B. Meyer","year":"1993","unstructured":"Meyer, B.: Systematic concurrent object-oriented programming. Communication of the ACM\u00a036(9), 56\u201380 (1993)","journal-title":"Communication of the ACM"},{"key":"12_CR4","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"J. Meyer","year":"1993","unstructured":"Meyer, J., Wieringa, R.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester (1993)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G. Wright von","year":"1951","unstructured":"von Wright, G.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"12_CR6","first-page":"17","volume-title":"Deontic Logic in Computer Science","author":"R. Wieringa","year":"1993","unstructured":"Wieringa, R., Meyer, J.: Applications of deontic logic in computer science: A concise overview. In: Deontic Logic in Computer Science, pp. 17\u201340. John Wiley & Sons, Chichester, England (1993)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous active agents, I: Semantics. Artificial Intelligence\u00a0108, 179\u2013255 (1999)","journal-title":"Artificial Intelligence"},{"issue":"3-4","key":"12_CR8","first-page":"428","volume":"2","author":"J. Broersen","year":"2002","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly\u00a02(3-4), 428\u2013447 (2002)","journal-title":"Cognitive Science Quarterly"},{"key":"12_CR9","unstructured":"Meyer, B.: Invitation to Eiffel. Technical Report TR-EI-67\/IV, Interactive Software Engineering (1987)"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F. Dignum","year":"1999","unstructured":"Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law\u00a07(1), 69\u201379 (1999)","journal-title":"Artificial Intelligence and Law"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/A:1008367514393","volume":"7","author":"C. Krogh","year":"1999","unstructured":"Krogh, C., Herrestad, H.: Hohfeld in cyberspace and other applications of normative reasoning in agent technology. Artificial Intelligence and Law\u00a07(1), 81\u201396 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M.P. Singh","year":"1999","unstructured":"Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law\u00a07, 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"12_CR13","unstructured":"Tan, Y., Thoen, W.: Modeling directed obligations and permissions in trade contracts. In: Proceedings of the Thirty-First Annual Hawaian International Conference on System Sciences (1998)"},{"key":"12_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"12_CR15","unstructured":"Broersen, J., Dastani, M., van der Torre, L.: BDIOCTL: Properties of obligation in agent specification languages. In: Proceedings of IJCAI 2003, pp. 1389\u20131390 (2003)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-25927-5_11","volume-title":"Deontic Logic in Computer Science","author":"W. Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W., Wooldridge, M.: On obligations and abilities. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.\u00a03065, pp. 165\u2013181. Springer, Heidelberg (2004)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060, 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"12_CR18","first-page":"71","volume-title":"Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence","author":"C. Boutilier","year":"1999","unstructured":"Boutilier, C., Brafman, R., Hoos, H., Poole, D.: Reasoning with conditional ceteris paribus preference statement. In: Laskey, K., Prade, H. (eds.) Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, pp. 71\u201380. Morgan Kaufmann, San Francisco (1999)"},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C. Boutilier","year":"2005","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H., Poole, D.: CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research (JAIR)\u00a021, 135\u2013191 (2005)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"12_CR20","unstructured":"Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Vrije Universiteit Amsterdam (2003)"},{"key":"12_CR21","volume-title":"Making it explicit","author":"R. Brandom","year":"1994","unstructured":"Brandom, R.: Making it explicit. Harvard University Press, Cambridge (1994)"},{"key":"12_CR22","unstructured":"Rousseau, J.: The social contract (1762), \n                    \n                      http:\/\/www.constitution.org\/jjr\/socon.htm"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-16042-6_21","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"E.W. Stark","year":"1985","unstructured":"Stark, E.W.: A proof technique for rely\/guarantee properties. In: Maheshwari, S.N. (ed.) FSTTCS 1985. LNCS, vol.\u00a0206, pp. 369\u2013391. Springer, Heidelberg (1985)"},{"key":"12_CR24","unstructured":"Boella, G., van der Torre, L.: Contracts as legal institutions in organizations of autonomous agents. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2004), pp. 948\u2013955 (2004)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11775331_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T20:24:32Z","timestamp":1553286272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11775331_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540351733","9783540351764"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11775331_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}