{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:14:52Z","timestamp":1759637692418,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_19","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"267-281","source":"Crossref","is-referenced-by-count":3,"title":["On the Expressiveness of the Interval Logic of Allen\u2019s Relations Over Finite and Discrete Linear Orders"],"prefix":"10.1007","author":[{"given":"Luca","family":"Aceto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Della Monica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Ing\u00f3lfsd\u00f3ttir","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","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-45221-5_1","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L. Aceto","year":"2013","unstructured":"Aceto, L., Della Monica, D., Ing\u00f3lfsd\u00f3ttir, A., Montanari, A., Sciavicco, G.: An algorithm for enumerating maximal models of horn theories with an application to modal logics. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol.\u00a08312, pp. 1\u201317. Springer, Heidelberg (2013)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Aceto, L., Della Monica, D., Ing\u00f3lfsd\u00f3ttir, A., Montanari, A., Sciavicco, G.: A complete classification of the expressiveness of interval logics of Allen\u2019s relations over dense linear orders. In: Proc. of the 20th TIME, pp. 65\u201372. IEEE Computer Society (2013)","DOI":"10.1109\/TIME.2013.16"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Aceto, L., Della Monica, D., Ing\u00f3lfsd\u00f3ttir, A., Montanari, A., Sciavicco, G.: On the expressiveness of the interval logic of Allen\u2019s relations over finite and discrete linear orders (extended version) (2014), \n                      http:\/\/www.di.unisa.it\/dottorandi\/dario.dellamonica\/temp\/expr_disc_ext.pdf","DOI":"10.1007\/978-3-319-11558-0_19"},{"issue":"11","key":"19_CR4","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence\u00a023(2), 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"key":"19_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1007\/978-3-540-89439-1_41","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D. Bresolin","year":"2008","unstructured":"Bresolin, D., Della Monica, 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.) LPAR 2008. LNCS (LNAI), vol.\u00a05330, pp. 590\u2013604. Springer, Heidelberg (2008)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: The dark side of interval temporal logic: Sharpening the undecidability border. In: Proc. of the 18th TIME, pp. 131\u2013138 (2011)","DOI":"10.1109\/TIME.2011.21"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10270-011-0195-y","volume":"12","author":"D. Bresolin","year":"2013","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Metric propositional neighborhood interval logics on natural numbers. Software and Systems Modeling\u00a012(2), 245\u2013264 (2013)","journal-title":"Software and Systems Modeling"},{"key":"19_CR9","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: Proc. of the 20th ECAI, pp. 199\u2013204 (2012)","DOI":"10.4204\/EPTCS.96.12"},{"key":"19_CR10","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: Proc. of the 3rd GandALF, pp. 155\u2013168 (2012)","DOI":"10.4204\/EPTCS.96.12"},{"issue":"1","key":"19_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/logcom\/exn063","volume":"20","author":"D. Bresolin","year":"2010","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sala, P.: Tableau-based decision procedures for the logics of subinterval structures over dense orderings. Journal of Logic and Computation\u00a020(1), 133\u2013166 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari, A., Sala, P., Sciavicco, G.: What\u2019s decidable about Halpern and Shoham\u2019s interval logic? The maximal fragment $\\mathsf{A B \\overline{B}\\overline{L}}$. In: Proc. of the 26th LICS, pp. 387\u2013396 (2011)","DOI":"10.1109\/LICS.2011.35"},{"issue":"3","key":"19_CR13","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1142\/S012905411240028X","volume":"23","author":"D. Bresolin","year":"2012","unstructured":"Bresolin, D., Sala, P., Sciavicco, G.: On Begins, Meets, and Before. International Journal on Foundations of Computer Science\u00a023(3), 559\u2013583 (2012)","journal-title":"International Journal on Foundations of Computer Science"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Montanari, A., Sala, P., Sciavicco, G.: Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theoretical Computer Science (2014) (online first since April 2014)","DOI":"10.1016\/j.tcs.2014.03.033"},{"key":"19_CR15","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: Proc. of the 22nd IJCAI, pp. 845\u2013850 (July 2011)"},{"key":"19_CR16","first-page":"73","volume":"105","author":"D. Della Monica","year":"2011","unstructured":"Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Interval temporal logics: a journey. Bulletin of the European Association for Theoretical Computer Science\u00a0105, 73\u201399 (2011)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (eds.) Handbook of Modal Logic, pp. 249\u2013329. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80008-5"},{"issue":"4","key":"19_CR18","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. Journal of the ACM\u00a038(4), 935\u2013962 (1991)","journal-title":"Journal of the ACM"},{"issue":"1","key":"19_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"Journal of the ACM"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Marcinkowski, J., Michaliszyn, J.: The ultimate undecidability result for the Halpern-Shoham logic. In: Proc. of the 26th LICS, pp. 377\u2013386. IEEE Computer Society (2011)","DOI":"10.1109\/LICS.2011.21"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"19_CR22","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.\u00a06199, pp. 345\u2013356. Springer, Heidelberg (2010)"},{"key":"19_CR23","unstructured":"Montanari, A., Puppis, G., Sala, P., Sciavicco, G.: Decidability of the interval temporal logic $\\mathsf{A B \\overline{B}}$ over the natural numbers. In: Proc. of the 27th STACS, pp. 597\u2013608 (2010)"},{"key":"19_CR24","unstructured":"Moszkowski, B.: Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University (1983)"},{"issue":"1-2","key":"19_CR25","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. Artificial Intelligence\u00a0166(1-2), 1\u201336 (2005)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"19_CR26","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Venema, Y.: Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic\u00a031(4), 529\u2013547 (1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"19_CR27","unstructured":"Zhou, C., Hansen, M.R.: Duration Calculus: A formal approach to real-time systems. EATCS Monographs in Theoretical Computer Science. Springer (2004)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T08:18:44Z","timestamp":1674548324000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}