A DATA-DRIVEN MODEL FOR A SUBSET OF LOGIC PROGRAMMING

被引：5
|
作者：
BIC, L
LEE, C
机构：
[1] Univ of California, Irvine, CA, USA, Univ of California, Irvine, CA, USA
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1987年 / 9卷 / 04期
关键词：
D O I：
10.1145/29873.31333
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
24
引用
收藏
页码：618 / 645
页数：28
相关论文
共 50 条
  • [31] Data-Driven Mathematical Model of Osteosarcoma
    Le, Trang
    Su, Sumeyye
    Kirshtein, Arkadz
    Shahriyari, Leili
    CANCERS, 2021, 13 (10)
  • [32] A Conceptual Model of Data-Driven Solutions
    Burkhardt, Daniel
    Lasi, Heiner
    AMCIS 2020 PROCEEDINGS, 2020,
  • [33] Data-Driven Model for Rockburst Prediction
    Zhao, Hongbo
    Chen, Bingrui
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2020, 2020
  • [34] A Data-Driven Model for Range Sensors
    Spiess, Florian
    Strobel, Norbert
    Kaupp, Tobias
    Kounev, Samuel
    INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, 2024, 18 (02) : 205 - 222
  • [35] Data-driven Exemplar Model Selection
    Misra, Ishan
    Shrivastava, Abhinav
    Hebert, Martial
    2014 IEEE WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION (WACV), 2014, : 339 - 346
  • [36] Data-Driven Business Model Innovation
    Sorescu, Alina
    JOURNAL OF PRODUCT INNOVATION MANAGEMENT, 2017, 34 (05) : 691 - 696
  • [37] Creating Data-Driven Feedback for Novices in Goal-Driven Programming Projects
    Price, Thomas W.
    Barnes, Tiffany
    ARTIFICIAL INTELLIGENCE IN EDUCATION, AIED 2015, 2015, 9112 : 856 - 859
  • [38] A DATA-DRIVEN MACHINE FOR OR-PARALLEL EVALUATION OF LOGIC PROGRAMS
    HALIM, Z
    NEW GENERATION COMPUTING, 1986, 4 (01) : 5 - 33
  • [39] Direct data-driven control with signal temporal logic specifications
    van Huijgevoort, B. C.
    Verhoek, C.
    Toth, R.
    Haesaert, S.
    IFAC PAPERSONLINE, 2024, 58 (11): : 177 - 182
  • [40] Data-Driven Verification under Signal Temporal Logic Constraints
    Salamati, Ali
    Soudjani, Sadegh
    Zamani, Majid
    IFAC PAPERSONLINE, 2020, 53 (02): : 76 - 81
12345