{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:24:26Z","timestamp":1730222666595,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":[[2019,6]]},"DOI":"10.1109\/fuzz-ieee.2019.8859016","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T23:17:01Z","timestamp":1570749421000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification"],"prefix":"10.1109","author":[{"given":"Krystian Adam","family":"Jobczyk","sequence":"first","affiliation":[]},{"given":"Antoni","family":"Ligeza","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","article-title":"A modal account of similarity-based reasoning","volume":"4","author":"godo","year":"1997","journal-title":"International Journal of Approximate Reasoning"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000087"},{"key":"ref10","article-title":"Run Time verification of Hybrid Systems","author":"alouffi","year":"2016","journal-title":"De Montfort University PhD-thesis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"journal-title":"The Problem of Knowledge","year":"1956","author":"ayer","key":"ref12"},{"journal-title":"Perceiving A philosophical Study","year":"1957","author":"chisholm","key":"ref13"},{"key":"ref14","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":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2307\/2266895"},{"key":"ref17","article-title":"Multi-valued halpern-shoham logic for temporal allen’s relations and preferences","author":"jobczyk","year":"2016","journal-title":"Proceedings of the annual international conference of Fuzzy Systems (FuzzIEEE)"},{"key":"ref18","first-page":"1010","article-title":"An epistemic halpern-shoham logic","author":"lomuscio","year":"2013","journal-title":"Proceedings of IJCAI-2013"},{"journal-title":"Reasoning About Knowledge","year":"1995","author":"fagin","key":"ref19"},{"key":"ref28","first-page":"431","article-title":"Interval logics and omegab-regular languages","volume":"lncs","author":"montanari","year":"2013","journal-title":"LATA"},{"key":"ref4","first-page":"590","article-title":"Decidable and undecidable fragments of halpern and shoham’s interval temporal logic: Towards a complete classification","volume":"5330","author":"bresolin","year":"2008","journal-title":"Proc of the 15th Int Conf on Logic for Programming"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"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","article-title":"Decidability of the logic of a reflexive sub-interval relations over finite linear orders","author":"montanari","year":"2010","journal-title":"Time"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00074-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.14.9-54"},{"key":"ref8","first-page":"307","article-title":"Some very compositional properties","volume":"a 56","author":"moszkowski","year":"1994","journal-title":"Programming Concepts Methods and Calculi"},{"journal-title":"Executing Temporal Logic Programs","year":"1986","author":"moszkowski","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.1996.500624"},{"key":"ref1","article-title":"Reasoning about digital circuits","author":"moszkowski","year":"1983","journal-title":"PhD Thesis -Stanford"},{"key":"ref20","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":"ref22","doi-asserted-by":"publisher","DOI":"10.1134\/S0001434614090326"},{"key":"ref21","first-page":"61","article-title":"The travelling-salesman’s problem","volume":"5","author":"flood","year":"1957","journal-title":"Operations Research"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39378-0_20"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/INISTA.2015.7276775"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/6.1.73"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27644-1_14"}],"event":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2019,6,23]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2019,6,26]]}},"container-title":["2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8845563\/8858787\/08859016.pdf?arnumber=8859016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:20:43Z","timestamp":1658262043000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8859016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2019.8859016","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}