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 条
  • [41] Mining Library Specifications using Inductive Logic Programming
    Sankaranarayanan, Sriram
    Ivancic, Franjo
    Gupta, Aarti
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 131 - 140
  • [42] Scientific knowledge discovery using inductive logic programming
    Muggleton, S
    COMMUNICATIONS OF THE ACM, 1999, 42 (11) : 42 - 46
  • [43] Machine Translation Model using Inductive Logic Programming
    Hossny, Ahmad
    Shaalan, Khaled
    Fahmy, Aly
    IEEE NLP-KE 2009: PROCEEDINGS OF INTERNATIONAL CONFERENCE ON NATURAL LANGUAGE PROCESSING AND KNOWLEDGE ENGINEERING, 2009, : 103 - +
  • [44] Modeling violin performances using inductive logic programming
    Ramirez, Rafael
    Perez, Alfonso
    Kersten, Stefan
    Rizo, David
    Roman, Placido
    Inesta, Jose M.
    INTELLIGENT DATA ANALYSIS, 2010, 14 (05) : 573 - 585
  • [45] Biochemical knowledge discovery using inductive logic programming
    Muggleton, S
    Srinivasan, A
    King, RD
    Sternberg, MJE
    DISCOVERY SCIENCE, 1998, 1532 : 326 - 341
  • [46] Improving inductive logic programming by using simulated annealing
    Serrurier, Mathieu
    Prade, Henri
    INFORMATION SCIENCES, 2008, 178 (06) : 1423 - 1441
  • [47] Word sense disambiguation using inductive logic programming
    Specia, Lucia
    Srinivasan, Ashwin
    Ramakrishnan, Ganesh
    Volpe Nunes, Maria das Gracas
    INDUCTIVE LOGIC PROGRAMMING, 2007, 4455 : 409 - +
  • [48] Model transformation by example using inductive logic programming
    Zoltán Balogh
    Dániel Varró
    Software & Systems Modeling, 2009, 8 : 347 - 364
  • [49] Efficient interval linear equality solving in constraint logic programming
    Chiu, Chong-Kan
    Lee, Jimmy Ho-Man
    Reliable Computing, 2002, 8 (02) : 139 - 174
  • [50] Inductive Logic Programming in Clementine
    Brewer, Sam
    Khabaza, Tom
    LECTURE NOTES IN COMPUTER SCIENCE <D>, 2000, 1910 : 337 - 344
12345