{"id":"https://openalex.org/W2888011185","doi":"https://doi.org/10.1109/saci.2018.8441020","title":"K Modal Logic Approach to Maze Solving","display_name":"K Modal Logic Approach to Maze Solving","publication_year":2018,"publication_date":"2018-05-01","ids":{"openalex":"https://openalex.org/W2888011185","doi":"https://doi.org/10.1109/saci.2018.8441020","mag":"2888011185"},"language":"en","primary_location":{"id":"doi:10.1109/saci.2018.8441020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saci.2018.8441020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011598939","display_name":"Dinko Osmankovi\u0107","orcid":"https://orcid.org/0000-0002-7206-9651"},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Dinko Osmankovic","raw_affiliation_strings":["Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia&Herzegovina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia&Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019319436","display_name":"Aleksandar Acimovic","orcid":null},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Aleksandar Acimovic","raw_affiliation_strings":["Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia&Herzegovina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia&Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I104817121"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.13587896,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"000125","last_page":"000130"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13362","display_name":"Slime Mold and Myxomycetes Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13362","display_name":"Slime Mold and Myxomycetes Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13124","display_name":"Chemical synthesis and alkaloids","score":0.9394999742507935,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.919700026512146,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.6439566612243652},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5995572805404663},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5316303968429565},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.4576694965362549},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.34636616706848145},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19895637035369873},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.16723644733428955},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.07984411716461182}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.6439566612243652},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5995572805404663},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5316303968429565},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.4576694965362549},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.34636616706848145},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19895637035369873},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.16723644733428955},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.07984411716461182},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/saci.2018.8441020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saci.2018.8441020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.75,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W583939292","https://openalex.org/W1527278424","https://openalex.org/W1541421582","https://openalex.org/W1661179413","https://openalex.org/W1824688947","https://openalex.org/W1969483458","https://openalex.org/W2020852080","https://openalex.org/W2073008457","https://openalex.org/W2074385899","https://openalex.org/W2075277371","https://openalex.org/W2082795795","https://openalex.org/W2118382442","https://openalex.org/W2129711966","https://openalex.org/W2131496938","https://openalex.org/W2134926389","https://openalex.org/W2169528473","https://openalex.org/W2170603638","https://openalex.org/W2753750891","https://openalex.org/W2768154882","https://openalex.org/W2964043796","https://openalex.org/W3141118817","https://openalex.org/W4240538936","https://openalex.org/W6692846177"],"related_works":["https://openalex.org/W2101793126","https://openalex.org/W2028144918","https://openalex.org/W142011187","https://openalex.org/W1530784265","https://openalex.org/W2175984923","https://openalex.org/W2534562289","https://openalex.org/W4318188140","https://openalex.org/W2795425183","https://openalex.org/W2549709684","https://openalex.org/W2947093719"],"abstract_inverted_index":{"This":[0,70],"paper":[1],"presents":[2],"a":[3,35,40,50,85,104,112,132],"modal":[4,45,124,133],"logic":[5,48,134],"approach":[6,37],"to":[7,25,38,74,110,116,138],"solving":[8,97,129],"maze":[9,98],"problem.":[10],"Traditionally,":[11],"this":[12,31,81,92],"problem":[13,99,135],"is":[14,49,136],"solved":[15],"using":[16,43],"graph":[17],"traversal":[18],"algorithms,":[19],"ranging":[20],"from":[21],"backtracking":[22,41,114,130,140],"and":[23,96],"A*":[24],"monte-carlo":[26],"tree":[27],"search":[28],"approaches.":[29],"In":[30],"case,":[32],"we":[33,83],"present":[34,117],"novel":[36,86],"describing":[39],"algorithm":[42,115,141],"K":[44],"logic.":[46],"Modal":[47],"powerful":[51],"way":[52],"of":[53,103,120,123],"representing":[54],"statements":[55],"that":[56,128],"involve":[57],"some":[58],"linguistic":[59],"modalities,":[60],"e.g.":[61],"\u201cneces-sary\u201d,":[62],"\u201cpossible\u201d,":[63],"\u201cwas\u201d,":[64],"\u201cwill":[65],"be\u201d,":[66],"\u201cpermitted\u201d,":[67],"\u201cforbidden\u201d,":[68],"etc.":[69],"gives":[71],"new":[72],"ways":[73],"model":[75],"typical":[76],"decision":[77,105],"making":[78,106],"problems.":[79],"For":[80],"purpose,":[82],"developed":[84],"framework":[87],"called":[88],"LogicToolbox.":[89],"We":[90,108],"employ":[91],"tool":[93],"in":[94],"modelling":[95],"as":[100,131],"an":[101],"example":[102],"process.":[107],"chose":[109],"translate":[111],"well-known":[113],"the":[118,121,139],"expressiveness":[119],"language":[122],"logic,":[125],"while":[126],"proving":[127],"equivalent":[137],"itself.":[142]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}