Automated bias shift in a constrained space for logic program synthesis

被引：0

作者：

Chowdhury, Mofizur Rahman ^{[1
]}

Numao, Masayuki ^{[2
]}

机构：

[1] Dept. of Comp. Sci. and Engineering, Bangladesh Univ. Eng. and Technol.

[2] Department of Computer Science, Tokyo Institute of Technology

来源：

关键词：

All Open Access; Bronze;

D O I：

10.1527/tjsai.16.548

中图分类号：

学科分类号：

摘要：

Learning systems

引用

页码：548 / 556

共 50 条

[1] AUTOMATED LOGIC SYNTHESIS
DARRINGER, JA
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 163 : 177 - 186
[2] Topologically constrained logic synthesis
Sinha, S
Mishchenko, A
Brayton, RK
IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 679 - 686
[3] Automated synthesis of constrained generators
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
[4] LOGIC PROGRAM SYNTHESIS
DEVILLE, Y
LAU, KK
JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3): : 321 - 350
[5] AUTOMATED LOGIC SYNTHESIS.
Darringer, John A.
Lecture Notes in Computer Science, 1984, : 177 - 186
[6] Constrained Interpolation for Guided Logic Synthesis
Petkovska, Ana
Novo, David
Mishchenko, Alan
Ienne, Paolo
2014 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2014, : 462 - 469
[7] TopLog: ILP Using a Logic Program Declarative Bias
Muggleton, Stephen H.
Santos, Jose C. A.
Tamaddoni-Nezhad, Alireza
LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 687 - 692
[8] TopLog: ILP Using a Logic Program Declarative Bias
Santos, Jose Carlos Almeida
LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 818 - 819
[9] AUTOMATED BIST FOR SEQUENTIAL LOGIC SYNTHESIS
STROUD, CE
IEEE DESIGN & TEST OF COMPUTERS, 1988, 5 (06): : 22 - 32
[10] ALPS: A logic for program synthesis (motivated by fuzzy logic)
Cooke, DE
Kreinovich, V
Starks, SA
1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 779 - 784