{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T18:13:01Z","timestamp":1778523181611,"version":"3.51.4"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2008,3,25]],"date-time":"2008-03-25T00:00:00Z","timestamp":1206403200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2008,3,25]],"date-time":"2008-03-25T00:00:00Z","timestamp":1206403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10601-007-9031-y","type":"journal-article","created":{"date-parts":[[2008,3,24]],"date-time":"2008-03-24T17:13:43Z","timestamp":1206378823000},"page":"21-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":35,"title":["Modeling Biological Networks by Action Languages via Answer Set Programming"],"prefix":"10.1007","volume":"13","author":[{"given":"Steve","family":"Dworschak","sequence":"first","affiliation":[]},{"given":"Susanne","family":"Grell","sequence":"additional","affiliation":[]},{"given":"Victoria J.","family":"Nikiforova","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Selbig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,25]]},"reference":[{"issue":"3","key":"9031_CR1","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1093\/bioinformatics\/15.3.234","volume":"15","author":"R. Backofen","year":"1999","unstructured":"Backofen, R., Will, S., & Bornberg-Bauer, E. (1999). Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets. Bioinformatics, 15(3), 234\u2013242.","journal-title":"Bioinformatics"},{"key":"9031_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C. (2003). Knowledge representation, reasoning and declarative problem solving. Cambridge University Press.","DOI":"10.1017\/CBO9780511543357"},{"key":"9031_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C., Brewka, G., & Schlipf, J. (Eds.) (2007). Proceedings of the ninth international conference on logic programming and nonmonotonic reasoning (LPNMR\u201907). Lecture Notes in Artificial Intelligence, Vol. 4483. Springer-Verlag.","DOI":"10.1007\/978-3-540-72200-7"},{"key":"9031_CR4","doi-asserted-by":"crossref","unstructured":"Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A., & Berens, M. (2004). A knowledge based approach for representing and reasoning about signaling networks. In Proceedings of the twelfth international conference on intelligent systems for molecular biology\/third European conference on computational biology (ISMB\u201904\/ECCB\u201904) (pp. 15\u201322). ISCB.","DOI":"10.1093\/bioinformatics\/bth918"},{"key":"9031_CR5","doi-asserted-by":"publisher","first-page":"308314","DOI":"10.1016\/S0167-7799(97)01067-6","volume":"15","author":"H.P.J. Bonarius","year":"1997","unstructured":"Bonarius, H. P. J., Schmid, G., & Tramper, J. (1997). Flux analysis of underdetermined metabolic networks: The quest for the missing constraints. Trends in Biotechnology, 15, 308314.","journal-title":"Trends in Biotechnology"},{"key":"9031_CR6","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1002\/jsfa.2740560408","volume":"56","author":"E.J. Booth","year":"1991","unstructured":"Booth, E. J., Walker, K. C., & Griffiths, D. W. (1991). A time-course study of the effect of sulfur on glucosinolates in oilseed rape (brassica napus) from the vegetative stage to maturity. Journal of the Science of Food and Agriculture, 56, 479\u2013493.","journal-title":"Journal of the Science of Food and Agriculture"},{"key":"9031_CR7","doi-asserted-by":"crossref","unstructured":"Chabrier-Rivier, N., Fages, F., & Soliman, S. (2004). The biochemical abstract machine biocham. In V. Danos & V. Sch\u00e4chter (Eds.) Proceedings of the second workshop on computational methods in systems biology (pp. 172\u2013191). Springer.","DOI":"10.1007\/978-3-540-25974-9_14"},{"key":"9031_CR8","unstructured":"Clarke, E., Grumberg, O., & Peled, D. (1999). Model checking. MIT Press."},{"key":"9031_CR9","doi-asserted-by":"crossref","unstructured":"Danos, V., & Sch\u00e4chter, V. (Eds.) (2005). Computational methods in systems biology, international conference (CMSB 2004), Paris, France, May 26\u201328, 2004, revised selected papers. Lecture Notes in Computer Science, Vol. 3082. Springer.","DOI":"10.1007\/b107287"},{"issue":"1\u20132","key":"9031_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(02)00367-3","volume":"144","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. (2003). A logic programming approach to knowledge-state planning. Artificial Intelligence, 144(1\u20132), 157\u2013211.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9031_CR11","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. (2004). A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Transactions On Computational Logic, 5(2), 206\u2013263.","journal-title":"ACM Transactions On Computational Logic"},{"key":"9031_CR12","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., & Talcott, C. L. (2002). Pathway logic: Executable models of biological networks. Electr. Notes Theor. Comp. Sci., 71.","DOI":"10.1016\/S1571-0661(05)82533-2"},{"issue":"1","key":"9031_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.03.062","volume":"325","author":"D. Eveillard","year":"2004","unstructured":"Eveillard, D., Ropers, D., de\u00a0Jong, H., Branlant, C., & Bockmayr, A. (2004). A multi-scale constraint programming model of alternative splicing regulation. Theoretical Computer Science, 325(1), 3\u201324.","journal-title":"Theoretical Computer Science"},{"key":"9031_CR14","doi-asserted-by":"crossref","unstructured":"Fanchon, E., Corblin, F., Trilling, L., Hermant, B., & Gulino, D. (2004). Modeling the molecular network controlling adhesion between human endothelial cells: Inference and simulation using constraint logic programming. In V. Danos & V. Sch\u00e4chter (Eds.), Lecture Notes in Bioinformatics\u2014Computational Methods in Systems Biology (pp. 104\u2013118).","DOI":"10.1007\/978-3-540-25974-9_9"},{"key":"9031_CR15","unstructured":"Ferraris, P., & Lifschitz, V. (2005). Mathematical foundations of answer set programming. In S. Art\u00ebmov, H. Barringer, A. d\u2019Avila Garcez, L. Lamb & J. Woods (Eds.), We will show them! Essays in honour of dov gabbay, (Vol. 1, pp. 615\u2013664). College Publications."},{"key":"9031_CR16","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Clasp: A conflict-driven answer set solver. In C. Baral, G. Brewka & J. Schlipf (Eds.), Proceedings of the ninth international conference on logic programming and nonmonotonic reasoning (LPNMR\u201907). Lecture Notes in Artificial Intelligence, (Vol. 4483, pp. 260\u2013265). Springer-Verlag.","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"9031_CR17","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Conflict-driven answer set solving. In M. Veloso (Ed.), Proceedings of the twentieth international joint conference on artificial intelligence (IJCAI\u201907) (pp. 386\u2013392). AAAI Press\/The MIT Press. Available at http:\/\/www.ijcai.org\/papers07\/contents.php."},{"key":"9031_CR18","doi-asserted-by":"crossref","unstructured":"Gebser, M., Schaub, T., & Thiele, S. (2007). GrinGo: A new grounder for answer set programming. In C. Baral, G. Brewka & J. Schlipf (Eds.), Proceedings of the ninth international conference on logic programming and nonmonotonic reasoning (LPNMR\u201907). Lecture Notes in Artificial Intelligence, (Vol. 4483, pp. 266\u2013271). Springer-Verlag.","DOI":"10.1007\/978-3-540-72200-7_24"},{"key":"9031_CR19","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., & Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 365\u2013385.","journal-title":"New Generation Computing"},{"issue":"2\u20134","key":"9031_CR20","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., & Lifschitz, V. (1993). Representing action and change by logic programs. Journal of Logic Programming, 17(2\u20134), 301\u2013321.","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"9031_CR21","first-page":"193","volume":"3","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., & Lifschitz, V. (1998). Action languages. Electronic Transactions on Artifical Intelligence, 3(6), 193\u2013210.","journal-title":"Electronic Transactions on Artifical Intelligence"},{"key":"9031_CR22","unstructured":"Giunchiglia, E., & Lifschitz, V. (1998). An action language based on causal explanation: Preliminary report. In Proceedings of the national conference on artificial intelligence (AAAI) (pp. 623\u2013630). AAAI."},{"key":"9031_CR23","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1146\/annurev.arplant.57.032905.105228","volume":"57","author":"B.A. Halkier","year":"2006","unstructured":"Halkier, B. A., & Gershenzon, J. (2006). Biology and biochemistry of glucosinolates. Annual Review of Plant Biology, 57, 303\u2013333.","journal-title":"Annual Review of Plant Biology"},{"key":"9031_CR24","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1046\/j.1365-313X.2002.01271.x","volume":"30","author":"A. Kutz","year":"2002","unstructured":"Kutz, A., M\u00fcller, A., Hennig, P., Kaiser, W. M., Piotrowskiand, M., & Weiler, E. W. (2002). A role for nitrilase 3 in the regulation of root morphology in sulphur-starving arabidopsis thaliana. Plant Journal, 30, 95\u2013106.","journal-title":"Plant Journal"},{"issue":"1\u20133","key":"9031_CR25","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Lin, F., & Scherl, R. (1997). Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1\u20133), 59\u201383.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"9031_CR26","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1131313.1131316","volume":"7","author":"V. Lifschitz","year":"2006","unstructured":"Lifschitz, V., & Razborov, A. (2006). Why are there so many loop formulas? ACM Transactions on Computational Logic, 7(2), 261\u2013268.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9031_CR27","unstructured":"Lifschitz, V., & Turner, H. (1994). Splitting a logic program. In Proceedings of the eleventh international conference on logic programming (pp. 23\u201337). MIT Press."},{"key":"9031_CR28","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., & Turner, H. (1999) Representing transition systems by logic programs. In M. Gelfond, N. Leone & G. Pfeifer (Eds.), Logic programming and non-monotonic reasoning. Lecture Notes in Artificial Intelligence, (Vol. 1730, pp. 92\u2013106). Springer-Verlag.","DOI":"10.1007\/3-540-46767-X_7"},{"key":"9031_CR29","unstructured":"Lynce, I., & Marques-Silva, J. (2006). Efficient haplotype inference with boolean satisfiability. In Y. Gil & R. Mooney (Eds.), Proceedings of the twenty-first national conference on artificial intelligence (AAAI\u201906). AAAI Press."},{"key":"9031_CR30","doi-asserted-by":"crossref","unstructured":"Lynce, I., & Marques-Silva, J. (2006). Sat in bioinformatics: Making the case with haplotype inference. In A. Biere & C. Gomes (Eds.) Proceedings of the ninth international conference on theory and applications of satisfiability testing (SAT\u201906). Lecture Notes in Computer Science, (Vol. 4121, pp. 136\u2013141). Springer-Verlag.","DOI":"10.1007\/11814948_16"},{"key":"9031_CR31","unstructured":"McCarthy, J. (1998). Elaboration tolerance. http:\/\/www.formal.stanford.edu\/jmc\/elaboration.html."},{"key":"9031_CR32","doi-asserted-by":"publisher","first-page":"3478","DOI":"10.1104\/pp.104.051029","volume":"136","author":"G. Montiel","year":"2004","unstructured":"Montiel, G., Gantet, P., Jay-Allemand, C., & Breton, C. (2004). Transcription factor networks. Pathways to the knowledge of root development. Plant Physiology, 136, 3478\u20133485.","journal-title":"Plant Physiology"},{"issue":"3\u20134","key":"9031_CR33","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I. (1999). Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3\u20134), 241\u2013273.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9031_CR34","doi-asserted-by":"publisher","first-page":"1887","DOI":"10.1093\/jxb\/eri179","volume":"56","author":"V.J. Nikiforova","year":"2005","unstructured":"Nikiforova, V. J., Daub, C. O., Hesse, H., Willmitzer, L., & Hoefgen, R. (2005). Integrative gene-metabolite network with implemented causality deciphers informational fluxes of sulfur stress response. Journal of Experimental Botany, 56, 1887\u20131896.","journal-title":"Journal of Experimental Botany"},{"key":"9031_CR35","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1046\/j.1365-313X.2003.01657.x","volume":"33","author":"V.J. Nikiforova","year":"2003","unstructured":"Nikiforova, V. J., Freitag, J., Kempa, S., Adamik, M., Hesse, H., & Hoefgen, R. (2003). Transcriptome analysis of sulfur depletion in arabidopsis thaliana: Interlacing of biosynthetic pathways provides response specificity. Plant Journal, 33, 633\u2013650.","journal-title":"Plant Journal"},{"key":"9031_CR36","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1104\/pp.104.053793","volume":"138","author":"V.J. Nikiforova","year":"2005","unstructured":"Nikiforova, V. J., Kopka, J., Tolstikov, V., Fiehn, O., Hopkins, L., Hawkesford, M. J., et al. (2005). Systems re-balancing of metabolism in response to sulfur deprivation, as revealed by metabolome analysis of arabidopsis plants. Plant Physiology, 138, 304\u2013318.","journal-title":"Plant Physiology"},{"key":"9031_CR37","unstructured":"Pan, Y., Tu, P., Pontelli, E., & Son, T. (2004). Construction of an agent-based framework for evolutionary biology: A progress report. In J. Leite, A. Omicini, P. Torroni & P. Yolum (Eds.), Proceedings of the second international workshop on declarative agent languages and technologies (DALT\u201904). Lecture Notes in Computer Science, (Vol. 3476, pp. 92\u2013111). Springer-Verlag."},{"key":"9031_CR38","doi-asserted-by":"crossref","unstructured":"Papatheodorou, I., Kakas, A., & Sergot, M. (2005). Inference of gene relations from microarray data by abduction. In C. Baral, G. Greco, N. Leone & G. Terracina (Eds.), Proceedings of the eighth international conference on logic programming and nonmonotonic reasoning (LPNMR\u201905). Lecture Notes in Artificial Intelligence, (Vol. 3662, pp. 389\u2013393). Springer-Verlag.","DOI":"10.1007\/11546207_33"},{"issue":"Pt 6","key":"9031_CR39","doi-asserted-by":"publisher","first-page":"1513","DOI":"10.1042\/BST0311513","volume":"31","author":"J.W. Pinney","year":"2003","unstructured":"Pinney, J. W., Westhead, D. R., & McConkey, G. A. (2003). Petri net representations in systems biology. Biochemical Society Transactions, 31(Pt 6), 1513\u20131515.","journal-title":"Biochemical Society Transactions"},{"key":"9031_CR40","unstructured":"Reddy, V. N., Mavrovouniotis, M. L., & Liebman, M. N. (1993). Petri net representations in metabolic pathways. In Proc. First ISMB (pp. 328\u2013336)."},{"issue":"1","key":"9031_CR41","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E. M., Silverman, W., Cardelli, L., & Shapiro, E. Y. (2004). Bioambients: An abstraction for biological compartments. Theoretical Computer Science, 325(1), 141\u2013167.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"9031_CR42","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/bioinformatics\/18.2.261","volume":"18","author":"I. Shmulevich","year":"2002","unstructured":"Shmulevich, I., Dougherty, E. R., Kim, S., & Zhang, W. (2002). Probabilistic boolean networks: A rule-based uncertainty model for gene regulatory networks. Bioinformatics, 18(2), 261\u2013274.","journal-title":"Bioinformatics"},{"issue":"1\u20132","key":"9031_CR43","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., & Soininen, T. (2002). Extending and implementing the stable model semantics. Artificial Intelligence, 138(1\u20132), 181\u2013234.","journal-title":"Artificial Intelligence"},{"key":"9031_CR44","unstructured":"Son, T., & Pontelli, E. (2007). Planning for biochemical pathways: A case study of answer set planning in large planning problem instances. In M. De Vos & T. Schaub (Eds.), Proceedings of the workshop on software engineering for answer set programming (SEA\u201907), number CSBU-2007-05 in Department of Computer Science, University of Bath, Technical Report Series, (pp. 116\u2013130). ISSN 1740-9497."},{"key":"9031_CR45","unstructured":"Syrj\u00e4nen, T. Lparse 1.0 user\u2019s manual. http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz."},{"issue":"1\u20133","key":"9031_CR46","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10994-006-8988-x","volume":"64","author":"A. Tamaddoni-Nezhad","year":"2006","unstructured":"Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A., & Muggleton, S. (2006). Application of abductive ilp to learning metabolic network inhibition from temporal data. Machine Learning, 64(1\u20133), 209\u2013230.","journal-title":"Machine Learning"},{"key":"9031_CR47","unstructured":"Tran, N. (2006). Reasoning and hypothesing about signaling networks. Ph.D. thesis, Arizona State University."},{"key":"9031_CR48","unstructured":"Tran, N., & Baral, C. (2004). Reasoning about triggered actions in AnsProlog and its application to molecular interactions in cells. In D. Dubois, C. Welty & M. Williams (Eds.), Proceedings of the ninth international conference on principles of knowledge representation and reasoning (KR\u201904) (pp. 554\u2013564). AAAI Press."},{"key":"9031_CR49","unstructured":"Tran, N., Baral, C., & Shankland, C. (2005). Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge. In M. Veloso & S. Kambhampati (Eds.), Proceedings of the twentieth national conference on artificial intelligence (AAAI\u201905) (pp. 676\u2013681). AAAI Press."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-007-9031-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10601-007-9031-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-007-9031-y.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-007-9031-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T20:16:17Z","timestamp":1630440977000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10601-007-9031-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,25]]},"references-count":49,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9031"],"URL":"https:\/\/doi.org\/10.1007\/s10601-007-9031-y","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,25]]},"assertion":[{"value":"25 March 2008","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}