{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T21:29:23Z","timestamp":1778880563760,"version":"3.51.4"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Math Organ Theory"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10588-011-9101-y","type":"journal-article","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T11:59:44Z","timestamp":1320407984000},"page":"380-403","source":"Crossref","is-referenced-by-count":6,"title":["A proposal for augmenting biological model construction with a semi-intelligent computational modeling assistant"],"prefix":"10.1007","volume":"18","author":[{"given":"Scott","family":"Christley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary","family":"An","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,5]]},"reference":[{"key":"9101_CR1","doi-asserted-by":"crossref","unstructured":"An G (2010) Closing the scientific loop: bridging correlation and causality in the petaflop age. Sci Transl Med 2(41):41ps34","DOI":"10.1126\/scitranslmed.3000390"},{"issue":"4","key":"9101_CR2","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1093\/bib\/bbp024","volume":"10","author":"E Antezana","year":"2009","unstructured":"Antezana E, Kuiper M, Mironov V (2009) Biological knowledge management: the emerging role of the semantic web technologies. Brief Bioinform 10(4):392\u2013407. doi: 10.1093\/bib\/bbp024","journal-title":"Brief Bioinform"},{"issue":"1\u20133","key":"9101_CR3","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.ecolmodel.2005.10.002","volume":"194","author":"N Atanasova","year":"2006","unstructured":"Atanasova N, Todorovski L, Dzeroski S, Kompare B (2006) Constructing a library of domain knowledge for automated modelling of aquatic ecosystems. Ecol Model 194(1\u20133):14\u201336. doi: 10.1016\/j.ecolmodel.2005.10.002","journal-title":"Ecol Model"},{"key":"9101_CR4","volume-title":"Proceedings of the winter simulation conference (WSC 06)","author":"P Benjamin","year":"2006","unstructured":"Benjamin P, Patki M, Mayer R (2006) Using ontologies for simulation modeling. In: Proceedings of the winter simulation conference (WSC 06). doi: 10.1109\/WSC.2006.323206"},{"key":"9101_CR5","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1016\/j.ijhcs.2006.06.006","volume":"11","author":"W Bridewell","year":"2006","unstructured":"Bridewell W, Sanchez JN, Langley P, Billman D (2006) An interactive environment for the modeling and discovery of scientific knowledge. Int J Hum-Comput Stud 11:1099\u20131114. doi: 10.1016\/j.ijhcs.2006.06.006","journal-title":"Int J Hum-Comput Stud"},{"key":"9101_CR6","volume-title":"Proceedings of the physiological society New Zealand","author":"DP Bullivant","year":"2001","unstructured":"Bullivant DP, Hedley WJ, Hunter PJ, Nelson MR, Nielsen PF (2001) Languages for the definition and exchange of biological models. In: Proceedings of the physiological society New Zealand, vol\u00a020"},{"key":"9101_CR7","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on computational systems biology. VI","author":"L Calzone","year":"2006","unstructured":"Calzone L, Chabrier-Rivier N, Fages F, Soliman S (2006) Machine learning biochemical networks from temporal logic properties. In: Priami C, Plotkin G (eds) Transactions on computational systems biology. VI. Lecture notes in computer science, vol\u00a04220. Springer, Berlin, pp 68\u201394"},{"issue":"4","key":"9101_CR8","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C (2007) Petri net modelling of biological networks. Brief Bioinform 8(4):210\u2013219","journal-title":"Brief Bioinform"},{"issue":"3","key":"9101_CR9","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.joi.2009.03.004","volume":"3","author":"C Chen","year":"2009","unstructured":"Chen C, Chen Y, Horowitz M, Hou H, Liu Z, Pellegrino D (2009) Towards an explanatory and computational theory of scientific discovery. J Informetr 3(3):191\u2013209","journal-title":"J Informetr"},{"key":"9101_CR10","volume-title":"All about maude\u2014a\u00a0high-performance logical framework","author":"M Clavel","year":"2007","unstructured":"Clavel M, Duran F, Eker S, Lincoln P, Marti-Oliet N, Meseguer J, Talcott C (2007) All about maude\u2014a\u00a0high-performance logical framework. Springer, Berlin"},{"issue":"1\u20133","key":"9101_CR11","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10994-006-8259-x","volume":"64","author":"S Colton","year":"2006","unstructured":"Colton S, Muggleton S (2006) Mathematical applications of inductive logic programming. Mach Learn 64(1\u20133):25\u201364. doi: 10.1007\/s10994-006-8259-x","journal-title":"Mach Learn"},{"issue":"3","key":"9101_CR12","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1609\/aimag.v30i3.2257","volume":"30","author":"S Colton","year":"2009","unstructured":"Colton S, de Mantaras Badia RL, Stock O (2009) Computational creativity: coming of age. AI Mag 30(3):11\u201314","journal-title":"AI Mag"},{"issue":"12","key":"9101_CR13","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1177\/0037549703040939","volume":"79","author":"AA Cuellar","year":"2003","unstructured":"Cuellar AA, Lloyd CM, Nielsen PF, Bullivant DP, Nickerson DP, Hunter PJ (2003) An overview of CellML 1.1, a biological model description language. SIMULATION 79(12):740\u2013747","journal-title":"SIMULATION"},{"key":"9101_CR14","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2004.03.066","volume":"325","author":"M Curti","year":"2004","unstructured":"Curti M, Degano P, Priami C, Baldari C (2004) Modelling biochemical pathways through enhanced pi-calculus. Theor Comput Sci 325:111\u2013140. doi: 10.1016\/j.tcs.2004.03.066","journal-title":"Theor Comput Sci"},{"key":"9101_CR15","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-73920-3_1","volume-title":"Computational discovery of scientific knowledge","author":"S D\u017eeroski","year":"2007","unstructured":"D\u017eeroski S, Langley P, Todorovski L (2007) Computational discovery of scientific knowledge. In: Computational discovery of scientific knowledge. Lecture notes in computer science, vol\u00a04660. Springer, Berlin, pp 1\u201314"},{"key":"9101_CR16","volume-title":"Proceedings of the 2004 winter simulation conference","author":"PA Fishwick","year":"2004","unstructured":"Fishwick PA, Miller JA (2004) Ontologies for modeling and simulation: issues and approaches. In: Proceedings of the 2004 winter simulation conference, vol\u00a01. doi: 10.1109\/WSC.2004.1371324"},{"issue":"8","key":"9101_CR17","doi-asserted-by":"crossref","first-page":"R86","DOI":"10.1186\/gb-2010-11-8-r86","volume":"11","author":"J Goecks","year":"2010","unstructured":"Goecks J, Nekrutenko A, Taylor J, Team G (2010) Galaxy: a comprehensive approach for supporting accessible, reproducible, and transparent computational research in the life sciences. Genome Biol 11(8):R86. doi: 10.1186\/gb-2010-11-8-r86","journal-title":"Genome Biol"},{"issue":"12","key":"9101_CR18","doi-asserted-by":"crossref","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"PJ Goss","year":"1998","unstructured":"Goss PJ, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95(12):6750\u20136755","journal-title":"Proc Natl Acad Sci USA"},{"issue":"1","key":"9101_CR19","first-page":"S-29","volume":"28","author":"W Hedley","year":"2000","unstructured":"Hedley W, Nielsen P, Hunter P (2000) XML languages for describing biological models and data. Ann Biomed Eng 28(1):S-29","journal-title":"Ann Biomed Eng"},{"issue":"4","key":"9101_CR20","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, and the rest of the SF, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin II, Hedley WJ, Hodgman TC, Hofmeyr JH, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Novere N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, Nakayama Y, Nelson MR, Nielsen PF, Sakurada T, Schaff JC, Shapiro BE, Shimizu TS, Spence HD, Stelling J, Takahashi K, Tomita M, Wagner J, Wang J (2003) The systems biology markup language (SBML): a\u00a0medium for representation and exchange of biochemical network models. Bioinformatics 19(4):524\u2013531. doi: 10.1093\/bioinformatics\/btg015","journal-title":"Bioinformatics"},{"issue":"Web Server issu","key":"9101_CR21","doi-asserted-by":"crossref","first-page":"W729","DOI":"10.1093\/nar\/gkl320","volume":"34","author":"D Hull","year":"2006","unstructured":"Hull D, Wolstencroft K, Stevens R, Goble C, Pocock MR, Li P, Oinn T (2006) Taverna: a tool for building and running workflows of services. Nucleic Acids Res 34(Web Server issue):W729\u2013W732. doi: 10.1093\/nar\/gkl320","journal-title":"Nucleic Acids Res"},{"key":"9101_CR22","first-page":"11217","volume":"108","author":"MEV Johansson","year":"2010","unstructured":"Johansson MEV, Holm\u00e9n Larsson JM, Hansson GC (2010) Microbes and health sackler colloquium: the\u00a0two mucus layers of colon are organized by the MUC2 mucin, whereas the outer layer is a legislator of host-microbial interactions. Proc Natl Acad Sci USA 108:11217\u201311222","journal-title":"Proc Natl Acad Sci USA"},{"issue":"5537","key":"9101_CR23","doi-asserted-by":"crossref","first-page":"2040","DOI":"10.1126\/science.1064621","volume":"293","author":"PD Karp","year":"2001","unstructured":"Karp PD (2001) Pathway databases: a case study in computational symbolic theories. Science 293(5537):2040\u20132044. doi: 10.1126\/science.1064621","journal-title":"Science"},{"key":"9101_CR24","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-73920-3_13","volume":"4660","author":"R King","year":"2007","unstructured":"King R, Karwath A, Clare A, Dehaspe L (2007) Logic and the automatic acquisition of scientific knowledge: an application to functional genomics. Comput Discov Sci Knowl 4660:273\u2013289","journal-title":"Comput Discov Sci Knowl"},{"issue":"5923","key":"9101_CR25","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1126\/science.1165620","volume":"324","author":"RD King","year":"2009","unstructured":"King RD, Rowland J, Oliver SG, Young M, Aubrey W, Byrne E, Liakata M, Markham M, Pir P, Soldatova LN, Sparkes A, Whelan KE, Clare A (2009) The automation of science. Science 324(5923):85\u201389. doi: 10.1126\/science.1165620","journal-title":"Science"},{"issue":"2","key":"9101_CR26","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0950-7051(94)90026-4","volume":"7","author":"M Krishnamurthy","year":"1994","unstructured":"Krishnamurthy M, Smith F (1994) Integration of scientific-data and formulas in an object-oriented knowledge-based system. Knowl-Based Syst 7(2):135\u2013141","journal-title":"Knowl-Based Syst"},{"key":"9101_CR27","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1006\/ijhc.2000.0396","volume":"3","author":"P Langley","year":"2000","unstructured":"Langley P (2000) The computational support of scientific discovery. Int J Hum-Comput Stud 3:393\u2013410","journal-title":"Int J Hum-Comput Stud"},{"issue":"7","key":"9101_CR28","doi-asserted-by":"crossref","first-page":"903","DOI":"10.1093\/bioinformatics\/btr040","volume":"27","author":"B Linke","year":"2011","unstructured":"Linke B, Giegerich R, Goesmann A (2011) Conveyor: a workflow engine for bioinformatic analyses. Bioinformatics 27(7):903\u2013911. doi: 10.1093\/bioinformatics\/btr040","journal-title":"Bioinformatics"},{"key":"9101_CR29","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/SIMSYM.2004.1299465","volume-title":"Proceedings of the 37th annual symposium on simulation","author":"JA Miller","year":"2004","unstructured":"Miller JA, Baramidze GT, Sheth AP, Fishwick PA (2004) Investigating ontologies for simulation modeling. In: Proceedings of the 37th annual symposium on simulation, Washington, DC, USA. IEEE Comput Soc, Los Alamitos, pp 55\u201363"},{"key":"9101_CR30","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/978-3-642-16761-4_31","volume":"6437","author":"O Montano-Rivas","year":"2010","unstructured":"Montano-Rivas O, McCasland R, Dixon L, Bundy A (2010) Scheme-based synthesis of inductive theories. Adv Artif Intell 6437:348\u2013361","journal-title":"Adv Artif Intell"},{"issue":"10","key":"9101_CR31","doi-asserted-by":"crossref","first-page":"1351","DOI":"10.1592\/phco.2005.25.10.1353","volume":"25","author":"MD Obritsch","year":"2005","unstructured":"Obritsch MD, Fish DN, MacLaren R, Jung R (2005) Nosocomial infections due to multidrug-resistant Pseudomonas aeruginosa: epidemiology and treatment options. Pharmacotherapy 25(10):1351\u20131364","journal-title":"Pharmacotherapy"},{"key":"9101_CR32","first-page":"181","volume-title":"Spring 2003 simulation interoperability workshop","author":"MD Petty","year":"2003","unstructured":"Petty MD, Weisel EW (2003) A composability lexicon. In: Spring 2003 simulation interoperability workshop, pp 181\u2013187"},{"issue":"7","key":"9101_CR33","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/j.knosys.2004.12.003","volume":"18","author":"H Prendinger","year":"2005","unstructured":"Prendinger H, Ishizuka M (2005) A creative abduction approach to scientific and knowledge discovery. Knowl-Based Syst 18(7):321\u2013326. doi: 10.1016\/j.knosys.2004.12.003","journal-title":"Knowl-Based Syst"},{"issue":"12","key":"9101_CR34","doi-asserted-by":"crossref","first-page":"1120","DOI":"10.1093\/bioinformatics\/16.12.1120","volume":"16","author":"A Rzhetsky","year":"2000","unstructured":"Rzhetsky A, Koike T, Kalachikov S, Gomez SM, Krauthammer M, Kaplan SH, Kra P, Russo JJ, Friedman\u00a0C (2000) A knowledge model for analysis and simulation of regulatory networks. Bioinformatics 16(12):1120\u20131128","journal-title":"Bioinformatics"},{"issue":"12","key":"9101_CR35","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/1323688.1323689","volume":"50","author":"B Shneiderman","year":"2007","unstructured":"Shneiderman B (2007) Creativity support tools\u2014accelerating discovery and innovation. Commun ACM 50(12):20\u201332","journal-title":"Commun ACM"},{"key":"9101_CR36","doi-asserted-by":"crossref","unstructured":"Silver GA, Miller JA, Hybinette M, Baramidze G, York WS (2011) DeMO: an ontology for discrete-event modeling and simulation. SIMULATION. doi: 10.1177\/0037549710386843","DOI":"10.1177\/0037549710386843"},{"key":"9101_CR37","unstructured":"USFDA (2004) Innovation or stagnation: opportunities and challenges on the critical path to new medical products. doi: http:\/\/www.fda.gov\/ScienceResearch\/SpecialTopics\/CriticalPathInitiative\/CriticalPathOpportunitiesReports\/ucm077262.htm"},{"issue":"5735","key":"9101_CR38","doi-asserted-by":"crossref","first-page":"774","DOI":"10.1126\/science.1112422","volume":"309","author":"L Wu","year":"2005","unstructured":"Wu L, Estrada O, Zaborina O, Bains M, Shen L, Kohler JE, Patel N, Musch MW, Chang EB, Fu Y-X, Jacobs MA, Nishimura MI, Hancock REW, Turner JR, Alverdy JC (2005) Recognition of host immune activation by Pseudomonas aeruginosa. Science 309(5735):774\u2013777","journal-title":"Science"},{"issue":"5","key":"9101_CR39","first-page":"1","volume":"5","author":"L Yilmaz","year":"2007","unstructured":"Yilmaz L (2007) A strategy for improving dynamic composability: ontology-driven introspective agent architectures. IJSCI : Int J Syst Cybern Inform 5(5):1\u20139","journal-title":"IJSCI : Int J Syst Cybern Inform"},{"key":"9101_CR40","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-642-17931-0_9","volume-title":"Intelligence-based systems engineering. Handbook on intelligence-based approaches for systems engineering","author":"L Yilmaz","year":"2011","unstructured":"Yilmaz L, Hunt CA (2011) Advanced concepts and generative simulation formalisms for creative discovery systems engineering. In: Tolk A, Jain L (eds) Intelligence-based systems engineering. Handbook on intelligence-based approaches for systems engineering. Springer, Berlin, pp 233\u2013258"},{"key":"9101_CR41","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-540-73920-3_11","volume-title":"Computational discovery of scientific knowledge","author":"B Zupan","year":"2007","unstructured":"Zupan B, Bratko I, Dem\u0161ar J, Juvan P, Kuspa A, Halter J, Shaulsky G (2007) Discovery of genetic networks through abduction and qualitative simulation. In: Computational discovery of scientific knowledge. Lecture notes in computer science, vol\u00a04660. Springer, Berlin, pp 228\u2013247"},{"key":"9101_CR42","first-page":"76","volume-title":"Proceedings of the national conference on artificial intelligence","author":"JM Zytkow","year":"1992","unstructured":"Zytkow JM, Zhu J, Zembowicz R (1992) Operational definition refinement: a discovery process. In: Proceedings of the national conference on artificial intelligence, pp 76\u201381"}],"container-title":["Computational and Mathematical Organization Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s10588-011-9101-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T02:37:35Z","timestamp":1560911855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10588-011-9101-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,5]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9101"],"URL":"https:\/\/doi.org\/10.1007\/s10588-011-9101-y","relation":{},"ISSN":["1381-298X","1572-9346"],"issn-type":[{"value":"1381-298X","type":"print"},{"value":"1572-9346","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,5]]}}}