Data-driven Induction of Functional Programs

被引：1
|
作者：
Kitzelmann, Emanuel [1 ]
机构：
[1] Univ Bamberg, Bamberg, Germany
来源：
ECAI 2008, PROCEEDINGS | 2008年 / 178卷
关键词：
D O I：
10.3233/978-1-58603-891-5-781
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a new method and system, called IGOR2, for the induction of recursive functional programs from few non-recursive, possibly non-ground example equations describing a subset of the input-output behaviour of a function to be implemented.
引用
收藏
页码：781 / +
页数：2
相关论文
共 50 条
  • [1] Data-driven constructive induction
    Bloedorn, E
    Michalski, RS
    [J]. IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1998, 13 (02): : 30 - 37
  • [2] Data-Driven Invariant Learning for Probabilistic Programs
    Bao, Jialu
    Trivedi, Nitesh
    Pathak, Drashti
    Hsu, Justin
    Roy, Subhajit
    [J]. COMPUTER AIDED VERIFICATION (CAV 2022), PT I, 2022, 13371 : 33 - 54
  • [3] Data-Driven Planning for Ground Delay Programs
    Estes, Alexander
    Ball, Michael
    [J]. TRANSPORTATION RESEARCH RECORD, 2017, (2603) : 13 - 20
  • [4] Data-Driven Synthesis of Full Probabilistic Programs
    Chasins, Sarah
    Phothilimthana, Phitchaya Mangpo
    [J]. COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 279 - 304
  • [5] Data-Driven Quality and Safety Programs in Radiology
    Anaskevich, Leslie K.
    Kanal, Kalpana M.
    Zhang, Jie
    [J]. RADIOLOGIC TECHNOLOGY, 2022, 93 (06) : 566 - 572
  • [6] Data-Driven Debugging for Functional Side Channels
    Tizpaz-Niari, Saeid
    Cerny, Pavol
    Trivedi, Ashutosh
    [J]. 27TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2020), 2020,
  • [7] DATA-DRIVEN EVALUATION OF FUNCTIONAL CONNECTIVITY METRICS
    Zhang, Yingjie
    Han, Junwei
    Hu, Xintao
    Guo, Lei
    Liu, Tianming
    [J]. 2013 IEEE 10TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI), 2013, : 532 - 535
  • [8] Data-driven verification to catch functional problems
    Lin, D
    [J]. ELECTRONIC ENGINEERING, 2001, 73 (888): : 11 - 12
  • [9] Data-driven synset induction and disambiguation for wordnet development
    Apidianaki, Marianna
    Sagot, Benoit
    [J]. LANGUAGE RESOURCES AND EVALUATION, 2014, 48 (04) : 655 - 677
  • [10] Data-Driven Bearing Fault Diagnosis for Induction Motor
    Raqeeb, Aqib
    Shah, Fahim
    Alam, Zaheer
    Choudhury, Subhashree
    Khan, Bilal
    Palanisamy, R.
    [J]. JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING, 2023, 2023
12345