{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:19:57Z","timestamp":1730294397498,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/saci.2018.8441020","type":"proceedings-article","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T22:14:23Z","timestamp":1535062463000},"page":"000125-000130","source":"Crossref","is-referenced-by-count":1,"title":["K Modal Logic Approach to Maze Solving"],"prefix":"10.1109","author":[{"given":"Dinko","family":"Osmankovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandar","family":"Acimovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1619","article-title":"Implementation of q-learning algorithm for solving maze problem","author":"osmankovi?","year":"2011","journal-title":"MIPRO 2011 Proceedings of the 34th International Convention"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1109\/CEC.2004.1330947","article-title":"Evolving sparse direction maps for maze pathfinding","volume":"1","author":"gordon","year":"2004","journal-title":"Evolutionary Computation 2004 CEC2004 Congress on"},{"key":"ref12","first-page":"1928","article-title":"Asynchronous methods for deep reinforcement learning","author":"mnih","year":"2016","journal-title":"International Conference on Machine Learning"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SITIS.2008.104"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-67149-9","author":"pacuit","year":"2017","journal-title":"NEIGHBORHOOD SEMANTICS FOR MODAL LOGIC"},{"journal-title":"A general multi-agent modal logic k framework for game tree search","year":"2012","author":"saffidine","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80023-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19630090502"},{"journal-title":"Kripke's Worlds-An Introduction to Modal Logics via Tableaux ser Studies in Universal Logic Birkhäuser","year":"2014","author":"gasquet","key":"ref18"},{"journal-title":"Algol 60 translation An algol 60 translator for the x1 and making a translator for algol 60","year":"1961","author":"dijkstra","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1162\/089892900562426"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(97)00376-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1126\/science.267.5199.868"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1021\/la030054x"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MACE.2011.5987118"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2172\/10180101"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1038\/35035159","article-title":"Intelligence: Maze-solving by an amoeboid organism","volume":"407","author":"nakagaki","year":"2000","journal-title":"Nature"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244394"}],"event":{"name":"2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI)","start":{"date-parts":[[2018,5,17]]},"location":"Timisoara","end":{"date-parts":[[2018,5,19]]}},"container-title":["2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8412770\/8440916\/08441020.pdf?arnumber=8441020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T16:03:07Z","timestamp":1643212987000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8441020\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/saci.2018.8441020","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}