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 条
  • [41] The Answer Set Programming Competition
    Calimeri, Francesco
    Ianni, Giovambattista
    Krennwallner, Thomas
    Ricca, Francesco
    AI MAGAZINE, 2012, 33 (04) : 114 - 118
  • [42] Modular answer set programming
    Oikarinen, Emilia
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 462 - 463
  • [43] Answer set programming and agents
    Dyoub, Abeer
    Costantini, Stefania
    De Gasperis, Giovanni
    KNOWLEDGE ENGINEERING REVIEW, 2018, 33
  • [44] Monotonic Answer Set Programming
    Gebser, Martin
    Gharib, Mona
    Mercer, Robert
    Schaub, Torsten
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (04) : 539 - 564
  • [45] Answer Set Programming with Resources
    Costantini, Stefania
    Formisano, Andrea
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (02) : 533 - 571
  • [46] Reconstructing the evolutionary history of Indo-European languages using answer set programming
    Erdem, E
    Lifschitz, V
    Nakhleh, L
    Ringe, D
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2003, 2562 : 160 - 176
  • [47] Explanations for Answer Set Programming
    Alviano, Mario
    Trieu, Ly Ly
    Son, Tran Cao
    Balduccini, Marcello
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 385 : 27 - 40
  • [48] Reactive Answer Set Programming
    Gebser, Martin
    Grote, Torsten
    Kaminski, Roland
    Schaub, Torsten
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 54 - 66
  • [49] Matchmaking with Answer Set Programming
    Gebser, Martin
    Glase, Thomas
    Sabuncu, Orkunt
    Schaub, Torsten
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 342 - 347
  • [50] Achievements in answer set programming
    Lifschitz, Vladimir
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 961 - 973
12345