{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T08:46:00Z","timestamp":1707813960570},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,7,30]],"date-time":"2010-07-30T00:00:00Z","timestamp":1280448000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1007\/s10489-010-0246-z","type":"journal-article","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:09:09Z","timestamp":1280390949000},"page":"90-107","source":"Crossref","is-referenced-by-count":15,"title":["Conditional and composite temporal CSPs"],"prefix":"10.1007","volume":"36","author":[{"given":"Malek","family":"Mouhoub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amrudee","family":"Sukpan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,7,30]]},"reference":[{"issue":"2","key":"246_CR1","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1023\/B:APIN.0000033636.14272.95","volume":"21","author":"MI Alfonso","year":"2004","unstructured":"Alfonso MI, Barber F (2004) A mixed closure-CSP method for solving scheduling problems. Appl Intell 21(2):173\u2013193","journal-title":"Appl Intell"},{"issue":"11","key":"246_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF (1983) Maintaining knowledge about temporal intervals. CACM 26(11):832\u2013843","journal-title":"CACM"},{"key":"246_CR3","unstructured":"Badaloni S, Giacomin M (1999) A fuzzy extension of Allen\u2019s interval algebra. In: E. Lamma, P. Mello, (eds) Proc. of the 6th congress of the Italian assoc. for artificial intelligence, pp 228\u2013237"},{"key":"246_CR4","doi-asserted-by":"crossref","unstructured":"Baptiste P, Le Pape C (1995) Disjunctive constraints for manufacturing scheduling: principles and extensions. In: Third international conference on computer integrated manufacturing. Singapore","DOI":"10.1080\/095119296131616"},{"key":"246_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1018938007511","volume":"22","author":"C Bettini","year":"1998","unstructured":"Bettini C, Wang X, Jajodia S (1998) A general framework for time granularity and its application to temporal reasoning. Ann Math Artif Intell 22:29\u201358","journal-title":"Ann Math Artif Intell"},{"issue":"1\u20132","key":"246_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0004-3702(02)00223-0","volume":"140","author":"C Bettini","year":"2002","unstructured":"Bettini C, Wang X, Jajodia S (2002) Solving multi-granularity temporal constraint networks. Artif Intell 140(1\u20132):107\u2013152","journal-title":"Artif Intell"},{"issue":"2","key":"246_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1667053.1667058","volume":"57","author":"M Bodirsky","year":"2010","unstructured":"Bodirsky M, K\u00e1ra J (2010) The complexity of temporal constraint satisfaction problems. J Assoc Comput Mach 57(2):1\u201341","journal-title":"J Assoc Comput Mach"},{"key":"246_CR8","unstructured":"Boerkoel JC Jr., Durfee EH (2009) Evaluating hybrid constraint tightening for scheduling agents. In: The proceedings of the 8th international conference on autonomous agents and multiagent systems, pp\u00a0673\u2013680"},{"key":"246_CR9","doi-asserted-by":"crossref","unstructured":"Dean T (1989) Using temporal hierarchies to efficiently maintain large temporal databases. J Assoc Comput Mach, pp 686\u2013709","DOI":"10.1145\/76359.76360"},{"key":"246_CR10","unstructured":"Dechter R, Dechter A (1988) Belief maintenance in dynamic constraint networks. In: 7th national conference on artificial intelligence, pp 37\u201342, St Paul"},{"key":"246_CR11","volume-title":"Constraint processing","author":"R Dechter","year":"2003","unstructured":"Dechter R (2003) Constraint processing. Morgan Kaufmann, San Mateo"},{"key":"246_CR12","doi-asserted-by":"crossref","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 (1991) Temporal constraint networks. Artif Intell 49:61\u201395","journal-title":"Artif Intell"},{"key":"246_CR13","unstructured":"Fargier H, Lang J, Schiex T (1996) Mixed constraint satisfaction: a\u00a0framework for decision problems under incomplete knowledge. In: The 13th national conference on artificial intelligence (AAAI-96), pp\u00a0175\u2013180"},{"key":"246_CR14","isbn-type":"print","volume-title":"Handbook of temporal reasoning in artificial intelligence (foundations of artificial intelligence)","author":"M Fisher","year":"2005","unstructured":"Fisher M, Gabbay D, Vila L (2005) Handbook of temporal reasoning in artificial intelligence (foundations of artificial intelligence), Elsevier, Amsterdam. ISBN: 0444514937","ISBN":"http:\/\/id.crossref.org\/isbn\/0444514937"},{"key":"246_CR15","unstructured":"Gelle E (1998) On the generation of locally consistent solution spaces in mixed dynamic constraint problems. PhD thesis, 1826, pp\u00a0101\u2013140"},{"key":"246_CR16","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1022394531132","volume":"8","author":"E Gelle","year":"2003","unstructured":"Gelle E Faltings B (2003) Solving mixed and conditional constraint satisfaction problems. Constraints 8:107\u2013141","journal-title":"Constraints"},{"key":"246_CR17","doi-asserted-by":"crossref","unstructured":"Gent IP, MacIntyre E, Prosser P, Smith BM, Walsh T (1998) Random constraint satisfaction: flaws and structure","DOI":"10.1007\/3-540-49481-2_24"},{"key":"246_CR18","first-page":"61","volume":"1994","author":"M Ghallab","year":"1994","unstructured":"Ghallab M, Laruelle H (1994) Representation and control in IxTeT, a temporal planner. In: AIPS 1994:61\u201367","journal-title":"AIPS"},{"issue":"5","key":"246_CR19","doi-asserted-by":"crossref","first-page":"1108","DOI":"10.1145\/174147.169675","volume":"40","author":"C Golumbic","year":"1993","unstructured":"Golumbic C, Shamir R (1993) Complexity and algorithms for reasoning about time: a graphic-theoretic approach. J Assoc Comput Mach 40(5):1108\u20131133","journal-title":"J Assoc Comput Mach"},{"issue":"1","key":"246_CR20","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF00871723","volume":"3","author":"H Guesgen","year":"1993","unstructured":"Guesgen H, Hertzberg J (1993) A constraint-based approach to spatiotemporal reasoning. Appl Intell 3(1):71\u201390","journal-title":"Appl Intell"},{"key":"246_CR21","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"RM Haralick","year":"1980","unstructured":"Haralick RM, Elliott GL (1980) Increasing tree search efficiency for constraint satisfaction problems. Artif Intell 14:263\u2013313","journal-title":"Artif Intell"},{"key":"246_CR22","doi-asserted-by":"crossref","unstructured":"Hwang C, Shubert L (1994) Interpreting tense, aspect, and time adverbials: a compositional, unified approach. In: Proceedings of the first international conference on temporal logic, LNAI, vol 827, Berlin, pp 237\u2013264","DOI":"10.1007\/BFb0013992"},{"key":"246_CR23","unstructured":"J\u00f3nsson AK, Frank J (2000) A framework for dynamic constraint reasoning using procedural constraints. In: ECAI 2000, pp 93\u201397"},{"issue":"4","key":"246_CR24","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1025842019552","volume":"8","author":"AK J\u00f3nsson","year":"2003","unstructured":"J\u00f3nsson AK, Frank J (2003) Constraint-based attribute and interval planning. Constraints 8(4):339\u2013364","journal-title":"Constraints"},{"key":"246_CR25","unstructured":"Kautz HA, Ladkin PB (1991) Integrating metric and qualitative temporal reasoning. In: AAAI\u201991, Anaheim, CA, pp 241\u2013246"},{"key":"246_CR26","unstructured":"Laborie P (2003) Resource temporal networks: definition and complexity. In: Eighteenth international joint conference on artificial intelligence (IJCAI\u201903), pp\u00a0948\u2013953"},{"key":"246_CR27","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth AK (1977) Consistency in networks of relations. Artif Intell 8:99\u2013118","journal-title":"Artif Intell"},{"key":"246_CR28","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0888-613X(96)00125-9","volume":"16","author":"R Marin","year":"1997","unstructured":"Marin R, Cardenas M, Balsa M, Sanchez J (1997) Obtaining solutions in fuzzy constraint networks. Int J Approx Reason 16:261\u2013288","journal-title":"Int J Approx Reason"},{"key":"246_CR29","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(95)00109-3","volume":"87","author":"I Meiri","year":"1996","unstructured":"Meiri I (1996) Combining qualitative and quantitative constraints in temporal reasoning. Artif Intell 87:343\u2013385","journal-title":"Artif Intell"},{"issue":"3","key":"246_CR30","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1023\/A:1020095501462","volume":"17","author":"D Mitra","year":"2002","unstructured":"Mitra D (2002) A path-consistent singleton modeling (CSM) algorithm for arc-constrained networks. Appl Intell 17(3):313\u2013318","journal-title":"Appl Intell"},{"key":"246_CR31","first-page":"25","volume-title":"Proceedings of the 8th national conference on artificial intelligence","author":"S Mittal","year":"1990","unstructured":"Mittal S, Falkenhainer B (1990) Dynamic constraint satisfaction problems. In: Proceedings of the 8th national conference on artificial intelligence. AAAI Press, Boston, pp 25\u201332"},{"key":"246_CR32","unstructured":"Morris P, Muscettola N (2000) Execution of temporal plans with uncertainty. In: AAAI 2000, pp\u00a0491\u2013496"},{"key":"246_CR33","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1009769509401","volume":"2","author":"M Mouhoub","year":"1998","unstructured":"Mouhoub M, Charpillet F, Haton JP (1998) Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning. Constraints Int J 2:151\u2013164","journal-title":"Constraints Int J"},{"key":"246_CR34","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/B:AIRE.0000007179.60276.39","volume":"21","author":"M Mouhoub","year":"2004","unstructured":"Mouhoub M (2004) Reasoning with numeric and symbolic time information. Artif Intell Rev 21:25\u201356","journal-title":"Artif Intell Rev"},{"key":"246_CR35","unstructured":"Ryabov V Trudel A (2004) Probabilistic temporal interval networks. In: TIME 2004, pp\u00a064\u201367"},{"key":"246_CR36","first-page":"125","volume-title":"Proceedings of the eleventh European conference on artificial intelligence","author":"D Sabin","year":"1994","unstructured":"Sabin D, Freuder EC (1994) Contradicting conventional wisdom in constraint satisfaction. In: Proceedings of the eleventh European conference on artificial intelligence. Wiley, Amsterdam, pp 125\u2013129"},{"key":"246_CR37","first-page":"153","volume-title":"Proceedings of the (1st) artificial intelligence and manufacturing research planning workshop","author":"D Sabin","year":"1996","unstructured":"Sabin D, Freuder EC (1996) Configuration as composite constraint satisfaction. In: Luger GF (ed) Proceedings of the (1st) artificial intelligence and manufacturing research planning workshop. AAAI Press, Menlo Park, pp 153\u2013161"},{"key":"246_CR38","doi-asserted-by":"crossref","unstructured":"Sabin D, Freuder EC, Wallace RJ (2003) Greater efficiency for conditional constraint satisfaction. In: Proc., ninth international conference on principles and practice of, constraint programming\u2014CP 2003, 2833, pp\u00a0649\u2013663","DOI":"10.1007\/978-3-540-45193-8_44"},{"key":"246_CR39","first-page":"290","volume-title":"Proceedings of the 13th international joint conference on artificial intelligence","author":"B Selman","year":"1993","unstructured":"Selman B, Kautz H (1993) Domain-independent extensions to GSAT: solving large structured satisfiability problems. In: Proceedings of the 13th international joint conference on artificial intelligence, Chamb\u00e9ry, France. Morgan Kaufmann, San Mateo, pp 290\u2013295"},{"issue":"8\u20139","key":"246_CR40","doi-asserted-by":"crossref","first-page":"1158","DOI":"10.1016\/j.artint.2008.01.001","volume":"172","author":"S Schockaert","year":"2008","unstructured":"Schockaert S, De Cock M (2008) Temporal reasoning about fuzzy intervals. Artif. Intell. 172(8\u20139):1158\u20131193","journal-title":"Artif. Intell."},{"key":"246_CR41","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(95)00052-6","volume":"81","author":"B Smith","year":"1996","unstructured":"Smith B, Dyer M (1996) Locating the phase transition in binary constraint satisfaction problems. Artif Intell 81:155\u2013181","journal-title":"Artif Intell"},{"key":"246_CR42","unstructured":"Song F, Cohen R (1991) Tense interpretation in the context of narrative. In: AAAI\u201991, pp\u00a0131\u2013136"},{"issue":"1","key":"246_CR43","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1093\/logcom\/14.1.93","volume":"14","author":"J Thornton","year":"2004","unstructured":"Thornton J, Beaumont M, Sattar A, Maher M (2004) A local search approach to modelling and solving interval algebra problems. J Logic Computat 14(1):93\u2013112","journal-title":"J Logic Computat"},{"issue":"4","key":"246_CR44","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0306-4379(91)90031-4","volume":"16","author":"C Theodoulidis","year":"1991","unstructured":"Theodoulidis C, Loucopoulos P, Wangler B (1991) A conceptual modelling formalism for temporal database applications. Inf Syst 16(4):401\u2013416","journal-title":"Inf Syst"},{"issue":"4","key":"246_CR45","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1023\/A:1025894003623","volume":"8","author":"I Tsamardinos","year":"2003","unstructured":"Tsamardinos I, Vidal T, Pollack ME (2003) CTP: a new constraint-based formalism for conditional temporal planning. Constraints 8(4):365\u2013388","journal-title":"Constraints"},{"key":"246_CR46","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P Beek van","year":"1992","unstructured":"van Beek P (1992) Reasoning about qualitative temporal information. Artif Intell 58:297\u2013326","journal-title":"Artif Intell"},{"key":"246_CR47","unstructured":"Vidal T, Ghallab M (1996) Dealing with uncertain durations in temporal constraint networks dedicated to planning. In: ECAI-1996, pp\u00a048\u201352"},{"key":"246_CR48","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/095281399146607","volume":"11","author":"T Vidal","year":"1999","unstructured":"Vidal T, Fargier H (1999) Handling consistency in temporal constraint networks: from consistency to controllabilities. J Exp Theor 11:23\u201345","journal-title":"J Exp Theor"},{"key":"246_CR49","first-page":"377","volume-title":"Proceedings of the fifth national conference on arifical intelligence (AAAI\u201986)","author":"M Vilain","year":"1986","unstructured":"Vilain M, Kautz H (1986) Constraint propagation algorithms for temporal reasoning. In: Proceedings of the fifth national conference on arifical intelligence (AAAI\u201986), Philadelphia, PA. MIT Press, Cambridge, pp 377\u2013382"},{"key":"246_CR50","unstructured":"Walsh T (2002) Stochastic constraint programming. In: The 15th European conference on artificial intelligence (ECAI-02)"},{"key":"246_CR51","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1613\/jair.696","volume":"12","author":"K Xu","year":"2000","unstructured":"Xu K, Li W (2000) Exact phase transitions in random constraint satisfaction problems. J Artif Intell Res 12:93\u2013103","journal-title":"J Artif Intell Res"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-010-0246-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-010-0246-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-010-0246-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,2]],"date-time":"2021-11-02T07:24:21Z","timestamp":1635837861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-010-0246-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,30]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["246"],"URL":"https:\/\/doi.org\/10.1007\/s10489-010-0246-z","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,30]]}}}