A method to identify and analyze biological programs through automated reasoning

Keyphrases

• Automated Reasoning 100%
• Biological Program 100%
• Biological Processes 50%
• Dynamic Model 50%
• Network Model 50%
• Implicit Assumptions 50%
• Complete Set 50%
• Interaction Network 50%
• Observed Behavior 50%
• Logic Model 50%
• Predictive Power 50%
• Formal Reasoning 50%
• Cell Function 50%
• Complex Biological Systems 50%
• Mechanistic Model 50%
• Mechanistic Explanation 50%
• Explanatory Power 50%
• Predictive Biology 50%
• Predictive Dynamics 50%
• Static Interaction 50%
• Power Model 50%

Computer Science

• Formal Reasoning 100%
• Automated Reasoning 100%
• Logical Model 100%
• Candidate Model 100%
• Biological System 100%
• Predictive Power 100%
• Observed Behavior 100%
• Explanatory Power 100%
• Implicit Approach 100%