{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:29:42Z","timestamp":1743064182717,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_25","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"290-304","source":"Crossref","is-referenced-by-count":3,"title":["Trends in Temporal Reasoning: Constraints, Graphs and Posets"],"prefix":"10.1007","author":[{"given":"Jacqueline W.","family":"Daykin","sequence":"first","affiliation":[]},{"given":"Mirka","family":"Miller","sequence":"additional","affiliation":[]},{"given":"Joe","family":"Ryan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"issue":"11","key":"25_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"},{"key":"25_CR2","first-page":"1","volume-title":"Reasoning About Plans, Chapter 1","author":"JF Allen","year":"1991","unstructured":"Allen, J.F.: Temporal reasoning and planning. In: Allen, J.F., Kautz, H.A., Pelavin, R.N., Tenenberg, J.D. (eds.) Reasoning About Plans, Chapter 1, pp. 1\u201367. Morgan Kaufmann, San Mateo (1991)"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1037\/h0020070","volume":"80","author":"CH Coombs","year":"1973","unstructured":"Coombs, C.H., Smith, J.E.K.: On the detection of structures in attitudes and developmental processses. Psych. Rev. 80, 337\u2013351 (1973)","journal-title":"Psych. Rev."},{"issue":"1\u20133","key":"25_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1\u20133), 61\u201395 (1991)","journal-title":"Artif. Intell."},{"key":"25_CR5","unstructured":"Dorn, J.: Temporal reasoning in sequence graphs. In: AAAI 1992, pp. 735\u2013740 (1992)"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.340","volume":"7","author":"T Drakengren","year":"1997","unstructured":"Drakengren, T., Jonsson, P.: Eight maximal tractable subclasses of Allen\u2019s algebra with metric time. J. Artif. Intell. Res. 7, 25\u201345 (1997)","journal-title":"J. Artif. Intell. Res."},{"issue":"1\u20132","key":"25_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(97)00021-0","volume":"93","author":"T Drakengren","year":"1997","unstructured":"Drakengren, T., Jonsson, P.: Twenty-one large tractable subclasses of Allen\u2019s algebra. Artif. Intell. 93(1\u20132), 297\u2013319 (1997)","journal-title":"Artif. Intell."},{"issue":"2","key":"25_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0004-3702(98)00093-9","volume":"106","author":"T Drakengren","year":"1998","unstructured":"Drakengren, T., Jonsson, P.: A complete classification of tractability in Allen\u2019s algebra relative to subsets of basic relations. Artif. Intell. 106(2), 205\u2013219 (1998)","journal-title":"Artif. Intell."},{"issue":"2","key":"25_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF00565648","volume":"1","author":"PC Fishburn","year":"1984","unstructured":"Fishburn, P.C.: A correlational inequality for linear extensions of a poset. Order 1(2), 127\u2013137 (1984)","journal-title":"Order"},{"issue":"3","key":"25_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/152947.152953","volume":"4","author":"A Gerevini","year":"1993","unstructured":"Gerevini, A., Schubert, L.K., Schaeffer, S.: Temporal reasoning in Timegraph I-II. SIGART Bull. 4(3), 21\u201325 (1993)","journal-title":"SIGART Bull."},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1006\/aama.1994.1009","volume":"15","author":"MC Golumbic","year":"1994","unstructured":"Golumbic, M.C., Kaplan, H., Shamir, R.: On the complexity of DNA physical mapping. Adv. Appl. Math. 15, 251\u2013261 (1994)","journal-title":"Adv. Appl. Math."},{"key":"25_CR12","unstructured":"Golumbic, M.C., Shamir, R.: Algorithms and complexity for reasoning about time. In: AAAI 1992, pp. 741\u2013747 (1992)"},{"issue":"5","key":"25_CR13","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1145\/174147.169675","volume":"40","author":"MC Golumbic","year":"1993","unstructured":"Golumbic, M.C., 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":"25_CR14","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/263867.263489","volume":"44","author":"P Jeavons","year":"1997","unstructured":"Jeavons, P., Cohen, D.A., Gyssens, M.: Closure properties of constraints. J. ACM 44(4), 527\u2013548 (1997)","journal-title":"J. ACM"},{"key":"25_CR15","unstructured":"Jonsson, P., B\u00e4ckstr\u00f6m, C.: A linear-programming approach to temporal reasoning. In: AAAI 1996, pp. 1235\u20131240 (1996)"},{"issue":"4","key":"25_CR16","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1260\/2040-2295.1.4.615","volume":"1","author":"JM Juarez","year":"2010","unstructured":"Juarez, J.M., Campos, M., Morales, A., Palma, J., Marin, R.: Applications of temporal reasoning to intensive care units. J. Healthc. Eng. 1(4), 615\u2013636 (2010)","journal-title":"J. Healthc. Eng."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Karp, R.M.: Mapping the genome: some combinatorial problems arising in molecular biology. In: STOC 1993, pp. 278\u2013285 (1993)","DOI":"10.1145\/167088.167170"},{"key":"25_CR18","unstructured":"Kautz, H.A., Ladkin, P.B.: Integrating metric and qualitative temporal reasoning. In: AAAI 1991, pp. 241\u2013246 (1991)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Krieger, H.-U., Kiefer, B., Declerck, T.: A framework for temporal representation and reasoning in business intelligence applications. In: AAAI Spring Symposium: AI Meets Business Rules and Process Management, pp. 59\u201370 (2008)","DOI":"10.1109\/HIS.2008.136"},{"issue":"5","key":"25_CR20","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1145\/876638.876639","volume":"50","author":"A Krokhin","year":"2003","unstructured":"Krokhin, A., Jeavons, P., Jonsson, P.: Reasoning about temporal relations: the tractable subalgebras of Allen\u2019s interval algebra. J. ACM 50(5), 591\u2013640 (2003)","journal-title":"J. ACM"},{"key":"25_CR21","unstructured":"Ladkin, P.B., Maddux, R.D.: On binary constraint networks, Technical report KES. U.88.8, Kestrel Institute, Palo Alto, CA (1988)"},{"key":"25_CR22","unstructured":"Ligozat, G.: Figures for thought: temporal reasoning with pictures, AAAI Technical report WS-97-11, pp. 31\u201336 (1997)"},{"issue":"2\u20133","key":"25_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1009721626239","volume":"3","author":"G Ligozat","year":"1998","unstructured":"Ligozat, G.: \u201cCorner\" relations in Allen\u2019s algebra. Constraints 3(2\u20133), 165\u2013177 (1998)","journal-title":"Constraints"},{"issue":"1","key":"25_CR24","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8(1), 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"key":"25_CR25","series-title":"Wiley Series in Bioinformatics","volume-title":"Bioinformatics Algorithms: Techniques and Applications","year":"2008","unstructured":"Mandoiu, I., Zelikovsky, A. (eds.): Bioinformatics Algorithms: Techniques and Applications. Wiley Series in Bioinformatics. Wiley Interscience, Hoboken (2008)"},{"key":"25_CR26","unstructured":"Meiri, I.: Combining qualitative and quantitative constraints in temporal reasoning. In: AAAI 1991, pp. 260\u2013267 (1991)"},{"issue":"1","key":"25_CR27","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B Nebel","year":"1995","unstructured":"Nebel, B., B\u00fcrckert, H.-J.: Reasoning about temporal relations: a maximal tractable subclass of Allen\u2019s interval algebra. J. ACM 42(1), 43\u201366 (1995)","journal-title":"J. ACM"},{"key":"25_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","volume-title":"Temporally Distributed Symptoms in Technical Diagnosis","year":"1991","unstructured":"N\u00f6kel, K. (ed.): Temporally Distributed Symptoms in Technical Diagnosis. LNCS (LNAI), vol. 517. Springer, Heidelberg (1991)"},{"issue":"2","key":"25_CR29","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0304-3975(96)00208-3","volume":"175","author":"I Pe\u2019er","year":"1997","unstructured":"Pe\u2019er, I., Shamir, R.: Satisfiability problems on intervals and unit intervals. Theoret. Comput. Sci. 175(2), 349\u2013372 (1997)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"25_CR30","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1137\/S0097539791202647","volume":"23","author":"G Pruesse","year":"1994","unstructured":"Pruesse, G., Ruskey, F.: Generating linear extensions fast. SIAM J. Comput. 23(2), 373\u2013386 (1994)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"25_CR31","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1214\/aop\/1176993791","volume":"10","author":"LA Shepp","year":"1982","unstructured":"Shepp, L.A.: The XYZ conjecture and the FKG inequality. Ann. Probab. 10(3), 824\u2013827 (1982)","journal-title":"Ann. Probab."},{"key":"25_CR32","unstructured":"Song, F., Cohen, R.: The interpretation of temporal relations in narrative. In: AAAI 1988, pp. 745\u2013750 (1988)"},{"issue":"2","key":"25_CR33","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF00268499","volume":"6","author":"RE Tarjan","year":"1976","unstructured":"Tarjan, R.E.: Edge-disjoint spanning trees and depth-first search. Acta Inform. 6(2), 171\u2013185 (1976)","journal-title":"Acta Inform."},{"key":"25_CR34","unstructured":"van Beek, P.: Approximation algorithms for temporal reasoning. In: IJCAI 1989, pp. 1291\u20131296 (1989)"},{"key":"25_CR35","unstructured":"van Beek, P.: Reasoning about qualitative temporal information. In: AAAI 1990, pp. 728\u2013734 (1990)"},{"issue":"1\u20133","key":"25_CR36","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P Beek van","year":"1992","unstructured":"van Beek, P.: Reasoning about qualitative temporal information. Artif. Intell. 58(1\u20133), 297\u2013326 (1992)","journal-title":"Artif. Intell."},{"issue":"3","key":"25_CR37","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1111\/j.1467-8640.1990.tb00130.x","volume":"6","author":"P Beek van","year":"1990","unstructured":"van Beek, P., Cohen, R.: Exact and approximate reasoning about temporal relations. Comput. Intell. 6(3), 132\u2013144 (1990)","journal-title":"Comput. Intell."},{"key":"25_CR38","unstructured":"Vilain, M.B.: A system for reasoning about time. In: AAAI 1982, pp. 197\u2013201 (1982)"},{"key":"25_CR39","unstructured":"Vilain, M., Kautz, H.: Constraint propagation algorithms for temporal reasoning. In: AAAI 1986, pp. 377\u2013382 (1986)"},{"key":"25_CR40","first-page":"373","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"M Vilain","year":"1989","unstructured":"Vilain, M., Kautz, H., van Beek, P.: Constraint propagation algorithms for temporal reasoning: a revised report. In: Weld, D.S., de Kleer, J. (eds.) Readings in Qualitative Reasoning about Physical Systems, pp. 373\u2013381. Morgan Kaufmann, California (1989)"},{"key":"25_CR41","volume-title":"Computation Structures","author":"SA Ward","year":"1990","unstructured":"Ward, S.A., Halstead, R.H.: Computation Structures. MIT Press, Cambridge, Mass (1990)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T20:32:30Z","timestamp":1559421150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}