{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:58Z","timestamp":1760202658826},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T00:00:00Z","timestamp":1378512000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10472-013-9376-4","type":"journal-article","created":{"date-parts":[[2013,9,6]],"date-time":"2013-09-06T07:14:13Z","timestamp":1378451653000},"page":"41-83","source":"Crossref","is-referenced-by-count":25,"title":["The dark side of interval temporal logic: marking the undecidability border"],"prefix":"10.1007","volume":"71","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario Della","family":"Monica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,7]]},"reference":[{"issue":"11","key":"9376_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"},{"key":"9376_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Springer (1997)","DOI":"10.1007\/978-3-642-59207-2"},{"key":"9376_CR3","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della\u00a0Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Decidable and undecidable fragments of Halpern and Shoham\u2019s interval temporal logic: towards a complete classification. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) Proc. of the 15th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). LNCS, vol.\u00a05330, pp.\u00a0590\u2013604. Springer (2008)","DOI":"10.1007\/978-3-540-89439-1_41"},{"key":"9376_CR4","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della\u00a0Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Undecidability of interval temporal logics with the overlap modality. In: Lutz, C., Raskin, J., (eds.) Proc. of 16th Int. Symposium on Temporal Representation and Reasoning (TIME), pp.\u00a088\u201395. IEEE Computer Society Press (2009)","DOI":"10.1109\/TIME.2009.24"},{"key":"9376_CR5","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della\u00a0Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Undecidability of the logic of overlap relation over discrete linear orderings. Electron. Notes Theor. Comput. Sci. (ENTCS) 262, 65\u201381 (2010). Proc. of the 6th Workshop on Methods for Modalities (M4M-6 2009)","DOI":"10.1016\/j.entcs.2010.04.006"},{"key":"9376_CR6","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della\u00a0Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: The dark side of Interval Temporal Logic: sharpening the undecidability border. In: Proc. of the 18th Int. Symposium on Temporal Representation and Reasoning (TIME), pp. 131\u2013138. IEEE Computer Society Press (2011)","DOI":"10.1109\/TIME.2011.21"},{"key":"9376_CR7","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/logcom\/exn063","volume":"20","author":"D Bresolin","year":"2010","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sala, P.: Tableaux for logics of subinterval structures over dense orderings. Int. J. Log. Comput. 20, 133\u2013166 (2010)","journal-title":"Int. J. Log. Comput."},{"issue":"3","key":"9376_CR8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.apal.2009.07.003","volume":"161","author":"D Bresolin","year":"2009","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Logic 161(3), 289\u2013304 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9376_CR9","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari, A., Sala, P., Sciavicco, G.: Optimal tableaux for right propositional neighborhood logic over linear orders. In: Proc. of the 11th European Conference on Logics in Artificial Intelligence (JELIA). LNAI, vol.\u00a05293, pp.\u00a062\u201375. Springer (2008)","DOI":"10.1007\/978-3-540-87803-2_7"},{"issue":"1\u20133","key":"9376_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10817-006-9051-0","volume":"38","author":"D Bresolin","year":"2007","unstructured":"Bresolin, D., Montanari, A., Sciavicco, G.: An optimal decision procedure for right propositional neighborhood logic. J. Autom. Reason. 38(1\u20133), 173\u2013199 (2007)","journal-title":"J. Autom. Reason."},{"key":"9376_CR11","unstructured":"Della\u00a0Monica, D.: Expressiveness, decidability, and undecidability of interval temporal logic. Ph.D. thesis, University of Udine (2011). http:\/\/www.dia.unisa.it\/dottorandi\/dario.dellamonica\/phdthesis.pdf . Last accessed on 8 August 2013"},{"issue":"1\u20132","key":"9376_CR12","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 Classical Logics 14(1\u20132), 9\u201354 (2004)","journal-title":"J. Appl. Non Classical Logics"},{"issue":"4","key":"9376_CR13","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J Halpern","year":"1991","unstructured":"Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38(4), 935\u2013962 (1991)","journal-title":"J. ACM"},{"key":"9376_CR14","first-page":"51","volume":"24","author":"D Harel","year":"1985","unstructured":"Harel, D.: Recurring dominoes: making the highly undecidable highly understandable. Ann. Discrete Math. 24, 51\u201372 (1985)","journal-title":"Ann. Discrete Math."},{"key":"9376_CR15","unstructured":"Interval temporal logics website. http:\/\/itl.dimi.uniud.it\/content\/logic-hs . Mantained by Dario Della Monica. Last accessed on 8 August 2013"},{"key":"9376_CR16","doi-asserted-by":"crossref","unstructured":"Lautemann, C., Schwentick, T., Th\u00e9rien, D.: Logics for context-free languages. In: Pacholski, L., Tiuryn, J. (eds.) Proc. of the 8th International Workshop on Computer Science Logic (CSL-94). Lecture Notes in Computer Science, vol. 933, pp.\u00a0205\u2013216. Springer Berlin Heidelberg (1995)","DOI":"10.1007\/BFb0022257"},{"key":"9376_CR17","doi-asserted-by":"crossref","unstructured":"Lodaya, K.: Sharpening the undecidability of interval temporal logic. In: Proc. of the 6th Asian Computing Science Conference (ASIAN). LNCS, vol. 1961, pp. 290\u2013298. Springer (2000)","DOI":"10.1007\/3-540-44464-5_21"},{"issue":"1","key":"9376_CR18","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1006\/inco.1995.1078","volume":"119","author":"K Lodaya","year":"1995","unstructured":"Lodaya, K., Parikh, R., Ramanujam, R., Thiagarajan, P.S.: A logical study of distributed transition systems. Inf. Comput. 119(1), 91\u2013118 (1995)","journal-title":"Inf. Comput."},{"key":"9376_CR19","doi-asserted-by":"crossref","unstructured":"Marcinkowski, J., Michaliszyn, J.: The ultimate undecidability result for the Halpern\u2013Shoham logic. In: Proc. of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 377\u2013386. IEEE Computer Society (2011)","DOI":"10.1109\/LICS.2011.21"},{"key":"9376_CR20","doi-asserted-by":"crossref","unstructured":"Marcinkowski, J., Michaliszyn, J., Kieronski, E.: B and D are enough to make the Halpern\u2013Shoham logic undecidable. In: Proc. of the 37th International Colloquium on Automata, Languages, and Programming\u2014Part II (ICALP-2). LNCS, vol.\u00a06199, pp.\u00a0357\u2013368 (2010)","DOI":"10.1007\/978-3-642-14162-1_30"},{"key":"9376_CR21","doi-asserted-by":"crossref","unstructured":"Montanari, A., Puppis, G., Sala, P.: Maximal decidable fragments of Halpern and Shoham\u2019s modal logic of intervals. In: Proc. of the 37th International Colloquium on Automata, Languages, and Programming\u2014Part II (ICALP-2). LNCS, vol.\u00a06199, pp.\u00a0345\u2013356 (2010)","DOI":"10.1007\/978-3-642-14162-1_29"},{"key":"9376_CR22","unstructured":"Moszkowski, B.: Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University, Stanford, CA (1983)"},{"issue":"1","key":"9376_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/j.1538-7305.1961.tb03975.x","volume":"40","author":"H Wang","year":"1961","unstructured":"Wang, H.: Proving theorems by pattern recognition II. Bell Systems Technical Journal 40(1), 1\u201341 (1961)","journal-title":"Bell Systems Technical Journal"},{"issue":"5","key":"9376_CR24","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9376-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9376-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9376-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,23]],"date-time":"2019-07-23T13:18:10Z","timestamp":1563887890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9376-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,7]]},"references-count":24,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["9376"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9376-4","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,7]]}}}