Luis Fariñas del Cerro, Professor, IRIT, Toulouse, France. Katsumi Inoue, Professor, NII, Tokyo, Japan.

• Foreword xiiiLuis Fariñas Del Cerro Chapter 1 Symbolic Representation and Inference or Regulatory Network Structures 1Nataly Maimari, Krysia Broda, Antonis Kakas, Rob Krams and Alessandra RussoChapter 2 Reasoning on the Response of Logical Signaling Networks with ASP 49Torsten Schaub, Anne Siegek and Santiago VidelaChapter 3 A Logical Model for Molecular Interaction Maps 93Robert DeMolombe, Luis Farinas Del Cerro and Naji ObeidChapter 4 Analyzing Large Network Dynamics with Process Hitting 125Loic Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin and Olivier RouxChapter 5 ASP for Construction and Validation of Regulatory Biological NetworksAlexandre Rocca, Nicolas Mobilia, Éric Fanchon, Tony Ribeiro, Laurent Trilling and Katsumi InoueChapter 6 Simulation-Based Reasoning about Biological Pathways Using Petri Nets and ASP 207Saadat Anwar, Chitta Barbal and Katsumi InoueChapter 7 Formal Methods Applied to Gene Networks Modeling 245Gilles Bernot, Jean-Paul Comet and El Houssine SnaussiChapter 8 Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers 291François Fages and Pauline TraynardChapter 9 Analyzing SBGN-AF Networks Using Normal Logic Programs 325Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto and Katsumi InoueChapter 10 Machine Learning of Biological Networks Using Abductive ILP 363Alireza Tamassoni, Diahuan Lin, Hiroaki Watanabe, Jianzhong Chen and Stephen MuggletonList of Authors 403Index 407

Luis Fariñas del Cerro, Professor, IRIT, Toulouse, France. Katsumi Inoue, Professor, NII, Tokyo, Japan.

• Foreword xiiiLuis Fariñas Del Cerro Chapter 1 Symbolic Representation and Inference or Regulatory Network Structures 1Nataly Maimari, Krysia Broda, Antonis Kakas, Rob Krams and Alessandra RussoChapter 2 Reasoning on the Response of Logical Signaling Networks with ASP 49Torsten Schaub, Anne Siegek and Santiago VidelaChapter 3 A Logical Model for Molecular Interaction Maps 93Robert DeMolombe, Luis Farinas Del Cerro and Naji ObeidChapter 4 Analyzing Large Network Dynamics with Process Hitting 125Loic Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin and Olivier RouxChapter 5 ASP for Construction and Validation of Regulatory Biological NetworksAlexandre Rocca, Nicolas Mobilia, Éric Fanchon, Tony Ribeiro, Laurent Trilling and Katsumi InoueChapter 6 Simulation-Based Reasoning about Biological Pathways Using Petri Nets and ASP 207Saadat Anwar, Chitta Barbal and Katsumi InoueChapter 7 Formal Methods Applied to Gene Networks Modeling 245Gilles Bernot, Jean-Paul Comet and El Houssine SnaussiChapter 8 Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers 291François Fages and Pauline TraynardChapter 9 Analyzing SBGN-AF Networks Using Normal Logic Programs 325Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto and Katsumi InoueChapter 10 Machine Learning of Biological Networks Using Abductive ILP 363Alireza Tamassoni, Diahuan Lin, Hiroaki Watanabe, Jianzhong Chen and Stephen MuggletonList of Authors 403Index 407

Luis Fariñas del Cerro, Professor, IRIT, Toulouse, France. Katsumi Inoue, Professor, NII, Tokyo, Japan.

• Foreword xiiiLuis Fariñas Del Cerro Chapter 1 Symbolic Representation and Inference or Regulatory Network Structures 1Nataly Maimari, Krysia Broda, Antonis Kakas, Rob Krams and Alessandra RussoChapter 2 Reasoning on the Response of Logical Signaling Networks with ASP 49Torsten Schaub, Anne Siegek and Santiago VidelaChapter 3 A Logical Model for Molecular Interaction Maps 93Robert DeMolombe, Luis Farinas Del Cerro and Naji ObeidChapter 4 Analyzing Large Network Dynamics with Process Hitting 125Loic Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin and Olivier RouxChapter 5 ASP for Construction and Validation of Regulatory Biological NetworksAlexandre Rocca, Nicolas Mobilia, Éric Fanchon, Tony Ribeiro, Laurent Trilling and Katsumi InoueChapter 6 Simulation-Based Reasoning about Biological Pathways Using Petri Nets and ASP 207Saadat Anwar, Chitta Barbal and Katsumi InoueChapter 7 Formal Methods Applied to Gene Networks Modeling 245Gilles Bernot, Jean-Paul Comet and El Houssine SnaussiChapter 8 Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers 291François Fages and Pauline TraynardChapter 9 Analyzing SBGN-AF Networks Using Normal Logic Programs 325Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto and Katsumi InoueChapter 10 Machine Learning of Biological Networks Using Abductive ILP 363Alireza Tamassoni, Diahuan Lin, Hiroaki Watanabe, Jianzhong Chen and Stephen MuggletonList of Authors 403Index 407