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 ◽

Author(s):

David Lacey ◽

Julian Richardson ◽

Alan Smail

Keyword(s):

Logic Program ◽

Program Synthesis ◽

Download Full-text

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 ◽

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 ◽

Keyword(s):

Logic Program ◽

Program Synthesis ◽

Meta Programming

Download Full-text

Logic Program Synthesis and Transformation

10.1007/3-540-62718-9 ◽

1997 ◽

Keyword(s):

Logic Program ◽

Program Synthesis

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 ◽

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 ◽

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 ◽

Keyword(s):

Logic Program ◽

Program Synthesis

Download Full-text

The Representation of Program Synthesis in Higher Order Logic

Informatik-Fachberichte - GWAI-90 14th German Workshop on Artificial Intelligence ◽

10.1007/978-3-642-76071-6_19 ◽

1990 ◽

pp. 171-180

Author(s):

Christoph Kreitz

Keyword(s):

Program Synthesis ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic

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 ◽

Author(s):

Ken Sadohara ◽

Makoto Haraguchi

Keyword(s):

Logic Program ◽

Program Synthesis ◽

Synthesis Algorithm

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 ◽

Author(s):

Ina Kraan ◽

David Basin ◽

Alan Bundy

Keyword(s):

Logic Program ◽

Program Synthesis ◽

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 ◽

Author(s):

Taisuke Sato ◽

Hisao Tamaki

Keyword(s):

Logic Program ◽

Program Synthesis ◽

Synthesis Algorithm ◽

Download Full-text