Detecting inconsistencies in large biological networks with answer set programming
暂无分享,去创建一个
Martin Gebser | Torsten Schaub | Sven Thiele | Philippe Veber | Torsten Schaub | B. Usadel | P. Veber | M. Gebser | S. Thiele
[1] Martin Gebser,et al. clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.
[2] M. J. Mallory,et al. Meiosis-specific destruction of the Ume6p repressor by the Cdc20-directed APC/C. , 2007, Molecular cell.
[3] Martin Gebser,et al. Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming , 2010, KR.
[4] Martin Gebser,et al. The Conflict-Driven Answer Set Solver clasp: Progress Report , 2009, LPNMR.
[5] Vipul Periwal,et al. System Modeling in Cellular Biology: From Concepts to Nuts and Bolts , 2006 .
[6] Martin Gebser,et al. Solution Enumeration for Projected Boolean Search Problems , 2009, CPAIOR.
[7] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[8] David G. Mitchell,et al. A SAT Solver Primer , 2005, Bull. EATCS.
[9] Martin Gebser,et al. Conflict-Driven Answer Set Enumeration , 2007, LPNMR.
[10] R. Albert,et al. The large-scale organization of metabolic networks , 2000, Nature.
[11] Identification of the Sin3-Binding Site in Ume6 Defines a Two-Step Process for Conversion of Ume6 from a Transcriptional Repressor to an Activator in Yeast , 2001, Molecular and Cellular Biology.
[12] Michael Gelfond,et al. Answer Sets , 2008, Handbook of Knowledge Representation.
[13] Alan M. Frieze,et al. Random graphs , 2006, SODA '06.
[14] Michal Linial,et al. Using Bayesian Networks to Analyze Expression Data , 2000, J. Comput. Biol..
[15] F. Moreews,et al. BioQuali Cytoscape plugin: analysing the global consistency of regulatory networks , 2009, BMC Genomics.
[16] Nicolas Beldiceanu,et al. 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12) , 2012 .
[17] P. Brown,et al. Whole-genome expression analysis of snf/swi mutants of Saccharomyces cerevisiae. , 2000, Proceedings of the National Academy of Sciences of the United States of America.
[18] Yuliya Lierler,et al. Answer Set Programming Based on Propositional Satisfiability , 2006, Journal of Automated Reasoning.
[19] Martin Gebser,et al. GrinGo : A New Grounder for Answer Set Programming , 2007, LPNMR.
[20] Mihalis Yannakakis,et al. The complexity of facets (and some facets of complexity) , 1982, STOC '82.
[21] Martin Gebser,et al. On the Input Language of ASP Grounder Gringo , 2009, LPNMR.
[22] Adrien Richard,et al. R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics , 2005, Fundam. Informaticae.
[23] Frank van Harmelen,et al. Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.
[24] Araceli M. Huerta,et al. Regulatory network of Escherichia coli: consistency between literature knowledge and microarray profiles. , 2003, Genome research.
[25] Denis Thieffry,et al. Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework , 2008, Adv. Appl. Math..
[26] Peter Struss,et al. Qualitative Reasoning , 1997, The Computer Science and Engineering Handbook.
[27] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[28] Anthony G. Cohn,et al. Qualitative Reasoning , 1987, Advanced Topics in Artificial Intelligence.
[29] Jia-Huai You,et al. Unfolding partiality and disjunctions in stable model semantics , 2000, TOCL.
[30] C. Soulé. Graphic Requirements for Multistationarity , 2004, Complexus.
[31] Georg Gottlob,et al. On the computational cost of disjunctive logic programming: Propositional case , 1995, Annals of Mathematics and Artificial Intelligence.
[32] Adrien Richard,et al. Necessary conditions for multistationarity in discrete dynamical systems , 2007, Discret. Appl. Math..
[33] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[34] B. Palsson,et al. The model organism as a system: integrating 'omics' data sets , 2006, Nature Reviews Molecular Cell Biology.
[35] M. Gelfond,et al. Disjunctive Defaults , 1991 .
[36] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[37] Christophe Soulé,et al. Mathematical approaches to differentiation and gene regulation. , 2005, Comptes rendus biologies.
[38] Carito Guziolowski,et al. Checking Consistency Between Expression Data and Large Scale Regulatory Networks: A Case Study , 2007 .
[39] Yuliya Lierler,et al. cmodels - SAT-Based Disjunctive Answer Set Solver , 2005, LPNMR.
[40] Rina Dechter,et al. Propositional semantics for disjunctive logic programs , 1994, Annals of Mathematics and Artificial Intelligence.
[41] Nachum Dershowitz,et al. A Scalable Algorithm for Minimal Unsatisfiable Core Extraction , 2006, SAT.
[42] Martin Gebser,et al. Conflict-Driven Disjunctive Answer Set Solving , 2008, KR.
[43] P. Bourgine,et al. Topological and causal structure of the yeast transcriptional regulatory network , 2002, Nature Genetics.
[44] Meng Chen,et al. Transcriptional regulation of yeast phospholipid biosynthetic genes. , 2007, Biochimica et biophysica acta.
[45] P. Veber,et al. Complex Qualitative Models in Biology: A New Approach , 2004, Complexus.
[46] Benjamin Kuipers,et al. Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..
[47] Vipul Periwal,et al. Stoichiometric and Constraint-based Modeling , 2006 .
[48] A Siegel,et al. Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks. , 2006, Bio Systems.
[49] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[50] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..