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 条
  • [21] Carcinogenesis predictions using inductive logic programming
    Srinivasan, A
    King, RD
    Muggleton, SH
    Sternberg, MJE
    INTELLIGENT DATA ANALYSIS IN MEDICINE AND PHARMACOLOGY, 1997, 414 : 243 - 260
  • [22] Ontology Alignment Using Inductive Logic Programming
    Karimi, Hamed
    Kamandi, Ali
    2018 4TH INTERNATIONAL CONFERENCE ON WEB RESEARCH (ICWR), 2018, : 118 - 127
  • [23] INDUCTIVE LOGIC PROGRAMMING
    MUGGLETON, S
    NEW GENERATION COMPUTING, 1990, 8 (04) : 295 - 318
  • [24] A simple and efficient Boolean solver for Constraint Logic Programming
    Codognet, P
    Diaz, D
    JOURNAL OF AUTOMATED REASONING, 1996, 17 (01) : 97 - 129
  • [25] Inductive Programming: A Survey of Program Synthesis Techniques
    Kitzelmann, Emanuel
    APPROACHES AND APPLICATIONS OF INDUCTIVE PROGRAMMING, 2010, 5812 : 50 - 73
  • [26] Probabilistic inductive constraint logic
    Riguzzi, Fabrizio
    Bellodi, Elena
    Zese, Riccardo
    Alberti, Marco
    Lamma, Evelina
    MACHINE LEARNING, 2021, 110 (04) : 723 - 754
  • [27] Probabilistic inductive constraint logic
    Fabrizio Riguzzi
    Elena Bellodi
    Riccardo Zese
    Marco Alberti
    Evelina Lamma
    Machine Learning, 2021, 110 : 723 - 754
  • [28] The Inductive Constraint Programming Loop
    Bessiere, Christian
    De Raedt, Luc
    Guns, Tias
    Kotthoff, Lars
    Nanni, Mirco
    Nijssen, Siegfried
    O'Sullivan, Barry
    Paparrizou, Anastasia
    Pedreschi, Dino
    Simonis, Helmut
    IEEE INTELLIGENT SYSTEMS, 2017, 32 (05) : 44 - 52
  • [29] Efficient Inductive Logic Programming Based on Particle Swarm Optimization
    Obara, Kyosuke
    Takimoto, Munehiro
    Kumazawa, Tsutomu
    Kambayashi, Yasushi
    ARTIFICIAL INTELLIGENCE FOR COMMUNICATIONS AND NETWORKS, AICON 2022, 2023, 477 : 151 - 158
  • [30] Nurse scheduling using constraint logic programming
    Abdennadher, S
    Schlenker, H
    SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 838 - 843
12345