Efficient program synthesis using constraint satisfaction in inductive logic programming

被引：231
|
作者：
Ahlgren, John [1 ]
Yuen, Shiu Yin [1 ]
机构：
[1] Ahlgren, John
[2] Yuen, Shiu Yin
来源：
| 2013年 / Microtome Publishing卷 / 14期
关键词：
D O I：
10.1145/800157.805047
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：3649 / 3681
相关论文
共 50 条
  • [1] Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming
    Ahlgren, John
    Yuen, Shiu yin
    JOURNAL OF MACHINE LEARNING RESEARCH, 2013, 14 : 3649 - 3682
  • [2] CONSTRAINT SATISFACTION USING CONSTRAINT LOGIC PROGRAMMING
    VANHENTENRYCK, P
    SIMONIS, H
    DINCBAS, M
    ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 113 - 159
  • [3] Constraint inductive logic programming system
    Zheng, Lei
    Liu, Chunnian
    Jia, Dong
    Jisuanji Gongcheng/Computer Engineering, 2003, 29 (19):
  • [4] An approach to constraint Inductive Logic Programming
    Zheng, L
    Jia, D
    Liu, CN
    2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 1597 - 1601
  • [5] Neural Guided Constraint Logic Programming for Program Synthesis
    Zhang, Lisa
    Rosenblatt, Gregory
    Fetaya, Ethan
    Liao, Renjie
    Byrd, William E.
    Might, Matthew
    Urtasun, Raquel
    Zemel, Richard
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
  • [6] A new approach to constraint inductive logic programming
    Zheng, L
    Liu, CN
    Jia, D
    Zhong, N
    FOUNDATIONS OF INTELLIGENT SYSTEMS, 2003, 2871 : 357 - 364
  • [7] Efficient generation of test data structures using constraint logic programming and program transformation
    Fioravanti, Fabio
    Proietti, Maurizio
    Senni, Valerio
    JOURNAL OF LOGIC AND COMPUTATION, 2015, 25 (06) : 1263 - 1283
  • [8] Constraint Models for Reasoning on Unification in Inductive Logic Programming
    Bartak, Roman
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, AIMSA 2010, 2010, 6304 : 101 - 110
  • [9] INCREMENTAL CONSTRAINT SATISFACTION FOR EQUATIONAL LOGIC PROGRAMMING
    ALPUENTE, M
    FALASCHI, M
    LEVI, G
    THEORETICAL COMPUTER SCIENCE, 1995, 142 (01) : 27 - 57
  • [10] Constraint satisfaction in distributed concurrent logic programming
    Leung, HF
    Clark, KL
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 21 (4-6) : 699 - 714
12345