From syntax to semantics in systems biology towards automated reasoning tools

被引：0
|
作者：
Fages, Francois [1 ]
机构：
[1] Inst Natl Rech Informat & Automat, Project Contraintes, F-78153 Le Chesnay, France
来源：
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY IV | 2006年 / 3939卷
关键词：
D O I：
暂无
中图分类号：
Q5 [生物化学];
学科分类号：
071010 ; 081704 ;
摘要：
引用
收藏
页码：68 / 70
页数：3
相关论文
共 50 条
  • [1] QUALITATIVE MAGNITUDE REASONING - TOWARDS A NEW SYNTAX AND SEMANTICS FOR DEFAULT REASONING
    WEYDERT, E
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 543 : 138 - 160
  • [2] Automated reasoning tools for molecular biology
    Fages, F
    KI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3238 : 1 - 2
  • [3] On the partitioning of syntax and semantics for hybrid systems tools
    Sprinkle, Jonathan
    Ames, Aaron D.
    Pinto, Alessandro
    Zheng, Haiyang
    Sastry, S. Shankar
    2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 4694 - 4699
  • [4] OCL: Syntax, semantics, and tools
    Richters, M
    Gogolla, M
    OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 42 - 68
  • [5] Automated Reasoning for Systems Biology and Medicine Preface
    Lio, Pietro
    Zuliani, Paolo
    AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE, 2019, 30 : V - VII
  • [6] SYNTAX AND SEMANTICS OF A MONOTONIC FRAMEWORK FOR NONMONOTONIC REASONING
    ABDALLAH, MAN
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 357 - 366
  • [7] ETRE AND AVOIR - IS IT FROM SEMANTICS TO SYNTAX OR FROM SYNTAX TO SEMANTICS
    SCHMIDELY, J
    REVUE DES LANGUES ROMANES, 1991, 95 (01) : 147 - 157
  • [8] From syntax to semantics
    Rappaport, A
    NATURE BIOTECHNOLOGY, 1997, 15 (12) : 1228 - 1228
  • [9] From the syntax to the semantics
    Aldea, Maria
    REVUE ROUMAINE DE LINGUISTIQUE-ROMANIAN REVIEW OF LINGUISTICS, 2014, 59 (04): : 401 - 403
  • [10] From syntax to semantics
    Alain Rappaport
    Nature Biotechnology, 1997, 15 : 1228 - 1228
12345