Modeling Biological Networks by Action Languages via Answer Set Programming

被引：0
|
作者：
Steve Dworschak
Susanne Grell
Victoria J. Nikiforova
Torsten Schaub
Joachim Selbig
机构：
[1] Universität Potsdam,Institut für Informatik
[2] Max-Planck-Institut für molekulare Pflanzenphysiologie,Institut für Biologie/Biochemie
[3] Universität Potsdam,Timiryazev Institute of Plant Physiology
[4] Russian Academy of Sciences,undefined
来源：
Constraints | 2008年 / 13卷
关键词：
Biological network model; Action language; Answer set programming;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks, building on previous work by Baral et al. We introduce its syntax and semantics along with a translation into answer set programming, an efficient Boolean Constraint Programming Paradigm. Finally, we describe one of its applications, namely, the sulfur starvation response-pathway of the model plant Arabidopsis thaliana and sketch the functionality of our system and its usage.
引用
收藏
页码：21 / 65
页数：44
相关论文
共 50 条
  • [1] Modeling biological networks by action languages via answer set programming
    Dworschak, Steve
    Grell, Susanne
    Nikiforova, Victoria J.
    Schaub, Torsten
    Selbig, Joachim
    CONSTRAINTS, 2008, 13 (1-2) : 21 - 65
  • [2] Modelling biological networks by action languages via answer set programming
    Grell, Susanne
    Schaub, Torsten
    Selbig, Joachim
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 285 - 299
  • [3] Modeling Protein Interaction Networks with Answer Set Programming
    Fayruzov, Timur
    De Cock, Martine
    Cornelis, Chris
    Vermeir, Dirk
    2009 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, 2009, : 99 - +
  • [4] Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
    Gebser, Martin
    Schaub, Torsten
    Thiele, Sven
    Usadel, Bjoern
    Veber, Philippe
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 130 - +
  • [5] Detecting inconsistencies in large biological networks with answer set programming
    Gebser, Martin
    Schaub, Torsten
    Thiele, Sven
    Veber, Philippe
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 323 - 360
  • [6] Modeling multi-valued biological interaction networks using fuzzy answer set programming
    Mushthofa, Mushthofa
    Schockaert, Steven
    Hung, Ling-Hong
    Marchal, Kathleen
    De Cocka, Martine
    FUZZY SETS AND SYSTEMS, 2018, 345 : 63 - 82
  • [7] Integrating ontology languages and answer set programming
    Heymans, S
    Vermeir, D
    14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 584 - 588
  • [8] Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C and Beyond
    Zhang, Haodi
    Lin, Fangzhen
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3285 - 3291
  • [9] Relating constraint answer set programming languages and algorithms
    Lierler, Yuliya
    ARTIFICIAL INTELLIGENCE, 2014, 207 : 1 - 22
  • [10] Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming
    Ben Abdallah, Emna
    Folschette, Maxime
    Roux, Olivier
    Magnin, Morgan
    PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, 2015, : 281 - 285
12345