{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:09:13Z","timestamp":1759032553692,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T00:00:00Z","timestamp":1572652800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T00:00:00Z","timestamp":1572652800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002261","name":"Russian Foundation for Basic Research","doi-asserted-by":"publisher","award":["16-08-00832a"],"award-info":[{"award-number":["16-08-00832a"]}],"id":[{"id":"10.13039\/501100002261","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10472-019-09678-y","type":"journal-article","created":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T08:33:54Z","timestamp":1572683634000},"page":"395-408","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Multi-valued logic in graph transformation theory and self-adaptive systems"],"prefix":"10.1007","volume":"87","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8610-4342","authenticated-orcid":false,"given":"Dmitry","family":"Maximov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Ryvkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,2]]},"reference":[{"key":"9678_CR1","unstructured":"Aizerman, M., Aleskerov, F.: Choice of variants (foundations of the theory). Nauka, Moscow (1990)"},{"issue":"1","key":"9678_CR2","first-page":"185","volume":"5","author":"FLD Angelis","year":"2018","unstructured":"Angelis, F.L.D., Serugendo, G.D.M., Szalas, A.: Paraconsistent rule-based reasoning with graded truth values. J. Appl. Log. 5(1), 185\u2013220 (2018)","journal-title":"J. Appl. Log."},{"key":"9678_CR3","doi-asserted-by":"crossref","unstructured":"Bencomo, N., G\u00ebotz, S., et al.: Models@Run.Time: a guided tour of the state of the art and research challenges. In: Software & Systems Modeling (2019)","DOI":"10.1007\/s10270-018-00712-x"},{"key":"9678_CR4","volume-title":"Lattice theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice theory. Providence, Rhode Island (1967)"},{"issue":"1","key":"9678_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1080\/17545730802294452","volume":"1","author":"F B\u00f6se","year":"2009","unstructured":"B\u00f6se, F., Piotrowski, J., Scholz-Reiter, B.: Autonomously controlled storage management in vehicle logistics - applications of RFID and mobile computing systems. Int. Journal of RT Technologies: Research an Application 1(1), 57\u201376 (2009)","journal-title":"Int. Journal of RT Technologies: Research an Application"},{"key":"9678_CR6","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Yuriy Brun","year":"2009","unstructured":"Brun, Y., Serugendo, G.D.M., Gacek, C., et al.: Engineering self-adaptive systems through feedback loops. In: Software Engineering for Self-Adaptive Systems, pp 48\u201370 (2009)"},{"key":"9678_CR7","unstructured":"Bucchiarone, A., Ehrig, H., Ermel, C., et al.: Modelling and analysis of self-adapting systems based on graph transformation. Technical Report 2013\/03, TU Berlin, \nhttp:\/\/www.eecs.tu-berlin.de\/menue\/forschung\/forschungsberichte\/2013\n\n (2013)"},{"key":"9678_CR8","first-page":"582","volume":"8950","author":"A Bucchiarone","year":"2015","unstructured":"Bucchiarone, A., Ehrig, H., Ermel, C., et al.: Rule-based modeling and static analysis of self-adaptive systems by graph transformation. LNCS 8950, 582\u2013601 (2015)","journal-title":"LNCS"},{"key":"9678_CR9","doi-asserted-by":"publisher","unstructured":"D\u2019Angelo, M., Gerasimou, S., Ghahremani, S., et al.: On learning in collective self-adaptive systems: state of practice and a 3D framework. Preprint, \nhttps:\/\/doi.org\/10.13140\/RG.2.2.20987.77600\n\n (2019)","DOI":"10.13140\/RG.2.2.20987.77600"},{"key":"9678_CR10","volume-title":"Fundamentals of algebraic graph transformations","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., et al.: Fundamentals of algebraic graph transformations. Springer, Berlin (2006)"},{"key":"9678_CR11","first-page":"496","volume":"3098","author":"H Ehrig","year":"2004","unstructured":"Ehrig, H., Padberg, J.: Graf grammars and petri net transformations. LNCS 3098, 496\u2013536 (2004)","journal-title":"LNCS"},{"key":"9678_CR12","volume-title":"Topoi. The categorial analysis of logic","author":"R Goldblatt","year":"1979","unstructured":"Goldblatt, R.: Topoi. The categorial analysis of logic. N.-H. Pub. Co., Amsterdam (1979)"},{"key":"9678_CR13","doi-asserted-by":"publisher","unstructured":"Jim\u00e9nez, M., Rivera, L.F., Villegas, N., et al.: An architectural framework for quality-driven adaptive continuous experimentation. In: 2019 IEEE\/ACM Joint 4th International Workshop on Rapid Continuous Software Engineering and 1st International Workshop on Data-Driven Decisions, Experimentation and Evolution. \nhttps:\/\/doi.org\/10.1109\/RCoSE\/DDrEE.2019.00012\n\n (2019)","DOI":"10.1109\/RCoSE\/DDrEE.2019.00012"},{"key":"9678_CR14","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Qualitative distinctions between some toposes of generalized graphs. In: Categories in Computer Science and Logic. Contemporary Mathematics, vol. 92. Amer. Math. Soc. (1989)","DOI":"10.1090\/conm\/092\/1003203"},{"key":"9678_CR15","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-030-03424-5_17","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"Houssem Ben Mahfoudh","year":"2018","unstructured":"Mahfoudh, H.B., Serugendo, G.D.M., Boulmier, A., Abdennadher, N.: Coordination model with reinforcement learning for ensuring reliable on-demand services in collective adaptive systems. In: Proceedings of the 8th International Symposium, ISoLA 2018, Part III. \nhttps:\/\/doi.org\/10.1007\/978-3-030-03424-5_17\n\n (2018)"},{"issue":"3","key":"9678_CR16","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1134\/S0005117916030085","volume":"77","author":"DY Maksimov","year":"2016","unstructured":"Maksimov, D.Y.: Reconfiguring system hierarchies with multi\u2013valued logic. Autom. Remote. Control. 77(3), 462\u2013472 (2016)","journal-title":"Autom. Remote. Control."},{"issue":"1","key":"9678_CR17","doi-asserted-by":"publisher","first-page":"82","DOI":"10.21146\/2074-1472-2016-22-1-82-107","volume":"22","author":"D Maximov","year":"2016","unstructured":"Maximov, D.: N.A. Vasil\u2019ev\u2019s logic and many-valued logics. Logical Investigations 22(1), 82\u2013107 (2016)","journal-title":"Logical Investigations"},{"issue":"1","key":"9678_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s11787-015-0134-8","volume":"10","author":"D Maximov","year":"2016","unstructured":"Maximov, D.: N. Vasiliev\u2019s logic ideas and the categorical semantics of manyvalued logic. Logica Universalis 10(1), 21\u201343 (2016)","journal-title":"Logica Universalis"},{"key":"9678_CR19","unstructured":"Maximov, D.: A tool for linear logic structure calculating and decision making in a robot group in preparing (2019)"},{"issue":"4","key":"9678_CR20","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1134\/S0005117917040105","volume":"78","author":"DY Maximov","year":"2017","unstructured":"Maximov, D.Y., Legovich, Y.S., Ryvkin, S.E.: How the structure of system problems influences system behavior. Autom. Remote. Control. 78(4), 689\u2013699 (2017)","journal-title":"Autom. Remote. Control."},{"key":"9678_CR21","doi-asserted-by":"publisher","unstructured":"Sabatucci, L., Seidita, V., Cossentino, M.: The four types of self-adaptive systems: a metamodel. In: Smart Innovation. \nhttps:\/\/doi.org\/10.1007\/978-3-319-59480-4_44\n\n(2018)","DOI":"10.1007\/978-3-319-59480-4_44"},{"issue":"2","key":"9678_CR22","first-page":"14:1","volume":"4","author":"M Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. 4(2), 14:1\u201314:42 (2009)","journal-title":"ACM Trans. Auton."},{"key":"9678_CR23","doi-asserted-by":"publisher","unstructured":"Solano, G.F., Caldas, R.D., Rodrigues, G.N., et al.: A learning approach to enhance assurances for real-time self-adaptive systems. In: Proceedings of the 13-th International Conference on Software Engineering for Adaptive and Self-Managing Systems, Ser. SEAMS. \nhttps:\/\/doi.org\/10.1145\/3194133.3194147\n\n, pp 206\u2013216. ACM (2018)","DOI":"10.1145\/3194133.3194147"},{"key":"9678_CR24","unstructured":"Solano, G.F., Caldas, R.D., Rodrigues, G.N., et al.: Taming uncertainty in the assurance process of self-adaptive systems: a goal- oriented approach. Preprint, \nhttps:\/\/www.researchgate.net\/publication\/332878049\n\n (2019)"},{"key":"9678_CR25","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/B978-0-12-802855-1.00002-2","volume-title":"Managing Trade-Offs in Adaptable Software Architectures","author":"N.M. Villegas","year":"2017","unstructured":"Villegas, N., Tamura, G., M\u00fcller, H.A.: Architecting software systems for runtime self-adaptation. In: Managing Trade-Offs in Adaptable Software Architectures. Amer. Math. Soc. \nhttps:\/\/doi.org\/10.1016\/B978-0-12-802855-1.00002-2\n\n (2017)"},{"key":"9678_CR26","unstructured":"Weyns, D.: Software engineering of self-adaptive systems: an organised tour and future challenges. In: Kang, K.K.C., Cha, S. (eds.) Handbook of Software Engineering. Springer (2017)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09678-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-019-09678-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09678-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:21:12Z","timestamp":1604190072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-019-09678-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,2]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9678"],"URL":"https:\/\/doi.org\/10.1007\/s10472-019-09678-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2019,11,2]]},"assertion":[{"value":"2 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}