{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:10Z","timestamp":1747548610097,"version":"3.40.5"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"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":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1998,2]]},"DOI":"10.1023\/a:1018946309329","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"139-158","source":"Crossref","is-referenced-by-count":2,"title":["Extending constraint logic programming for temporal reasoning"],"prefix":"10.1007","volume":"22","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[]},{"given":"Michela","family":"Milano","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"325460_CR1","doi-asserted-by":"publisher","first-page":"1304","DOI":"10.1109\/PROC.1986.13633","volume":"74","author":"L. Aiello","year":"1986","unstructured":"L. Aiello, C. Cecchi and D. Sartini, Representation and use of metaknowledge, Proc. IEEE 74(10) (1986) 1304\u2013;1321.","journal-title":"Proc. IEEE"},{"key":"325460_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26 (1983) 832\u2013;843.","journal-title":"Communications of the ACM"},{"key":"325460_CR3","unstructured":"J.F. Allen and P.J. Hayes, A common-sense theory of action and time, in: Proc. IJCAI \u201985(1985) pp. 528\u2013;531."},{"key":"325460_CR4","unstructured":"F. Benhamon, D. McAllester and P. Van Hentenryck, CLP(Intervals) revisited, Technical Report CS-94-18, Computer Science Department, Brown University (1994)."},{"key":"325460_CR5","first-page":"153","volume-title":"Logic Programming","author":"K.A. Bowen","year":"1982","unstructured":"K.A. Bowen and R.A. Kowalski, Amalgamating language and metalanguage in logic programming, in: Logic Programming, eds. K. Clark and S. Tarnlund (Academic Press, NY, 1982) pp. 153\u2013;173."},{"key":"325460_CR6","unstructured":"S. Buzzi, E. Lamma, P. Mello and M. Milano, Consistent orderings for constraint satisfaction scheduling, Technical Report DEIS-LIA-97-001, University of Bologna (1997)."},{"key":"325460_CR7","doi-asserted-by":"crossref","unstructured":"P. Codognet and G. Nardiello, Path consistency in CLP(FD), in: Proc. First Internat. Conf. Constraints in Computational Logics CCL \u201994(1994) pp. 201\u2013;216.","DOI":"10.1007\/BFb0016854"},{"key":"325460_CR8","unstructured":"A. Dalfiume, E. Lamma, P. Mello and M. Milano, A constraint logic programming application to a distributed train scheduling problem, in: Proc. Conf. Practical Application of Prolog(1995) pp. 163\u2013;182."},{"key":"325460_CR9","first-page":"1","volume":"32","author":"T.L. Dean","year":"1987","unstructured":"T.L. Dean and D.W. McDermott, Temporal data base management, Artificial Intelligence 32 (1987) 1\u2013;55.","journal-title":"Temporal data base management, Artificial Intelligence"},{"key":"325460_CR10","first-page":"61","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (1991) 61\u2013;95.","journal-title":"Temporal constraint networks, Artificial Intelligence"},{"key":"325460_CR11","unstructured":"M. Dincbas, P. Van Hentenryck and M. Simonis, Solving large combinatorial problems in logic programming, in: EURO-TIMS Joint Internat. Conf. Operational Research and Management Science (1988)."},{"key":"325460_CR12","unstructured":"M. Dincbas, P. Van Hentenryck and M. Simonis, Solving the car sequencing problems in constraint logic programming, in: ECAI \u201988 European Conf. Artificial Intelligence(1988)."},{"issue":"1\u20132","key":"325460_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"M. Dincbas, P. Van Hentenryck and M. Simonis, Solving large combinatorial problems in logic programming, Journal of Logic Programming 8(1\u2013;2) (1990) 75\u2013;93.","journal-title":"Journal of Logic Programming"},{"key":"325460_CR14","unstructured":"M. Dincbas, P. Van Hentenryck, M. Simonis, A. Aggoun, T. Graf and F. Berthier, The constraint logic programming language CHIP, in: Proc. Internat. Conf. Fifth Generation Computer System (FGCS \u201988)(1988) pp. 693\u2013;702."},{"key":"325460_CR15","unstructured":"ECL\n                    i\n                  PS\n                    e\n                   User Manual Release 3.3(ECRC, 1992)."},{"issue":"11","key":"325460_CR16","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E.C. Freuder","year":"1978","unstructured":"E.C. Freuder, Synthesizing constraint expressions, Communications of the ACM 21(11) (1978) 958\u2013;966.","journal-title":"Communications of the ACM"},{"key":"325460_CR17","unstructured":"T. Fr\u00fchwirth, Temporal reasoning with constraint handling rules, Technical Report ECRC-94-05, ECRC (1994)."},{"key":"325460_CR18","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez, Constraint logic programming, in: Proc. Conf. Principles of Programming Languages(1987).","DOI":"10.1145\/41625.41635"},{"key":"325460_CR19","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M.J. Maher, Constraint logic programming: a survey, Journal of Logic Programming 19\/20. Special Issue on 10 years of Logic Programming(1994) 503\u2013;582.","journal-title":"Special Issue on 10 years of Logic Programming"},{"key":"325460_CR20","unstructured":"H.A. Kautz and P.B. Ladkin, Integrating metric and qualitative temporal reasoning, in: Proc. AAAI \u201991(1991) pp. 241\u2013;246."},{"key":"325460_CR21","doi-asserted-by":"crossref","unstructured":"E. Lamma, P. Mello and M. Milano, Combining solvers in a meta constraint logic programming architecture, in: Proc. First Internat. Workshop on Frontiers of Combining Systems, eds. F. Baader and K.U. Schulz, Kluwer\u2019s Applied Logic Series (APLS) (1996) pp. 267\u2013;284.","DOI":"10.1007\/978-94-009-0349-4_14"},{"key":"325460_CR22","unstructured":"E. Lamma, P. Mello and M. Milano, A multi-level CLP architecture for consistency techniques, in: Proc. Internat. Workshop on Constraint-Based Reasoning, Constraint \u201996(1996) pp. 75\u2013;83."},{"key":"325460_CR23","doi-asserted-by":"crossref","unstructured":"E. Lamma, P. Mello and M. Milano, Reasoning on constraints in constraint logic programming, Technical Report DEIS-LIA-96-006, University of Bologna (1996).","DOI":"10.7551\/mitpress\/4299.003.0039"},{"key":"325460_CR24","unstructured":"J. Lever, B. Richards and R. Hirsh, Temporal reasoning and constraint solving, Deliverable CHIC, ESPRIT Project EP5291, IC-Park (1992)."},{"key":"325460_CR25","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, Foundation of Logic Programming, Second Extended Edition (Springer, 1987).","DOI":"10.1007\/978-3-642-83189-8"},{"key":"325460_CR26","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1977) 99\u2013;118.","journal-title":"Consistency in networks of relations, Artificial Intelligence"},{"key":"325460_CR27","unstructured":"I. Meiri, Combining qualitative and quantitative constraints in temporal reasoning, in: Proc. AAAI \u201991(1991) pp. 260\u2013;267."},{"key":"325460_CR28","first-page":"225","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T.C. Henderson, Arc and path consistency revisited, Artificial Intelligence 28 (1986) 225\u2013;233.","journal-title":"Arc and path consistency revisited, Artificial Intelligence"},{"key":"325460_CR29","unstructured":"V.A. Saraswat, Concurrent constraint logic programming, Ph.D. thesis, Carnegie-Mellon University (1989)."},{"key":"325460_CR30","unstructured":"S.F. Smith and C. Cheng, Slack-based heuristics for constraint satisfaction scheduling, in: Proc. AAAI \u201993(1993)."},{"key":"325460_CR31","unstructured":"E.P.K. Tsang, The consistent labeling problem in temporal reasoning, Proc. AAAI \u201987(1987) pp. 251\u2013;255."},{"key":"325460_CR32","first-page":"297","volume":"58","author":"P. VanBeek","year":"1992","unstructured":"P. VanBeek, Reasoning about qualitative temporal information, Artificial Intelligence 58 (1992) 297\u2013;326.","journal-title":"Reasoning about qualitative temporal information, Artificial Intelligence"},{"key":"325460_CR33","first-page":"132","volume":"6","author":"P. VanBeek","year":"1990","unstructured":"P. VanBeek and R. Cohen, Exact and approximate reasoning about temporal relations, Computational Intelligence 6 (1990) 132\u2013;144.","journal-title":"Exact and approximate reasoning about temporal relations, Computational Intelligence"},{"key":"325460_CR34","unstructured":"P. Van Hentenryck, Constraint Satisfaction in Logic Programming(MIT Press, 1989)."},{"key":"325460_CR35","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck and Y. Deville, The cardinality operator: a new logical connective for constraint logic programming, in: Constraint Logic Programming: Selected Research, eds. F. Benhamou and A. Colmerauer (MIT Press, 1993).","DOI":"10.7551\/mitpress\/2122.003.0005"},{"key":"325460_CR36","first-page":"291","volume":"57","author":"P. Van Hentenryck","year":"1992","unstructured":"P. Van Hentenryck, Y. Deville and C. Teng, A generic arc-consistency algorithm and its specializations, Artificial Intelligence 57 (1992) 291\u2013;321.","journal-title":"A generic arc-consistency algorithm and its specializations, Artificial Intelligence"},{"key":"325460_CR37","unstructured":"P. Van Hentenryck, V. Saraswat and Y. Deville, Design, implementation and evaluation of the constraint language cc(FD), Technical Report CS-93-02, Brown University (1993)."},{"issue":"1\u20132","key":"325460_CR38","first-page":"113","volume":"58","author":"P. Van Hentenryck","year":"1992","unstructured":"P. Van Hentenryck, H. Simonis and M. Dincbas, Constraint satisfaction using constraint logic programming, Artificial Intelligence 58(1\u2013;2) (1992) 113\u2013;159.","journal-title":"Constraint satisfaction using constraint logic programming, Artificial Intelligence"},{"key":"325460_CR39","unstructured":"M.B. Vilain and H. Kautz, Constraint propagation algorithms for temporal reasoning, in: Proc. AAAI \u201989(1989) pp. 377\u2013;382."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018946309329.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018946309329\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018946309329.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:05Z","timestamp":1747546925000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018946309329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,2]]},"references-count":39,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,2]]}},"alternative-id":["325460"],"URL":"https:\/\/doi.org\/10.1023\/a:1018946309329","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1998,2]]}}}