Logical Modeling of Biological Systems
- English
- ePUB (mobile friendly)
- Available on iOS & Android
Logical Modeling of Biological Systems
About this book
Systems Biology is the systematic study of the interactions between the components of a biological system and studies how these interactions give rise to the function and behavior of the living system. Through this, a life process is to be understood as a whole system rather than the collection of the parts considered separately. Systems Biology is therefore more than just an emerging field: it represents a new way of thinking about biology with a dramatic impact on the way that research is performed. The logical approach provides an intuitive method to provide explanations based on an expressive relational language.
This book covers various aspects of logical modeling of biological systems, bringing together 10 recent logic-based approaches to Systems Biology by leading scientists. The chapters cover the biological fields of gene regulatory networks, signaling networks, metabolic pathways, molecular interaction and network dynamics, and show logical methods for these domains based on propositional and first-order logic, logic programming, answer set programming, temporal logic, Boolean networks, Petri nets, process hitting, and abductive and inductive logic programming.
It provides an excellent guide for all scientists, biologists, bioinformaticians, and engineers, who are interested in logic-based modeling of biological systems, and the authors hope that new scientists will be encouraged to join this exciting scientific endeavor.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Cover
- Contents
- Title Page
- Copyright
- Foreword
- 1 Symbolic Representation and Inference of Regulatory Network Structures
- 2 Reasoning on the Response of Logical Signaling Networks with ASP
- 3 A Logical Model for Molecular Interaction Maps
- 4 Analyzing Large Network Dynamics with Process Hitting
- 5 ASP for Construction and Validation of Regulatory Biological Networks
- 6 Simulation-based Reasoning about Biological Pathways Using Petri Nets and ASP
- 7 Formal Methods Applied to Gene Network Modeling
- 8 Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers
- 9 Analyzing SBGN-AF Networks Using Normal Logic Programs
- 10 Machine Learning of Biological Networks using Abductive ILP
- List of Authors
- Index