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 条
  • [31] Modelling gene and protein regulatory networks with Answer Set Programming
    Fayruzov, Timur
    Janssen, Jeroen
    Vermeir, Dirk
    Cornelis, Chris
    De Cock, Martine
    INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS, 2011, 5 (02) : 209 - 229
  • [32] Modeling Natural Language Metaphors with an Answer Set Programming Framework
    Acosta-Guadarrama, Juan Carlos
    Davila-Perez, Rogelio
    Osorio, Mauricio
    Hugo Zaldivar, Victor
    HUMAN-INSPIRED COMPUTING AND ITS APPLICATIONS, PT I, 2014, 8856 : 28 - 36
  • [33] Answer Set Programming via Controlled Natural Language Processing
    Schwitter, Rolf
    CONTROLLED NATURAL LANGUAGE, CNL 2012, 2012, 7427 : 26 - 43
  • [34] Rescheduling master surgical schedules via answer set programming
    Galata, Giuseppe
    Maratea, Marco
    Marte, Cinzia
    Mochi, Marco
    PROGRESS IN ARTIFICIAL INTELLIGENCE, 2024,
  • [35] Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
    Faber, Wolfgang
    Morak, Michael
    Chrpa, Lukas
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364
  • [36] Answer Sets and the Language of Answer Set Programming
    Lifschitz, Vladimir
    AI MAGAZINE, 2016, 37 (03) : 7 - 11
  • [37] Hybrid Answer Set Programming
    Brik, Alex
    Remmel, Jeffrey
    ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) : 134 - 163
  • [38] Fuzzy answer set programming
    Van Nieuwenborgh, Davy
    De Cock, Martine
    Vermeir, Dirk
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 359 - 372
  • [39] Functional answer set programming
    Cabalar, Pedro
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 203 - 233
  • [40] Coordination in answer set programming
    Sakama, Chiaki
    Inoue, Katsumi
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (02)
12345