|
9
|
Program Development Schemata as Derived Rules
– Penny Anderson, David Basin
- 2000
|
|
11
|
A Framework for Program Development Based on Schematic Proof
– David Basin, Alan Bundy, Ina Kraan, Sean Matthews
- 1993
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
35
|
Logic Program Synthesis
– Yves Deville, Kung-kiu Lau
- 1993
|
|
16
|
Learning Logical Exceptions In Chess
– Michael Bain
- 1994
|
|
962
|
Learning Stochastic Logic Programs
– Stephen Muggleton
- 2000
|
|
56
|
Unification and Anti-Unification in the Calculus of Constructions
– Frank Pfenning
- 1991
|
|
9
|
Program synthesis
– Christoph Kreitz
- 1998
|
|
4
|
A Higher-Order Interpretation of Deductive Tableau
– Abdelwaheb Ayari, David Basin
- 2001
|
|
12
|
Logic Frameworks for Logic Programs
– David A. Basin
- 1994
|
|
3
|
Inductive Logic Programming Beyond Logical Implication
– Jianguo Lu, Jun Arima
- 1996
|
|
5
|
Building theories into instantiation
– Alan M. Frisch, C. David Page Jr.
- 1995
|
|
2
|
Constructing Refinement Operators by Decomposing Logical Implication
– Shan-hwei Nienhuys-cheng, Patrick R.J. van der Laag, Leendert van der Torre, Euridis
- 1995
|
|
5
|
The origins of Inductive Logic Programming: A prehistoric tale
– Claude Sammut
- 1993
|
|
25
|
Generalization and Learnability: A Study of Constrained Atoms
– C. David Page, Jr., Stephen H. (ed, C. David, Alan M. Frisch
- 1992
|
|
2
|
A Unified View of Programming Schemas and Proof Methods
– Pierre Flener, Julian Richardson
- 1999
|
|
|
From Specifications to Programs - an Extrinsic Approach
– David Gilbert, Christopher Hogger
- 1989
|
|
1
|
Transforming specifications of observable behaviour into programs
– David Gilbert, Christopher Hogger
- 1994
|
|
1
|
A Note on Refinement Operators for IE-Based ILP Systems
– Alireza Tamaddoni-nezhad, Stephen Muggleton
|
