{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T11:09:41Z","timestamp":1769857781222,"version":"3.49.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,2,12]],"date-time":"2014-02-12T00:00:00Z","timestamp":1392163200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s10601-014-9158-6","type":"journal-article","created":{"date-parts":[[2014,2,11]],"date-time":"2014-02-11T01:58:09Z","timestamp":1392083889000},"page":"163-173","source":"Crossref","is-referenced-by-count":5,"title":["Qualitative modelling via constraint programming"],"prefix":"10.1007","volume":"19","author":[{"given":"Thomas W.","family":"Kelsey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Kotthoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher A.","family":"Jefferson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen A.","family":"Linton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Nightingale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian P.","family":"Gent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,12]]},"reference":[{"key":"9158_CR1","unstructured":"Aggoun, A., Chan, D., Dufresne, P., Falvey, E., Grant, H., Harvey, W., Herold, A., Macartney, G., Meier, M., Miller, D., Mudambi, S., Novello, S., Perez, B., van Rossum, E., Schimpf, J., Shen, K., Tsahageas, P.A., de Villeneuve, D.H. (2006). Eclipse user manual release 5.10, http:\/\/eclipse-clp.org\/ ."},{"key":"9158_CR2","doi-asserted-by":"crossref","unstructured":"Balasubramaniam, D., de Silva, L., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, P. (2011). Dominion: an architecture-driven approach to generating efficient constraint solvers. In 9th Working IEEE\/IFIP conference on software architecture (WICSA) (pp. 228\u2013231).","DOI":"10.1109\/WICSA.2011.37"},{"key":"9158_CR3","doi-asserted-by":"crossref","unstructured":"Balasubramaniam, D., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, P. (2012). An automated approach to generating efficient constraint solvers. In 34th international conference on software engineering.","DOI":"10.1109\/ICSE.2012.6227151"},{"key":"9158_CR4","doi-asserted-by":"crossref","unstructured":"Beldiceanu, N., & Simonis, H. A model seeker: extracting global constraint models from positive examples. In M. Milano (Ed.), Principles and practice of constraint programming - 18th international conference, CP 2012, Quebec City, QC, Canada, October 8\u201312, 2012. Proceedings, lecture notes in computer science (vol. 7514, pp. 141\u2013157). Springer.","DOI":"10.1007\/978-3-642-33558-7_13"},{"key":"9158_CR5","doi-asserted-by":"crossref","unstructured":"Bockmayr, A., & Courtois, A. (2002). Using hybrid concurrent constraint programming to model dynamic biological systems. In 18th international conference on logic programming (pp. 85\u201399). Springer.","DOI":"10.1007\/3-540-45619-8_7"},{"issue":"1","key":"9158_CR6","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.ydbio.2006.06.023","volume":"298","author":"SK Bristol-Gould","year":"2006","unstructured":"Bristol-Gould, S.K., Kreeger, P.K., Selkirk, C.G., Kilen, S.M., Mayo, K.E., Shea, L.D., Woodruff, T.K. (2006). Fate of the initial follicle pool: empirical and mathematical evidence supporting its sufficiency for adult fertility. Developmental biology, 298(1), 149\u201354.","journal-title":"Developmental biology"},{"key":"9158_CR7","unstructured":"Calder, M., & Hillston, J. (2009). Process algebra modelling styles for biomolecular processes. In C. Priami, R.J. Back, I. Petre (Eds), Transactions on computational systems biology XI (pp. 1\u201325). Berlin, Heidelberg: Springer-Verlag."},{"key":"9158_CR8","doi-asserted-by":"crossref","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S. (2006). Machine learning biochemical networks from temporal logic properties. The Computer System Biology, 68\u201394.","DOI":"10.1007\/11880646_4"},{"issue":"14","key":"9158_CR9","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S. (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics (Oxford, England), 22(14), 1805\u20137.","journal-title":"Bioinformatics (Oxford, England)"},{"key":"9158_CR10","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Micheli, A., Roveri, M. Solving temporal problems using smt: Strong controllability. In M. Milano (Ed.), Principles and practice of constraint programming - 18th international conference, CP 2012, Quebec City, QC, Canada, October 8\u201312, 2012. Proceedings, lecture notes in computer science (vol. 7514, pp. 248\u2013264).","DOI":"10.1007\/978-3-642-33558-7_20"},{"issue":"33-34","key":"9158_CR11","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., & Hillston, J. (2009). Bio-pepa: a framework for the modelling and analysis of biological systems. Theoretical Computer Science, 410(33-34), 3065\u20133084.","journal-title":"Theoretical Computer Science"},{"key":"9158_CR12","unstructured":"Clancy, D. (1998). Qualitative simulation as a temporally-extended constraint satisfaction problem. Proceedings AAAI, 98."},{"key":"9158_CR13","unstructured":"Degasperi, A., & Calder, M. (2009). On the formalisation of gradient diffusion models of biological systems. In Proceedings 8th workshop on process algebra and stochastically timed activities (pp. 139\u2013144)."},{"key":"9158_CR14","doi-asserted-by":"crossref","unstructured":"Distler, A., Kelsey, T., Kotthoff, L., Jefferson, C. (2012). The semigroups of order 10. In CP. lecture notes in computer science (vol. 7514, pp. 883\u2013899). Springer.","DOI":"10.1007\/978-3-642-33558-7_63"},{"issue":"1","key":"9158_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10472-009-9140-y","volume":"56","author":"A Distler","year":"2009","unstructured":"Distler, A., & Kelsey, T. (2009). The monoids of orders eight, nine & ten. Annals of Mathematics and Artificial Intelligence, 56(1), 3\u201321.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9158_CR16","unstructured":"Distler, A., & Kelsey, T. (2013). The semigroups of order 9 and their automorphism groups. Semigroup Forum, 1\u201320."},{"issue":"17","key":"9158_CR17","first-page":"55","volume":"6","author":"MT Escrig","year":"2002","unstructured":"Escrig, M.T., Cabedo, L.M., Pacheco, J., Toledo, F. (2002). Several models on qualitative motion as instances of the CSP. Revista Iberoamericana de Inteligencia Artificial, 6(17), 55\u201371.","journal-title":"Revista Iberoamericana de Inteligencia Artificial"},{"issue":"4","key":"9158_CR18","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1093\/oxfordjournals.humrep.a136036","volume":"10","author":"MJ Faddy","year":"1995","unstructured":"Faddy, M.J., & Gosden, R.G. (1995). A mathematical model of follicle dynamics in the human ovary. Human reproduction (Oxford, England), 10(4), 770\u20135.","journal-title":"Human reproduction (Oxford, England)"},{"issue":"5","key":"9158_CR19","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1016\/j.fertnstert.2012.07.1114","volume":"98","author":"R Fleming","year":"2012","unstructured":"Fleming, R., Kelsey, T.W., Anderson, R.A., Wallace, W.H., Nelson, S.M. (2012). Interpreting human follicular recruitment and antimullerian hormone concentrations throughout life. Fertility and Sterility, 98(5), 1097\u20131102.","journal-title":"Fertility and Sterility"},{"issue":"3","key":"9158_CR20","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"AM Frisch","year":"2008","unstructured":"Frisch, A.M., Harvey, W., Jefferson, C., Mart\u00ednez-Hern\u00e1ndez, B., Miguel, I. (2008). Essence: a constraint language for specifying combinatorial problems. Constraints, 13(3), 268\u2013306.","journal-title":"Constraints"},{"key":"9158_CR21","unstructured":"Gent, I.P., Jefferson, C., Miguel, I. (2006). Minion: a fast scalable constraint solver. In G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), The European conference on artificial intelligence 2006 (ECAI 06) (pp. 98-102). IOS Press."},{"key":"9158_CR22","unstructured":"Gent, I.P., Jefferson, C.A., Miguel, I. (2006). MINION: a fast scalable constraint solver. In Proceedings of the 17th european conference on artificial intelligence (pp. 98\u2013102)."},{"key":"9158_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/b106568","volume-title":"Modeling biological systems","author":"J Haefner","year":"2005","unstructured":"Haefner, J. (2005). Modeling biological systems. New York: Springer-Verlag."},{"key":"9158_CR24","unstructured":"Hentenryck, P.V., Hentenryck, P.V., Michel, L., Michel, L. (1997). Newton: constraint programming over nonlinear real constraints. In Science of computer programming (pp. 1\u20132). Numerica: MIT Press."},{"key":"9158_CR25","doi-asserted-by":"crossref","unstructured":"Hoda, S., van Hoeve, W.J., Hooker, J.N. (2010). A systematic approach to MDD-based constraint programming. In D. Cohen (Ed.), CP. Lecture notes in computer science (vol. 6308, pp. 266\u2013280). Springer.","DOI":"10.1007\/978-3-642-15396-9_23"},{"issue":"1","key":"9158_CR26","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1613\/jair.2861","volume":"36","author":"F Hutter","year":"2009","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K., St\u00fctzle, T. (2009). Paramils: an automatic algorithm configuration framework. Journal of Artificial Intelligence Research, 36(1), 267\u2013306.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9158_CR27","doi-asserted-by":"crossref","first-page":"1407","DOI":"10.1016\/j.artint.2010.07.001","volume":"174","author":"C Jefferson","year":"2010","unstructured":"Jefferson, C., Moore, N., Nightingale, P., Petrie, K.E. (2010). Implementing logical connectives in constraint programming. Artificial Intelligence, 174, 1407\u20131429.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9158_CR28","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1093\/molehr\/gar059","volume":"18","author":"TW Kelsey","year":"2011","unstructured":"Kelsey, T.W., Anderson, R.A., Wright, P., Nelson, S.M., Wallace, W.H.B. (2011). Data-driven assessment of the human ovarian reserve. Molecular human reproduction, 18(2), 79\u201387.","journal-title":"Molecular human reproduction"},{"key":"9158_CR29","unstructured":"Kelsey, T., & Linton, S. (2012). Qualitative models of cell dynamics as constraint satisfaction problems. In R. Backhoven, S. Will (Eds.), Proceedings of the workshop on constraint based methods for bioinformatics (WCB12) (pp. 16\u201322)."},{"issue":"1-3","key":"9158_CR30","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0019-9958(83)80062-X","volume":"58","author":"KI Ko","year":"1984","unstructured":"Ko, K.I. (1984). On the computational complexity of ordinary differential equations. Information and Control, 58(1-3), 157\u2013194.","journal-title":"Information and Control"},{"key":"9158_CR31","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(93)90178-E","volume":"59","author":"B Kuipers","year":"1993","unstructured":"Kuipers, B. (1993). Reasoning with qualitative models. Artificial Intelligence, 59, 125\u2013132.","journal-title":"Artificial Intelligence"},{"key":"9158_CR32","unstructured":"Laburthe, F. Choco: a constraint programming kernel for solving combinatorial optimization problems, http:\/\/choco.sourceforge.net\/ ."},{"issue":"2","key":"9158_CR33","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/S0933-3657(97)00391-6","volume":"10","author":"T Menzies","year":"1997","unstructured":"Menzies, T., & Compton, P. (1997). Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models. Artificial Intelligence in Medicine, 10(2), 145\u201375.","journal-title":"Artificial Intelligence in Medicine"},{"key":"9158_CR34","unstructured":"Menzies, T., Compton, P., Feldman, B., Toth, T. (1992). Qualitative compartmental modelling. AAAI Technical Report SS-92-02."},{"key":"9158_CR35","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G. (2007). Minizinc: towards a standard cp modelling language. In Proceedings of 13th international conference on principles and practice of constraint programming (pp. 529\u2013543).","DOI":"10.1007\/978-3-540-74970-7_38"},{"issue":"2","key":"9158_CR36","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1109\/5326.669567","volume":"28","author":"N Radke-Sharpe","year":"1998","unstructured":"Radke-Sharpe, N., & White, K. (1998). The role of qualitative knowledge in the formulation of compartmental models. IEEE Transactions on Systems, Man and Cybernetics Part C (Applications and Reviews), 28(2), 272\u2013275.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics Part C (Applications and Reviews)"},{"key":"9158_CR37","unstructured":"Rendl, A., Miguel, I., Gent, I.P., Jefferson, C. (2009). Automatically enhancing constraint model instances during tailoring. In Proceedings of 8th symposium on abstraction, reformulation, and approximation (SARA)."},{"key":"9158_CR38","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0065-2458(08)60520-3","volume":"15","author":"JR Rice","year":"1976","unstructured":"Rice, J.R. (1976). The algorithm selection problem. Advances in Computers, 15, 65\u2013118.","journal-title":"Advances in Computers"},{"issue":"26","key":"9158_CR39","doi-asserted-by":"crossref","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S. (2011). Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theoretical Computer Science, 412(26), 2827\u20132839.","journal-title":"Theoretical Computer Science"},{"key":"9158_CR40","unstructured":"Robertson, D., Bundy, A., Meutzelfeldt, R., Haggith, M., Uschold, M. (1991). Eco-logic: logic-based approaches to ecological modelling. MIT Press."},{"issue":"8","key":"9158_CR41","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1080\/10739680802010070","volume":"15","author":"NM Tsoukias","year":"2008","unstructured":"Tsoukias, N.M. (2008). Nitric oxide bioavailability in the microcirculation: insights from mathematical models. Microcirculation (New York, N.Y. : 1994), 15(8), 813\u201334.","journal-title":"Microcirculation (New York, N.Y. : 1994)"},{"issue":"1","key":"9158_CR42","doi-asserted-by":"crossref","first-page":"e8772","DOI":"10.1371\/journal.pone.0008772","volume":"5","author":"WHB Wallace","year":"2010","unstructured":"Wallace, W.H.B., & Kelsey, T.W. (2010). Human ovarian reserve from conception to the menopause. PloS one, 5(1), e8772.","journal-title":"PloS one"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-014-9158-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-014-9158-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-014-9158-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,15]],"date-time":"2020-08-15T07:51:22Z","timestamp":1597477882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-014-9158-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,12]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["9158"],"URL":"https:\/\/doi.org\/10.1007\/s10601-014-9158-6","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,12]]}}}