ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Logic Program Synthesis and Transformation
Mapping Intimacies
◽
10.1007/3-540-62718-9
◽
1997
◽
Keyword(s):
Logic Program
◽
Program Synthesis
Download Full-text
Related Documents
Cited By
References
Analogical logic program synthesis from examples
Lecture Notes in Computer Science - Machine Learning: ECML-95
◽
10.1007/3-540-59286-5_61
◽
1995
◽
pp. 232-244
◽
Cited By ~ 5
Author(s):
Ken Sadohara
◽
Makoto Haraguchi
Keyword(s):
Logic Program
◽
Program Synthesis
Download Full-text
Logic Program Synthesis and Transformation — Meta-Programming in Logic
10.1007/3-540-58792-6
◽
1994
◽
Cited By ~ 1
Keyword(s):
Logic Program
◽
Program Synthesis
◽
Meta Programming
Download Full-text
Schema induction for logic program synthesis
Artificial Intelligence
◽
10.1016/s0004-3702(97)00055-6
◽
1998
◽
Vol 98
(1-2)
◽
pp. 1-47
◽
Cited By ~ 2
Author(s):
Nancy Lynn Tinkham
Keyword(s):
Logic Program
◽
Program Synthesis
Download Full-text
Automated Bias Shift in a Constrained Space for Logic Program Synthesis.
Transactions of the Japanese Society for Artificial Intelligence
◽
10.1527/tjsai.16.548
◽
2001
◽
Vol 16
◽
pp. 548-556
◽
Cited By ~ 1
Author(s):
Mofizur Rahman Chowdhury
◽
Masayuki Numao
Keyword(s):
Logic Program
◽
Program Synthesis
Download Full-text
Logic Program Synthesis and Transformation
10.1007/3-540-49674-2
◽
1998
◽
Cited By ~ 3
Keyword(s):
Logic Program
◽
Program Synthesis
Download Full-text
Analogical logic program synthesis algorithm that can refute inappropriate similarities
Lecture Notes in Computer Science - Algorithmic Learning Theory
◽
10.1007/3-540-60454-5_45
◽
1995
◽
pp. 266-281
◽
Cited By ~ 1
Author(s):
Ken Sadohara
◽
Makoto Haraguchi
Keyword(s):
Logic Program
◽
Program Synthesis
◽
Synthesis Algorithm
Download Full-text
Logic Program Synthesis in a Higher-Order Setting
Computational Logic — CL 2000 - Lecture Notes in Computer Science
◽
10.1007/3-540-44957-4_6
◽
2000
◽
pp. 87-100
◽
Cited By ~ 7
Author(s):
David Lacey
◽
Julian Richardson
◽
Alan Smail
Keyword(s):
Logic Program
◽
Program Synthesis
◽
Higher Order
Download Full-text
Logic Program Synthesis via Proof Planning
Logic Program Synthesis and Transformation - Workshops in Computing
◽
10.1007/978-1-4471-3560-9_1
◽
1993
◽
pp. 1-14
◽
Cited By ~ 18
Author(s):
Ina Kraan
◽
David Basin
◽
Alan Bundy
Keyword(s):
Logic Program
◽
Program Synthesis
◽
Proof Planning
Download Full-text
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation
◽
10.1016/s0747-7171(89)80064-1
◽
1989
◽
Vol 8
(6)
◽
pp. 605-627
◽
Cited By ~ 20
Author(s):
Taisuke Sato
◽
Hisao Tamaki
Keyword(s):
Logic Program
◽
Program Synthesis
◽
Synthesis Algorithm
◽
First Order
Download Full-text
Logic Program Synthesis and Transformation
10.1007/978-1-4471-3494-7
◽
1992
◽
Cited By ~ 4
Keyword(s):
Logic Program
◽
Program Synthesis
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close