{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T14:10:20Z","timestamp":1744899020357,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/fuzz-ieee.2018.8491586","type":"proceedings-article","created":{"date-parts":[[2018,10,19]],"date-time":"2018-10-19T22:18:38Z","timestamp":1539987518000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["An Epistemic Halpern-Shoham Logic for Gradable Justification"],"prefix":"10.1109","author":[{"given":"Krystian Adam","family":"Jobczyk","sequence":"first","affiliation":[]},{"given":"Antoni","family":"Ligeza","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","article-title":"A modal account of similarity-based reasoning","volume":"4","author":"godo","year":"1997","journal-title":"International Journal of Approximate Reasoning"},{"journal-title":"The Problem of Knowledge","year":"1956","author":"ayer","key":"ref10"},{"journal-title":"Perceiving A philosophical Study","year":"1957","author":"chisholm","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/3326922"},{"journal-title":"Ueber Formal Unentscheidbare Saetze der Principia Mathematica und Verwandter Systeme I","year":"1931","author":"goedel","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2266895"},{"key":"ref15","first-page":"27","article-title":"The travelling salesman’s problem","volume":"1","author":"heller","year":"1955","journal-title":"Proceedings of the Second Symposium on Linear Programming"},{"key":"ref16","first-page":"61","article-title":"The travelling-salesman’s problem","volume":"5","author":"flood","year":"1957","journal-title":"Operations Research"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1134\/S0001434614090326"},{"key":"ref18","article-title":"Multi-valued halpern-shoham logic for temporal allen’s relations and preferences","author":"jobczyk","year":"2016","journal-title":"Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZIEEE)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/INISTA.2015.7276775"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00074-7"},{"key":"ref4","first-page":"590","article-title":"Decidable and undecidable fragments of halpern and shoham’s interval temporal logic: Towards a complete classification","author":"bresolin","year":"2008","journal-title":"Proc of the 15th Int Conf on Logic for Programming vol 5330 of LNCS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80018-8"},{"key":"ref3","article-title":"Undecidablility of the logic of overlap relation over discrete linear orderings","author":"bresolin","year":"2009","journal-title":"Proceedings of M4M 6 6th Workshop on Methods for Modalities"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.14.9-54"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000087"},{"key":"ref5","first-page":"73","article-title":"Interval temporal logics: a journay","volume":"105","author":"della monica","year":"2011","journal-title":"Bull of the EATCS"},{"key":"ref8","first-page":"1010","article-title":"An epistemic halpern-shoham logic","author":"lomuscio","year":"2013","journal-title":"Proceedings of IJCAI-2013"},{"key":"ref7","article-title":"Decidability of the logic of a reflexive sub-interval relations over finite linear orders","author":"montanari","year":"2010","journal-title":"Time"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"journal-title":"Reasoning About Knowledge","year":"1995","author":"fagin","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59060-8_23"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27644-1_14"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39378-0_20"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/6.1.73"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19324-3_16"},{"key":"ref26","first-page":"431","article-title":"Interval logics and omegab-regular languages","volume":"lncs","author":"montanari","year":"2013","journal-title":"LATA"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"hajek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"}],"event":{"name":"2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2018,7,8]]},"location":"Rio de Janeiro","end":{"date-parts":[[2018,7,13]]}},"container-title":["2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8466242\/8491438\/08491586.pdf?arnumber=8491586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T03:00:33Z","timestamp":1598238033000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8491586\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2018.8491586","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}