Abstract: Foreword xiii Luis Farinas Del Cerro Chapter 1 Symbolic Representation and Inference or Regulatory Network Structures 1 Nataly Maimari, Krysia Broda, Antonis Kakas, Rob Krams and Alessandra Russo Chapter 2 Reasoning on the Response of Logical Signaling Networks with ASP 49 Torsten Schaub, Anne Siegek and Santiago Videla Chapter 3 A Logical Model for Molecular Interaction Maps 93 Robert DeMolombe, Luis Farinas Del Cerro and Naji Obeid Chapter 4 Analyzing Large Network Dynamics with Process Hitting 125 Loic Pauleve, Courtney Chancellor, Maxime Folschette, Morgan Magnin and Olivier Roux Chapter 5 ASP for Construction and Validation of Regulatory Biological Networks Alexandre Rocca, Nicolas Mobilia, Eric Fanchon, Tony Ribeiro, Laurent Trilling and Katsumi Inoue Chapter 6 Simulation-Based Reasoning about Biological Pathways Using Petri Nets and ASP 207 Saadat Anwar, Chitta Barbal and Katsumi Inoue Chapter 7 Formal Methods Applied to Gene Networks Modeling 245 Gilles Bernot, Jean-Paul Comet and El Houssine Snaussi Chapter 8 Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers 291 Francois Fages and Pauline Traynard Chapter 9 Analyzing SBGN-AF Networks Using Normal Logic Programs 325 Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto and Katsumi Inoue Chapter 10 Machine Learning of Biological Networks Using Abductive ILP 363 Alireza Tamassoni, Diahuan Lin, Hiroaki Watanabe, Jianzhong Chen and Stephen Muggleton List of Authors 403 Index 407
Publication Year: 2014
Publication Date: 2014-01-01
Language: en
Type: book
Access and Citation
Cited By Count: 5
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot