Foreword xiii
Luis Fariñas 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 Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin and Olivier Roux
Chapter 5 ASP for Construction and Validation of Regulatory Biological Networks
Alexandre Rocca, Nicolas Mobilia, Éric 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
François 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
