{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:36:25Z","timestamp":1759638985752},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540688"},{"type":"electronic","value":"9783662540695"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54069-5_17","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T03:43:15Z","timestamp":1480650195000},"page":"224-238","source":"Crossref","is-referenced-by-count":1,"title":["Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic"],"prefix":"10.1007","author":[{"given":"Przemys\u0142aw Andrzej","family":"Wa\u0142\u0119ga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"issue":"11","key":"17_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"issue":"5","key":"17_CR2","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1093\/jigpal\/8.5.653","volume":"8","author":"C Areces","year":"2000","unstructured":"Areces, C., Blackburn, P., Marx, M.: The computational complexity of hybrid temporal logics. Logic J. IGPL 8(5), 653\u2013679 (2000)","journal-title":"Logic J. IGPL"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 1417\u20131423 (2015)","DOI":"10.1609\/aaai.v29i1.9406"},{"issue":"3","key":"17_CR4","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic J. IGPL 8(3), 339\u2013625 (2000)","journal-title":"Logic J. IGPL"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Kurucz, A., Mu\u00f1oz-Velasco, E., Ryzhikov, V., Sciavicco, G., Zakharyaschev, M.: Horn fragments of the halpern-shoham interval temporal logic. Technical report. arXiv preprint arXiv:1604.03515 (2016)","DOI":"10.1145\/3105909"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-319-11558-0_9","volume-title":"Logics in Artificial Intelligence","author":"D Bresolin","year":"2014","unstructured":"Bresolin, D., Mu\u00f1oz-Velasco, E., Sciavicco, G.: Sub-propositional fragments of the interval temporal logic of Allen\u2019s relations. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 122\u2013136. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-11558-0_9"},{"issue":"105","key":"17_CR7","first-page":"73","volume":"3","author":"D Monica Della","year":"2013","unstructured":"Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G., et al.: Interval temporal logics: a journey. Bull EATCS 3(105), 73\u201399 (2013)","journal-title":"Bull EATCS"},{"issue":"1\u20132","key":"17_CR8","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.14.9-54","volume":"14","author":"V Goranko","year":"2004","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. J. Appl. Non Class. Logics 14(1\u20132), 9\u201354 (2004)","journal-title":"J. Appl. Non Class. Logics"},{"key":"17_CR9","first-page":"255","volume-title":"Handbook of Modal Logic","author":"V Goranko","year":"2006","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logic, pp. 255\u2013325. Elsevier, Amsterdam (2006)"},{"issue":"4","key":"17_CR10","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"JY Halpern","year":"1991","unstructured":"Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM (JACM) 38(4), 935\u2013962 (1991)","journal-title":"J. ACM (JACM)"},{"key":"17_CR11","unstructured":"Kontchakov, R., Pandolfo, L., Pulina, L., Ryzhikov, V., Zakharyaschev, M.: Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). AAAI Press (2016)"},{"key":"17_CR12","volume-title":"Computational Complexity","author":"CH Papadimitriou","year":"2003","unstructured":"Papadimitriou, C.H.: Computational Complexity. Wiley, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T21:16:44Z","timestamp":1657919804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}