{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T01:10:07Z","timestamp":1740964207934,"version":"3.38.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,2,26]],"date-time":"2011-02-26T00:00:00Z","timestamp":1298678400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1007\/s10270-011-0195-y","type":"journal-article","created":{"date-parts":[[2011,2,25]],"date-time":"2011-02-25T10:46:05Z","timestamp":1298630765000},"page":"245-264","source":"Crossref","is-referenced-by-count":12,"title":["Metric propositional neighborhood logics on natural numbers"],"prefix":"10.1007","volume":"12","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Della 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":[[2011,2,26]]},"reference":[{"issue":"11","key":"195_CR1","doi-asserted-by":"crossref","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 26(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"195_CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R. Alur","year":"1994","unstructured":"Alur R., Henzinger T.A.: A really temporal logic. J. ACM 41, 181\u2013204 (1994)","journal-title":"J. ACM"},{"key":"195_CR3","unstructured":"Augusto, J.C., Nugent, C.D.: The use of temporal reasoning and management of complex events in smart home. In: Proceedings of the 16th European Conference on Artificial Intelligence, pp. 778\u2013782 (2004)"},{"key":"195_CR4","volume-title":"Modal Logic","author":"P. Blackburn","year":"2002","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2002)"},{"issue":"6","key":"195_CR5","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.entcs.2006.11.029","volume":"174","author":"T. Bolander","year":"2007","unstructured":"Bolander T., Hansen J., Hansen M.R.: Decidability of a hybrid duration calculus. Electronic Notes in Theoretical Computer Science 174(6), 113\u2013133 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"195_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","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)"},{"key":"195_CR7","doi-asserted-by":"crossref","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: Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, vol. 5330, LNCS, pp. 590\u2013604. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89439-1_41"},{"key":"195_CR8","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Metric propositional neighborhood logics: expressiveness, decidability, and undecidability. In: Proceedings of the 19th European Conference on Artificial Intelligence, pp. 695\u2013700 (2010)","DOI":"10.3233\/978-1-60750-606-5-695"},{"key":"195_CR9","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Montanari, A., Sala, P., Sciavicco, G.: A decidable spatial generalization of Metric Interval Temporal Logic. In: Proceedings of the 17th International Symposium on Temporal Representation and Reasoning, pp. 95\u2013102. Paris, September 2010","DOI":"10.1109\/TIME.2010.22"},{"issue":"3","key":"195_CR10","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":"195_CR11","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths. In: Proceedings of the 7th IEEE Conference on Software Engeneering and Formal Methods, pp. 240\u2013249 (2009)","DOI":"10.1109\/SEFM.2009.36"},{"key":"195_CR12","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari, A., Sala, P.: An optimal tableau-based decision algorithm for propositional neighborhood logic. In: Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, vol. 4393, LNCS, pp. 549\u2013560. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-70918-3_47"},{"key":"195_CR13","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari A., Sala P., Sciavicco G.: A tableau-based system for spatial reasoning about directional relations. In: Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, vol. 5607, LNCS, pp. 123\u2013137. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02716-1_10"},{"issue":"1-3","key":"195_CR14","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-3), 173\u2013199 (2007)","journal-title":"J. Autom. Reason."},{"key":"195_CR15","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, Berlin (2004)","DOI":"10.1007\/978-3-662-06784-0"},{"key":"195_CR16","doi-asserted-by":"crossref","unstructured":"Chaochen, Z., Hansen, M.R., Sestoft, P.: Decidability and undecidability results for duration calculus. In: Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, vol. 665, LNCS, pp. 58\u201368. Springer, Berlin (1993)","DOI":"10.1007\/3-540-56503-5_8"},{"issue":"5","key":"195_CR17","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Chaochen Z., Hoare C.A.R., Ravn A.P.: A calculus of durations. Inf. Proc. Lett. 40(5), 269\u2013276 (1991)","journal-title":"Inf. Proc. Lett."},{"key":"195_CR18","doi-asserted-by":"crossref","first-page":"877","DOI":"10.1093\/logcom\/10.6.877","volume":"10","author":"N. Chetcuti-Serandio","year":"2000","unstructured":"Chetcuti-Serandio N., Fari\u00f1as Del Cerro L.: A mixed decision method for duration calculus. J. Logic Comput. 10, 877\u2013895 (2000)","journal-title":"J. Logic Comput."},{"key":"195_CR19","doi-asserted-by":"crossref","unstructured":"Combi, C., Rossato, R.: Temporal constraints with multiple granularities in smart homes. In: Designing Smart Homes, vol 4008, LNCS, pp. 35\u201356 (2006)","DOI":"10.1007\/11788485_3"},{"key":"195_CR20","doi-asserted-by":"crossref","unstructured":"Ghorbel, M., Segarra, M.T., Kerdreux, J., Thepaut, A., Mokhtari, M.: Networking and communication in smart home for people with disabilities. In: Proceedings of the 9th International Conference on Computers Helping People with Special Needs, vol. 3118, LNCS, pp. 937\u2013944 (2004)","DOI":"10.1007\/978-3-540-27817-7_138"},{"issue":"9","key":"195_CR21","first-page":"1137","volume":"9","author":"V. Goranko","year":"2003","unstructured":"Goranko V., Montanari A., Sciavicco G.: Propositional interval neighborhood temporal logics. J. Univ. Comput. Sci. 9(9), 1137\u20131167 (2003)","journal-title":"J. Univ. Comput. Sci."},{"key":"195_CR22","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S1570-2464(07)80008-5","volume-title":"Handbook of Modal Logic","author":"V. Goranko","year":"2007","unstructured":"Goranko V., Otto M. et\u00a0al.: Model theory of modal logic. In: Blackburn, P. (ed.) Handbook of Modal Logic, pp. 249\u2013329. Elsevier, Amsterdam (2007)"},{"issue":"1","key":"195_CR23","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del E., Kolaitis P.G., Vardi M.Y.: On the decision problem for two-variable first-order logic. Bull. Symb. Logic 3(1), 53\u201369 (1997)","journal-title":"Bull. Symb. Logic"},{"issue":"4","key":"195_CR24","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":"195_CR25","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"Hansen M.R., Chaochen Z.: Duration calculus: logical foundations. Formal Aspects Comput. 9, 283\u2013330 (1997)","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"195_CR26","first-page":"1","volume":"62","author":"Y. Hirshfeld","year":"2004","unstructured":"Hirshfeld Y., Rabinovich A.M.: Logics for real time: decidability and complexity. Fund. Inf. 62(1), 1\u201328 (2004)","journal-title":"Fund. Inf."},{"key":"195_CR27","unstructured":"Kautz, H.A., Ladkin, P.B.: Integrating metric and qualitative temporal reasoning. In: Proceedings of the 9th National Conference on Artificial Intelligence, pp. 241\u2013246 (1991)"},{"issue":"4","key":"195_CR28","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans R.: Specifying real-time properties with metric temporal logic. Real Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real Time Syst."},{"issue":"2","key":"195_CR29","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(96)00324-6","volume":"183","author":"A. Montanari","year":"1997","unstructured":"Montanari A., de Rijke M.: Two-sorted metric temporal logic. Theoret. Comput. Sci. 183(2), 187\u2013214 (1997)","journal-title":"Theoret. Comput. Sci."},{"key":"195_CR30","unstructured":"Montanari, A., Policriti, A.: Executing metric temporal logic. In: Proceedings of the IJCAI\u201997 Workshop on Programming in Temporal and Non Classical Logics, Nagoya (1997)"},{"key":"195_CR31","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer M.: On languages with two variables. Zeitschr. f. Math. Logik u. Grundlagen d. Math. 21, 135\u2013140 (1975)","journal-title":"Zeitschr. f. Math. Logik u. Grundlagen d. Math."},{"key":"195_CR32","unstructured":"Moszkowski, B.: Reasoning About Digital Circuits. Technical Report stan-cs-83-970. Dept. of Computer Science, Stanford University, Stanford (1983)"},{"issue":"2","key":"195_CR33","doi-asserted-by":"crossref","first-page":"685","DOI":"10.2307\/2695037","volume":"66","author":"M. Otto","year":"2001","unstructured":"Otto M.: Two variable first-order logic over ordered domains. J. Symb. Logic. 66(2), 685\u2013702 (2001)","journal-title":"J. Symb. Logic."},{"key":"195_CR34","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., Worrell, J.: Some recent results in metric temporal logic. In: Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, pp. 1\u201313 (2008)","DOI":"10.1007\/978-3-540-85778-5_1"},{"key":"195_CR35","unstructured":"Sciavicco, G.: Temporal reasoning in Propositional Neighborhood Logic. In: Proceedings of the 2nd International Conference on Language and Technology, pp. 390\u2013395 (2005)"},{"key":"195_CR36","doi-asserted-by":"crossref","unstructured":"Sciavicco, G., Juarez, J., Campos, M.: Quality checking of medical guidelines using interval temporal logics: a case-study. In: Proceedings of the 3rd International Work-conference on the Interplay between Natural and Artificial Computation, vol. 5602, LNCS, pp. 158\u2013167 (2009)","DOI":"10.1007\/978-3-642-02267-8_18"},{"key":"195_CR37","first-page":"377","volume":"27","author":"D. Scott","year":"1962","unstructured":"Scott D.: A decision method for validity of sentences in two variables. J. Symb. Logic 27, 377 (1962)","journal-title":"J. Symb. Logic"},{"key":"195_CR38","doi-asserted-by":"crossref","unstructured":"Veloudis, S., Nissanke, N.: Duration calculus in the specification of safety requirements. In: Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, No. 1486, LNCS, pp. 103\u2013112 (1998)","DOI":"10.1007\/BFb0055340"},{"issue":"4","key":"195_CR39","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Y. Venema","year":"1991","unstructured":"Venema Y.: A modal logic for chopping intervals. J. Logic Comput. 1(4), 453\u2013476 (1991)","journal-title":"J. Logic Comput."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0195-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0195-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0195-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T00:41:41Z","timestamp":1740962501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0195-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,26]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["195"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0195-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2011,2,26]]}}}