{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:58:27Z","timestamp":1730260707101,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T00:00:00Z","timestamp":1694044800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T00:00:00Z","timestamp":1694044800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,7]]},"DOI":"10.1109\/idaacs58523.2023.10348776","type":"proceedings-article","created":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:20:33Z","timestamp":1703186433000},"page":"211-220","source":"Crossref","is-referenced-by-count":0,"title":["Development of Verification Model for Intelligence of Multiagent Systems"],"prefix":"10.1109","author":[{"given":"Oleksandr","family":"Martynyuk","sequence":"first","affiliation":[{"name":"National University “Odesskaya Polytechnica”,Odessa,Ukraine,650044"}]},{"given":"Oleksandr","family":"Drozd","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnica”,Odessa,Ukraine,650044"}]},{"given":"Anatoliy","family":"Sachenko","sequence":"additional","affiliation":[{"name":"West Ukrainian National University,Ternopil,Ukraine,46009"}]},{"given":"Dmitry","family":"Martynyuk","sequence":"additional","affiliation":[{"name":"Join Venture “Nippon Auto”,Odessa,Ukraine,65000"}]},{"given":"Igor","family":"Mileiko","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnica”,Odessa,Ukraine,650044"}]},{"given":"Igor","family":"Kopytchuk","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnica”,Odessa,Ukraine,650044"}]},{"given":"Grygoriy","family":"Hladiy","sequence":"additional","affiliation":[{"name":"West Ukrainian National University,Ternopil,Ukraine,46009"}]}],"member":"263","reference":[{"key":"ref1","first-page":"705","volume-title":"Distributed Systems: Principles and Paradigms","author":"Tanenbaum","year":"2013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.31866\/2617-796x.2.2018.155662"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1644-9"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/978-3-662-49179-9","volume-title":"Intelligent Computing Systems: Emerging Application Areas","author":"Tsihrintzis","year":"2016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69898-4_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/electronics12030659"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16493-4_25"},{"article-title":"Methods of Searching for Associative Rules for Inhomogeneous Data in Semantic Networks","volume-title":"IntelITSIS2022: 3nd International Workshop on Intelligent Information Technologies and Systems of Information Security","author":"Boykoa","key":"ref8"},{"key":"ref9","article-title":"Progressive Hashing for Packet Processing Using Set Associative Memory","volume-title":"ANCS09: Symposium on Architecture for Networking and Communications Systems","author":"Michel","year":"2009"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.29085\/9781783302024.026"},{"key":"ref11","article-title":"Knowledge-based Intellectual Property Management For Technology Development Industry","volume":"14","author":"Cheung","year":"2013","journal-title":"Journal of Knowledge Management Practice"},{"journal-title":"003 Knowledge Representation Techniques (Semantic Network + Frames + Production Rules)","year":"2022","author":"Gilanie","key":"ref12"},{"first-page":"33","volume-title":"Parallel computing techniques, Papers, No. 2004, 27","author":"Nakano","key":"ref13"},{"key":"ref14","first-page":"266","article-title":"Availability and Reliability Analysis of Computer Systems","volume":"10","author":"Jitendra","year":"2019","journal-title":"International Journal of Control Theory and Applications"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04186-0_7"},{"key":"ref16","first-page":"175","article-title":"Model for Verification of Intelligence of Multiagent Systems","volume-title":"Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security","author":"Martynyuk"},{"issue":"2","key":"ref17","first-page":"210","article-title":"Properties of fuzzy systems","volume":"8","author":"Volosencu","year":"2009","journal-title":"WSEAS Transactions on Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2594413.2594424"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24933-4_4"},{"key":"ref20","first-page":"173","volume-title":"Modelling Distributed Systems Protocol Verification with $\\mu$ CRL","author":"Fokkink","year":"2017"},{"key":"ref21","first-page":"166","article-title":"Rational Verification in Multi-Agent Systems A thesis submitted for the degree of Doctor of Philosophy","author":"Muhammad","journal-title":"September 2019 University of Oxford"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2392104"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-010-0058-z"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2015.7341411"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS52692.2021.9581025"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.47839\/ijc.19.1.1696"}],"event":{"name":"2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","start":{"date-parts":[[2023,9,7]]},"location":"Dortmund, Germany","end":{"date-parts":[[2023,9,9]]}},"container-title":["2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10348627\/10348628\/10348776.pdf?arnumber=10348776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T01:46:16Z","timestamp":1705023976000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10348776\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/idaacs58523.2023.10348776","relation":{},"subject":[],"published":{"date-parts":[[2023,9,7]]}}}