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 条
  • [41] Towards Data-Driven Programming Problem Generation for Mastery Learning
    Lytle, Nicholas
    ICER '19 - PROCEEDINGS OF THE 2019 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, 2019, : 339 - 340
  • [42] A Data-Driven Approach to Compare the Syntactic Difficulty of Programming Languages
    Lokkila, Erno
    Christopoulos, Athanasios
    Laakso, Mikko-Jussi
    Journal of Information Systems Education, 2023, 34 (01) : 84 - 93
  • [43] A Data-Driven Policy Iteration Scheme based on Linear Programming
    Banjac, Goran
    Lygeros, John
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 816 - 821
  • [44] Data-Driven Differential Dynamic Programming Using Gaussian Processes
    Pan, Yunpeng
    Theodorou, Evangelos A.
    2015 AMERICAN CONTROL CONFERENCE (ACC), 2015, : 4467 - 4472
  • [45] Data-Driven Control of Unknown Systems: A Linear Programming Approach
    Tanzanakis, Alexandros
    Lygeros, John
    IFAC PAPERSONLINE, 2020, 53 (02): : 7 - 13
  • [46] Data-driven Linear Quadratic Regulation via Semidefinite Programming
    Rotulo, Monica
    De Persis, Claudio
    Tesi, Pietro
    IFAC PAPERSONLINE, 2020, 53 (02): : 3995 - 4000
  • [47] Data-Driven Stochastic Programming Approach for Personnel Scheduling in Retailing
    Liu, Ming
    Liang, Bian
    2019 16TH INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT (ICSSSM2019), 2019,
  • [48] A Comparison of the Quality of Data-Driven Programming Hint Generation Algorithms
    Pricer, Thomas W.
    Dong, Yihuan
    Zhi, Rui
    Paassen, Benjamin
    Lytle, Nicholas
    Catete, Veronica
    Barnes, Tiffany
    INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION, 2019, 29 (03) : 368 - 395
  • [49] Data-Driven Program Synthesis for Hint Generation in Programming Tutors
    Lazar, Timotej
    Bratko, Ivan
    INTELLIGENT TUTORING SYSTEMS, ITS 2014, 2014, 8474 : 306 - 311
  • [50] Upgrades of Genetic Programming for Data-Driven Modeling of Time Series
    Murari, A.
    Peluso, E.
    Spolladore, L.
    Rossi, R.
    Gelfusa, M.
    EVOLUTIONARY COMPUTATION, 2023, 31 (04) : 401 - 432
12345