{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:19:48Z","timestamp":1725902388453},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319592930"},{"type":"electronic","value":"9783319592947"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59294-7_5","type":"book-chapter","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:19:10Z","timestamp":1498112350000},"page":"49-57","source":"Crossref","is-referenced-by-count":0,"title":["An MDE Approach for Modelling and Reasoning About Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Fazle","family":"Rabbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,23]]},"reference":[{"key":"5_CR1","volume-title":"Category Theory for Computing Science","year":"1995","unstructured":"Barr, M., Wells, C. (eds.): Category Theory for Computing Science, 2nd edn. Prentice Hall International (UK) Ltd., Upper Saddle River (1995)","edition":"2"},{"unstructured":"Booth, R., Meyer, T., Varzinczak, I.J.: Next steps in propositional horn contraction. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 702\u2013707 (2009)","key":"5_CR2"},{"unstructured":"Delgrande, J.P.: Horn clause belief change: contraction functions. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, KR 2008, pp. 156\u2013165. AAAI Press (2008)","key":"5_CR3"},{"issue":"6","key":"5_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2008.10.041","volume":"203","author":"Z Diskin","year":"2008","unstructured":"Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. Electron. Notes Theoret. Comput. Sci. 203(6), 19\u201341 (2008). Proceedings of the Second Workshop on Applied and Computational Category Theory (ACCAT 2007)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"5_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch Van","year":"2007","unstructured":"Van Ditmarsch, H., van Der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer, Heidelberg (2007)","edition":"1"},{"unstructured":"Gerbrandy, J.: Dynamic epistemic logic. In: Logic, Language and Computation, Stanford, CA, USA, vol. 2, pp. 67\u201384. Center for the Study of Language and Information (1999)","key":"5_CR6"},{"unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Texts in Philosophy, King\u2019s College Publications (2005)","key":"5_CR7"},{"unstructured":"Konolige, K.: A deductive model of belief. In: Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1, IJCAI 1983, San Francisco, CA, USA, pp. 377\u2013381. Morgan Kaufmann Publishers Inc. (1983)","key":"5_CR8"},{"doi-asserted-by":"crossref","unstructured":"Rabbi, F., Lamo, Y., Yu, I.C.: Towards a categorical approach for meta-modelling epistemic game theory. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, pp. 57\u201364. ACM. New York (2016)","key":"5_CR9","DOI":"10.1145\/2976767.2976771"},{"doi-asserted-by":"crossref","unstructured":"Rabbi, F., Lamo, Y., Yu, I.C., Kristensen, L.M.: WebDPF: a web-based metamodelling and model transformation environment. In: MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19\u201321 February 2016, pp. 87\u201398. SciTePress (2016)","key":"5_CR10","DOI":"10.5220\/0005686900870098"},{"unstructured":"Rutle, A.,: Diagram predicate framework: a formal approach to MDE. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2010)","key":"5_CR11"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59294-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:21:04Z","timestamp":1498112464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59294-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319592930","9783319592947"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59294-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}