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 条
  • [31] University timetabling using constraint logic programming
    Goltz, HJ
    Matzke, D
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 1999, 1551 : 320 - 334
  • [32] Nurse scheduling using constraint logic programming
    Abdennadher, Slim
    Schlenker, Hans
    Proceedings of the National Conference on Artificial Intelligence, 1999, : 838 - 843
  • [33] THE LOGIC OF CONSTRAINT SATISFACTION
    MACKWORTH, AK
    ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 3 - 20
  • [34] Logic programming approaches for representing and solving constraint satisfaction problems A comparison
    Pelov, N
    De Mot, E
    Denecker, M
    LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 225 - 239
  • [35] CONSTRAINT LOGIC PROGRAMMING
    LASSEZ, C
    BYTE, 1987, 12 (09): : 171 - &
  • [36] Constraint logic programming
    Gavanelli M.
    Rossi F.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
  • [37] CONSTRAINT LOGIC PROGRAMMING
    POUNTAIN, D
    BYTE, 1995, 20 (02): : 159 - 160
  • [38] Constraint logic programming
    Wallace, Mark
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2407 : 512 - 532
  • [39] Constraint logic programming
    Wallace, M
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
  • [40] Model transformation by example using inductive logic programming
    Balogh, Zoltan
    Varro, Daniel
    SOFTWARE AND SYSTEMS MODELING, 2009, 8 (03): : 347 - 364
12345