Frioux, Clémence; Schaub, Torsten; Schellhorn, Sebastian; Siegel, Anne; Wanko, Philipp Hybrid metabolic network completion. (English) Zbl 1486.92062 Theory Pract. Log. Program. 19, No. 1, 83-108 (2019). MSC: 92C40 92C42 68T20 PDFBibTeX XMLCite \textit{C. Frioux} et al., Theory Pract. Log. Program. 19, No. 1, 83--108 (2019; Zbl 1486.92062) Full Text: DOI
Erdem, Esra; Oztok, Umut Generating explanations for biomedical queries. (English) Zbl 1379.68059 Theory Pract. Log. Program. 15, No. 1, 35-78 (2015). MSC: 68N17 68T30 68T35 92C50 PDFBibTeX XMLCite \textit{E. Erdem} and \textit{U. Oztok}, Theory Pract. Log. Program. 15, No. 1, 35--78 (2015; Zbl 1379.68059) Full Text: DOI arXiv
Cakmak, Duygu; Erdem, Esra; Erdogan, Halit Computing weighted solutions in ASP: representation-based method vs. search-based method. (English) Zbl 1402.68031 Ann. Math. Artif. Intell. 62, No. 3-4, 219-258 (2011). MSC: 68N17 68T20 92D15 PDFBibTeX XMLCite \textit{D. Cakmak} et al., Ann. Math. Artif. Intell. 62, No. 3--4, 219--258 (2011; Zbl 1402.68031) Full Text: DOI
Durzinsky, Markus; Marwan, Wolfgang; Ostrowski, Max; Schaub, Torsten; Wagler, Annegret Automatic network reconstruction using ASP. (English) Zbl 1219.92020 Theory Pract. Log. Program. 11, No. 4-5, 749-766 (2011). MSC: 92C40 92C42 68U99 PDFBibTeX XMLCite \textit{M. Durzinsky} et al., Theory Pract. Log. Program. 11, No. 4--5, 749--766 (2011; Zbl 1219.92020) Full Text: DOI arXiv
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Usadel, Björn; Veber, Philippe Detecting inconsistencies in large biological networks with answer set programming. (English) Zbl 1185.92052 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 130-144 (2008). MSC: 92C42 68N17 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 5366, 130--144 (2008; Zbl 1185.92052) Full Text: DOI arXiv
Brooks, Daniel R.; Erdem, Esra; Erdoğan, Selim T.; Minett, James W.; Ringe, Don Inferring phylogenetic trees using answer set programming. (English) Zbl 1132.68676 J. Autom. Reasoning 39, No. 4, 471-511 (2007). MSC: 68T15 68N17 91F20 92D15 68T30 PDFBibTeX XMLCite \textit{D. R. Brooks} et al., J. Autom. Reasoning 39, No. 4, 471--511 (2007; Zbl 1132.68676) Full Text: DOI