{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:13:20Z","timestamp":1773656000757,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030242954","type":"print"},{"value":"9783030242961","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-24296-1_35","type":"book-chapter","created":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T21:06:36Z","timestamp":1561755996000},"page":"441-456","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Automatic Synthesis of Multilevel Automata Models of Biological Objects"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5905-4415","authenticated-orcid":false,"given":"Vasiliy","family":"Osipov","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2625-452X","authenticated-orcid":false,"given":"Elena","family":"Stankova","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0933-0933","authenticated-orcid":false,"given":"Alexander","family":"Vodyaho","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9683-1858","authenticated-orcid":false,"given":"Mikhail","family":"Lushnov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7140-1686","authenticated-orcid":false,"given":"Yulia","family":"Shichkina","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5877-4461","authenticated-orcid":false,"given":"Nataly","family":"Zhukova","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,29]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Kotseruba, I., Tsotsos, J.A: Review of 40 years of cognitive architecture research: core cognitive abilities and practical applications. Artif. Intell. Rev. (2018)","DOI":"10.1007\/s10462-018-9646-y"},{"issue":"1\u20133","key":"35_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.neucom.2010.08.012","volume":"74","author":"B Goertzel","year":"2010","unstructured":"Goertzel, B., Lian, R., Arel, I., Garis, H., Chen, S.A.: World survey of artificial brain projects, Part II: biologically inspired cognitive architectures. J. Neurocomput. Arch. 74(1\u20133), 30\u201349 (2010)","journal-title":"J. Neurocomput. Arch."},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine \u2013 oriented logic based on resolution principle. J. ACM 12, 23\u201341 (1965)","journal-title":"J. ACM"},{"key":"35_CR4","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C Chang","year":"1973","unstructured":"Chang, C., Lee, R.: Symbolic Logic and Mechanical Theorem Proving. Academic, New York (1973)"},{"key":"35_CR5","volume-title":"Teoria deduktivnykh system ieeprimeneniya (Theory of Deductive Systems and Its Applications)","author":"SYu Maslov","year":"1986","unstructured":"Maslov, SYu.: Teoria deduktivnykh system ieeprimeneniya (Theory of Deductive Systems and Its Applications). Radio I Svyaz\u2019, Moscow (1986)"},{"key":"35_CR6","first-page":"3","volume":"4","author":"EKh Tyugu","year":"1980","unstructured":"Tyugu, E.Kh., Kharf, M.Ya.: Algorithms for structural synthesis of programs. Programmirovanie 4, 3\u201313 (1980)","journal-title":"Programmirovanie"},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.artint.2012.12.001","volume":"196","author":"G Giacomo","year":"2013","unstructured":"Giacomo, G., Patrizi, F., Sardina, S.: Automatic behavior composition synthesis. Artif. Intell. 196, 106\u2013142 (2013)","journal-title":"Artif. Intell."},{"key":"35_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-017-0437-3_5","volume-title":"Automated Deduction \u2013 A Basis for Application","author":"C Kreitz","year":"1998","unstructured":"Kreitz, C.: Program synthesis. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction \u2013 A Basis for Application, pp. 105\u2013134. Kluwer Publ., Dordrecht (1998)"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-48958-4_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"A Avellone","year":"1999","unstructured":"Avellone, A., Ferrari, M., Miglioli, P.: Synthesis of programs in abstract data types. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, pp. 81\u2013100. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-48958-4_5"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: Template \u2013 based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. 15(5), 497\u2013518","DOI":"10.1007\/s10009-012-0223-4"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-319-17822-6_12","volume-title":"Logic-Based Program Synthesis and Transformation","author":"A Tahat","year":"2015","unstructured":"Tahat, A., Ebnenasir, A.: A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols. In: Proietti, M., Seki, H. (eds.) LOPSTR 2014. LNCS, vol. 8981, pp. 201\u2013218. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-17822-6_12"},{"issue":"3","key":"35_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0004-3702(83)90009-7","volume":"20","author":"E Kant","year":"1983","unstructured":"Kant, E.: On the efficient synthesis of efficient programs. Artif. Intell. 20(3), 253\u2013305 (1983)","journal-title":"Artif. Intell."},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-49674-2_1","volume-title":"Logic Program Synthesis and Transformation","author":"W Bibel","year":"1998","unstructured":"Bibel, W., et al.: A multi-level approach to program synthesis. In: Fuchs, Norbert E. (ed.) LOPSTR 1997. LNCS, vol. 1463, pp. 1\u201327. Springer, Heidelberg (1998). \n                      https:\/\/doi.org\/10.1007\/3-540-49674-2_1"},{"key":"35_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-27436-2_6","volume-title":"Logic-Based Program Synthesis and Transformation","author":"P Fu","year":"2015","unstructured":"Fu, P., Komendantskaya, E.: A type-theoretic approach to resolution. In: Falaschi, M. (ed.) LOPSTR 2015. LNCS, vol. 9527, pp. 91\u2013106. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-27436-2_6"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publications (2006)","DOI":"10.1201\/9781420013641"},{"key":"35_CR16","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.neucom.2018.05.009","volume":"308","author":"V Osipov","year":"2018","unstructured":"Osipov, V., Osipova, M.: Space-time signal binding in recurrent neural networks with controlled elements. Neurocomputing 308, 194\u2013204 (2018)","journal-title":"Neurocomputing"},{"issue":"3","key":"35_CR17","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1134\/S0361768816030063","volume":"42","author":"VYu Osipov","year":"2016","unstructured":"Osipov, VYu.: Automatic synthesis of action programs for intelligent robots. Program. Comput. Softw. 42(3), 155\u2013160 (2016)","journal-title":"Program. Comput. Softw."},{"key":"35_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-62392-4_8","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2017","author":"V Osipov","year":"2017","unstructured":"Osipov, V., Lushnov, M., Stankova, E., Vodyaho, A., Zukova, N.: Inductive synthesis of the models of biological systems according to clinical trials. In: Gervasi, O., et al. (eds.) ICCSA 2017. LNCS, vol. 10404, pp. 103\u2013115. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-62392-4_8"},{"key":"35_CR19","first-page":"75","volume":"11","author":"V Osipov","year":"2017","unstructured":"Osipov, V., Zhukova, N., Vodyaho, A., Kalmatsky, A., Mustafin, N.: Towards building of cable TV content-sensitive adaptive monitoring and management systems. Int. J. Comput. Commun. 11, 75\u201381 (2017)","journal-title":"Int. J. Comput. Commun."},{"key":"35_CR20","unstructured":"Anokhin, P.K.: Sketches on physiology of systems of functions. M.: Medicine, 448 p. (1975). (In Russian)"},{"key":"35_CR21","unstructured":"Lushnov, A.M., Lushnov, M.S. Medical information systems: multidimensional analysis of medical and ecological data. St. Petersburg, Helicon Plus, 460 p. (2013). (In Russian)"},{"key":"35_CR22","unstructured":"Kupershtokh, V.L., Mirkin, B.G., Trofimov of V.A. Summ of intercommunications as index of quality of classification. Automatic equipment and telemechanics 3, 133\u2013141 (1976). (In Russian)"},{"key":"35_CR23","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF00357920","volume":"51","author":"D Teodorescu","year":"1984","unstructured":"Teodorescu, D., Teodorescu, R.: Autoregressive time series analysis via representatives. Biol. Cybern. 51, 79\u201386 (1984)","journal-title":"Biol. Cybern."},{"key":"35_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-319-42111-7_36","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2016","author":"EN Stankova","year":"2016","unstructured":"Stankova, E.N., Balakshiy, A.V., Petrov, D.A., Shorov, A.V., Korkhov, V.V.: Using technologies of OLAP and machine learning for validation of the numerical models of convective clouds. In: Gervasi, O., et al. (eds.) ICCSA 2016. LNCS, vol. 9788, pp. 463\u2013472. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-42111-7_36"},{"key":"35_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-319-95171-3_13","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2018","author":"EN Stankova","year":"2018","unstructured":"Stankova, E.N., Ismailova, E.T., Grechko, I.A.: Algorithm for processing the results of cloud convection simulation using the methods of machine learning. In: Gervasi, O., et al. (eds.) ICCSA 2018. LNCS, vol. 10963, pp. 149\u2013159. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-95171-3_13"},{"key":"35_CR26","doi-asserted-by":"publisher","unstructured":"Stankova, E.N., Balakshiy, A.V., Petrov, D.A., Korkhov, V.V.: OLAP technology and machine learning as the tools for validation of the numerical models of convective clouds Int. J. Business Intell. Data Min. 14(1\/2), 254\u2013266 (2019). ISSN online 1743-8195 ISSN print 1743-8187 \n                      https:\/\/doi.org\/10.1504\/ijbidm.2019.096793","DOI":"10.1504\/ijbidm.2019.096793"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-24296-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T22:19:55Z","timestamp":1561760395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24296-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030242954","9783030242961"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24296-1_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Saint Petersburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}