Adding concrete syntax to a prolog-based program synthesis system (Extended abstract)

被引：0
|
作者：
Fischer, Bernd [1 ]
Visser, Eelco [2 ]
机构：
[1] RIACS, NASA Ames Research Center, Moffett Field, CA 94035, United States
[2] Institute of Information and Computing Sciences, Universiteit Utrecht, 3508 TB Utrecht, Netherlands
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004年 / 3018卷
关键词：
D O I：
10.1007/978-3-540-25938-1_5
中图分类号：
学科分类号：
摘要：
7
引用
收藏
页码：56 / 58
相关论文
共 50 条
  • [41] CONCEPTUAL GRAPH-BASED SYSTEM FOR ASSEMBLY PROGRAM SYNTHESIS
    MAIMON, O
    KAPITANOVSKY, A
    ROBOTICA, 1992, 10 : 329 - 338
  • [42] Integrating Arden-Syntax-based clinical decision support with extended presentation formats into a commercial patient data management system
    Stefan Kraus
    Ixchel Castellanos
    Dennis Toddenroth
    Hans-Ulrich Prokosch
    Thomas Bürkle
    Journal of Clinical Monitoring and Computing, 2014, 28 : 465 - 473
  • [43] Integrating Arden-Syntax-based clinical decision support with extended presentation formats into a commercial patient data management system
    Kraus, Stefan
    Castellanos, Ixchel
    Toddenroth, Dennis
    Prokosch, Hans-Ulrich
    Buerkle, Thomas
    JOURNAL OF CLINICAL MONITORING AND COMPUTING, 2014, 28 (05) : 465 - 473
  • [44] Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)
    Reis, Mauricio D. L.
    Ferme, Eduardo
    Peppas, Pavlos
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 5045 - 5049
  • [45] An intelligent action control system based on extended vector annotated logic program and its hardware implementation
    Nakamatsu, Kazumi
    Mita, Yoshio
    Shibata, Tadashi
    INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2007, 13 (03): : 289 - 304
  • [46] Static Analysis Based Business Logic Modelling From Legacy System Code Business Process Model Notation (BPMN) Extraction Using Abstract Syntax Tree (AST)
    Alawairdhi, Mohammed
    2015 INTERNATIONAL SYMPOSIUM ON NETWORKS, COMPUTERS AND COMMUNICATIONS (ISNCC 2015), 2015,
  • [47] Green fluorescence pyrene-based dye as a new π-extended system: Synthesis, photophysical and theoretical studies
    de Franca, Bruna M.
    Bello Forero, Josue S.
    Garden, Simon J.
    Ribeiro, Emerson S.
    Souza, Rodrigo da S.
    Teixeira, Raquel S.
    Correa, Rodrigo J.
    DYES AND PIGMENTS, 2018, 148 : 444 - 451
  • [48] Damage detection based on system identification of concrete dams using an extended finite element-wavelet transform coupled procedure
    Pirboudaghi, Sajjad
    Tarinejad, Reza
    Alami, Mohammad Taghi
    JOURNAL OF VIBRATION AND CONTROL, 2018, 24 (18) : 4226 - 4246
  • [49] Multi-Objective Synthesis Based on Extended State Observer and LMI Optimization for Excitation System of Synchronous Generator
    Li, Jiang
    Li, Guoqing
    2009 ASIA-PACIFIC POWER AND ENERGY ENGINEERING CONFERENCE (APPEEC), VOLS 1-7, 2009, : 1428 - +
  • [50] Improving productivity in NC lathe turning based on NC program diagnosis system (2nd report) - turning processes identification using syntax analysis approach -
    Kawabata, Hiroshi
    Shirase, Keiichi
    Sasayama, Kouichi
    Fujimura, Yoshio
    Yasui, Takeshi
    Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering, 1994, 60 (04): : 576 - 580
12345