Synthesis of programs in computational logic (2004)

Cached

Download Links

by David Basin , Yves Deville , Pierre Flener , Andreas Hamfelt , Jørgen Fischer Nilsson
Venue:PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
Citations:8 - 0 self

Active Bibliography

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
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
38 Logic Program Synthesis – Yves Deville, Kung-kiu Lau - 1993
17 Learning Logical Exceptions In Chess – Michael Bain - 1994
1057 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
61 Unification and Anti-Unification in the Calculus of Constructions – Frank Pfenning - 1991
10 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
25 Generalization and Learnability: A Study of Constrained Atoms – C. David Page, Jr., Stephen H. (ed, C. David, Alan M. Frisch - 1992
5 The origins of Inductive Logic Programming: A prehistoric tale – Claude Sammut - 1993
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