{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:10:42Z","timestamp":1748751042893,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319245973"},{"type":"electronic","value":"9783319245980"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24598-0_10","type":"book-chapter","created":{"date-parts":[[2015,11,13]],"date-time":"2015-11-13T15:08:49Z","timestamp":1447427329000},"page":"105-115","source":"Crossref","is-referenced-by-count":1,"title":["On Coarser Interval Temporal Logics and their Satisfiability Problem"],"prefix":"10.1007","author":[{"given":"Emilio","family":"Mu\u00f1oz-Velasco","sequence":"first","affiliation":[]},{"given":"Mercedes","family":"Pelegr\u00edn-Garc\u00eda","sequence":"additional","affiliation":[]},{"given":"Pietro","family":"Sala","sequence":"additional","affiliation":[]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,14]]},"reference":[{"issue":"11","key":"10_CR1","doi-asserted-by":"publisher","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"},{"doi-asserted-by":"crossref","unstructured":"Artale, A., Bresolin, D., Montanari, A., Ryzhikov, V., Sciavicco, G.: DL-lite and interval temporal logics: a marriage proposal. In: Proceedings of the 21st European Conference of Artificial Intelligence (ECAI), pp. 957\u2013958 (2014)","key":"10_CR2","DOI":"10.3233\/978-1-61499-419-0-957"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","volume":"9","author":"A Artale","year":"1998","unstructured":"Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. J. Artif. Intell. Reasoning 9, 463\u2013506 (1998)","journal-title":"J. Artif. Intell. Reasoning"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0169-023X(96)00036-5","volume":"22","author":"C Bettini","year":"1997","unstructured":"Bettini, C.: Time-dependent concepts: representation and reasoning using temporal description logics. Data Knowedge Engeneering 22(1), 1\u201338 (1997)","journal-title":"Data Knowedge Engeneering"},{"key":"10_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem. Perspectives of Mathematical Logic","author":"E B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Perspectives of Mathematical Logic. Springer, Berlin (1997)"},{"issue":"1\u20133","key":"10_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10472-013-9376-4","volume":"71","author":"D Bresolin","year":"2014","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1\u20133), 41\u201383 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Montanari, A., Sala, P., Sciavicco, G.: Interval temporal logics over finite linear orders: the complete picture. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), pp. 199\u2013204 (2012)","key":"10_CR7","DOI":"10.4204\/EPTCS.96.12"},{"doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Montanari, A., Sala, P., Sciavicco, G.: Interval temporal logics over strongly discrete linear orders: the complete picture. In: Proceedings of the 4th International Symposium on Games, Automata, Logics, and Formal Verification (GANDALF). EPTCS, vol. 96, pp. 155\u2013169 (2012)","key":"10_CR8","DOI":"10.4204\/EPTCS.96.12"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/978-3-319-15579-1_40","volume-title":"Language and Automata Theory and Applications","author":"D Bresolin","year":"2015","unstructured":"Bresolin, D., Della Monica, D., Montanari, A., Sala, P., Sciavicco, G.: On the complexity of fragments of the modal logic of Allen\u2019s relations over dense structures. In: Dediu, A.-H., Formenti, E., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2015. LNCS, vol. 8977, pp. 511\u2013523. Springer, Heidelberg (2015)"},{"issue":"1\u20133","key":"10_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s10472-013-9337-y","volume":"71","author":"D Bresolin","year":"2014","unstructured":"Bresolin, D., Della Monica, D., Montanari, A., Sciavicco, G.: The light side of interval temporal logic: the Bernays-Sch\u00f6nfinkel fragment of CDT. Ann. Math. Artif. Intell. 71(1\u20133), 11\u201339 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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, vol. 8761, pp. 122\u2013136. Springer, Heidelberg (2014)"},{"doi-asserted-by":"crossref","unstructured":"Chaochen, Z., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science, Springer (2004)","key":"10_CR12","DOI":"10.1007\/978-3-662-06784-0"},{"unstructured":"Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Expressiveness of the interval logics of Allen\u2019s relations on the class of all linear orders: complete classification. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pp. 845\u2013850. AAAI Press (2011)","key":"10_CR13"},{"issue":"5","key":"10_CR14","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1145\/174147.169675","volume":"40","author":"M Golumbic","year":"1993","unstructured":"Golumbic, M., Shamir, R.: Complexity and algorithms for reasoning about time: a graph-theoretic approach. J. ACM 40(5), 1108\u20131133 (1993)","journal-title":"J. ACM"},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","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"},{"doi-asserted-by":"crossref","unstructured":"Klarman, S.: Practical querying of temporal data via OWL 2 QL and SQL:2011. In: Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). EPiC Series, vol. 26, pp. 52\u201361. Center for Artificial Inteligence Research (2014)","key":"10_CR16","DOI":"10.29007\/rlv9"},{"issue":"2","key":"10_CR17","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/FI-2014-1011","volume":"131","author":"J Marcinkowski","year":"2014","unstructured":"Marcinkowski, J., Michaliszyn, J.: The undecidability of the logic of subintervals. Fundam. Inf. 131(2), 217\u2013240 (2014)","journal-title":"Fundam. Inf."},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-14162-1_29","volume-title":"Automata, Languages and Programming","author":"A Montanari","year":"2010","unstructured":"Montanari, A., Puppis, G., Sala, P.: Maximal decidable fragments of halpern and Shoham\u2019s modal logic of intervals. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 345\u2013356. Springer, Heidelberg (2010)"},{"unstructured":"Montanari, A., Puppis, G., Sala, P., Sciavicco, G.: Decidability of the interval temporal logic $$AB\\bar{B}$$ on natural numbers. In: Proceedings of the 27th Symposium on Theoretical Aspects of Computer Science (STACS), pp. 597\u2013608. Inria Nancy Grand Est & Loria (2010)","key":"10_CR19"},{"unstructured":"Moszkowski, B.: Reasoning about digital circuits. Ph.D. thesis, Department of Computer Science, Stanford University, Stanford, CA (1983)","key":"10_CR20"},{"issue":"1\u20132","key":"10_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2005.04.003","volume":"166","author":"I Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann, I.: Temporal prepositions and their logic. Artif. Intell. 166(1\u20132), 1\u201336 (2005)","journal-title":"Artif. Intell."},{"unstructured":"Schmiedel, A.: Temporal terminological logic. In: Proceedings of the 8th National Conference on Artificial Intelligence (AAAI), pp. 640\u2013645. AAAI Press (1990)","key":"10_CR22"},{"doi-asserted-by":"crossref","unstructured":"Stockmeyer, L., Meyer, A.: Word problems requiring exponential time (Preliminary Report). In: Proceedings of the 5th Annual ACM Symposium on Theory of Computing (STOC), pp. 1\u20139. ACM (1973)","key":"10_CR23","DOI":"10.1145\/800125.804029"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24598-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T11:45:23Z","timestamp":1748691923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24598-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319245973","9783319245980"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24598-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}