Pierre Flener, Lubos Popelínsky  @ NUS Home/Search
Context Related
| csd.uu.se/~pierref/pub/LOPSTR94.ps.z bilkent.edu.tr/pub/...BUCEIS9439.ps.z dis.uu.se/~pierref/pub...LOPSTR94.ps.gz Cached: PS.gz PS PDF Image Update Help From: csd.uu.se/~pierref/research (more) From: bilkent.edu.tr/t...ABSTRACTS.1994 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this position paper, we give a critical analysis of the deductive and inductive approaches to program synthesis, and of the current research in these fields. From the shortcomings of these approaches and works, we identify future research directions for these fields, as well as a need for cooperation and cross-fertilization between them. (Update)
Context of citations to this paper: More
...example sets. 1 Top down learners Considering interactive generate and test top down learners in the context of automatic logic programming [5], four main drawbacks are being observed: 1. Too many positive examples are needed 2. The usefulness of the negative examples depends...
...automatically. This is the essence of what induction algorithms have to contribute to the eld of automated software engineering [5, 12]. It has been noted [8] that the addition of input output examples to even complete speci cations may be bene cial (to human programmers)...
Cited by: More
An Ontology For Agent-Based Modeling And Simulation - Scott Christley Xiaorong (2004) (Correct)
Towards Program Synthesis From A Small Example Set - Lubo Popelnsk Masaryk (1994) (Correct)
Inductive Programming - Flener, Partridge (2001) (Correct)
Similar documents (at the sentence level):
8.6%: ILP and Automatic Programming: Towards Three Approaches - Flener.. (1994) (Correct)
Active bibliography (related documents): More All
3.2: Logic Program Schemata: Synthesis and Analysis - Flener (1995) (Correct)
1.5: Inductive Synthesis of Recursive Logic Programs: Achievements .. - Flener, Yilmaz (1999) (Correct)
1.3: Logic Program Synthesis - Deville, Lau (1993) (Correct)
Similar documents based on text: More All
0.2: POPEL - HOW: Parallele, inkrementelle Generierung.. - Neumann (1989) (Correct)
0.2: Turing Test: 50 Years Later - Saygin, Cicekli, Akman (2000) (Correct)
0.2: K Nearest Neighbor Classification on Feature Projections - Akkus, Güvenir (Correct)
Related documents from co-citation: More All
9: Inverting implication with small training sets - Aha, Lapointe et al. - 1994
7: Algorithmic Program Debugging (context) - Shapiro - 1983
7: An interactive system to learn functional logic programs (context) - Bergadano, Gunetti - 1993
BibTeX entry: (Update)
Flener P., Popel#nsk# L.: On the use of inductive reasoning in program synthesis: Prejudice and prospects. Proc. of the 4th Int'l Workshop on Logic Program Synthesis and Transformation (LOPSTR'94), Pisa, Italy, 1994. http://citeseer.comp.nus.edu.sg/118730.html More
@misc{ flener94use,
author = "P. Flener and L. Popel",
title = "the use of inductive reasoning in program synthesis: Prejudice and prospects",
text = "Flener P., Popel#nsk# L.: On the use of inductive reasoning in program
synthesis: Prejudice and prospects. Proc. of the 4th Int'l Workshop on Logic
Program Synthesis and Transformation (LOPSTR'94), Pisa, Italy, 1994.",
year = "1994",
url = "citeseer.comp.nus.edu.sg/118730.html" }
Citations (may not include all citations):441 Queries and concept learning (context) - Angluin - 1988
412 Language identification in the limit (context) - Gold - 1967
388 Inductive logic programming - Muggleton - 1991
388 Inductive Logic Programming - Muggleton - 1992
313 Inductive logic programming: Theory and methods - Muggleton, De Raedt - 1994
267 A note on inductive generalization (context) - Plotkin - 1970
212 Abductive logic programming - Kakas, Kowalski et al. - 1992
204 KIDS: A semiautomatic program development system - Smith - 1990
190 Inductive inference: Theory and methods (context) - Angluin, Smith - 1983
182 Logic for Problem Solving (context) - Kowalski - 1979
168 Rippling: A heuristic for guiding inductive proofs - Bundy, Stevens et al. - 1993
79 Logic Programming: Systematic Program Development (context) - Deville - 1990
65 Specifications are not (context) - Hayes, Jones - 1989
60 A theory of clausal discovery (context) - De Raedt, Bruynooghe
50 Derivation of logic programs (context) - Hogger - 1981
47 A methodology for LISP program construction from examples (context) - Summers - 1977
42 Top-down synthesis of divide-and-conquer algorithms (context) - Smith - 1985
42 Algorithmic debugging with assertions - Drabent, Nadjm-Tehrani et al.
41 The use of planning critics in mechanizing inductive proofs - Ireland - 1992
40 Interactive Theory Revision: An Inductive Logic Programming .. (context) - De Raedt - 1992
38 Applying techniques to skeletons - Sterling, Kirschenbaum
36 Schema-based transformations of logic programs - Fuchs, Fromherz
32 Inductive learning applied to program construction and verif.. (context) - Bratko, Grobelnik
30 The synthesis of logic programs from inductive proofs (context) - Bundy, Smaill et al. - 1990
29 Software Engineering Journal (context) - Fuchs, preferably - 1992
29 Predicate invention in inductive data engineering (context) - Flach - 1993
28 Inverting implication with small training sets - Aha, Lapointe et al. - 1994
28 Middle-out reasoning for logic program synthesis - Kraan, Basin et al. - 1993
28 Automatic programming: Myths and prospects (context) - Rich, Waters - 1988
26 Logic program synthesis from incomplete specifications - Flener, Deville - 1993
23 Extracting logic programs from proofs that use extended Prol.. (context) - Fribourg - 1990
18 Transformational logic program synthesis (context) - Sato, Tamaki - 1984
17 Synthesis and transformation of logic programs in the Whelk .. (context) - Wiggins - 1992
16 Belief updating from integrity constraints and queries (context) - De Raedt, Bruynooghe - 1992
16 New Generation Computing (context) - Guessoum, Lloyd et al. - 1990
16 Algorithmic learning from incomplete information: Principles.. (context) - Jantke - 1989
16 The inference of regular LISP programs from examples (context) - Biermann - 1978
14 Generalization and program schemata: A step towards computer.. (context) - Deville, Burnay
14 On program synthesis knowledge (context) - Green, Barstow - 1978
13 The synthesis of LISP programs from examples: A survey (context) - Smith - 1984
13 Programming by example and proving by example using higheror.. (context) - Hagiya - 1990
12 semantics-supported program synthesis (context) - Bibel - 1980
11 Induction of Prolog programs with Markus (context) - Grobelnik
11 Dealing with search (context) - Biermann - 1984
10 Deductive debugging (context) - Dershowitz, Lee et al. - 1993
10 Automatic programming (context) - Biermann - 1992
10 Induction of Schemata for Program Synthesis (context) - Tinkham - 1990
9 First-order compiler: A deterministic logic program synthesi.. (context) - Sato, Tamaki - 1989
8 Proof plans for the correction of false conjectures - Monroy, Bundy et al. - 1994
8 Learning machine learning (context) - van Lamsweerde - 1991
6 Some thoughts on the role of examples in program transformat.. (context) - Bruynooghe, De Schreye - 1989
6 the inevitable intertwining of specification and implementat.. (context) - Swartout, Balzer - 1982
5 the inference of Turing machines from sample computations (context) - Biermann - 1972
5 A production rule mechanism for generating LISP code (context) - Biermann, Smith - 1979
5 Computational limits on learning from examples (context) - Pitt, Valiant - 1988
5 Inductive synthesis of logic programs and inductive logic pr.. (context) - Bergadano, Gunetti
5 Special Issue on 10 Years of Logic Programming (context) - Deville, Lau et al. - 1994
5 Fundamental mechanisms in machine learning and inductive inf.. (context) - Biermann - 1986
4 Inductive test case generation (context) - Bergadano
4 Private communications (context) - Fuchs - 1994
4 Automatic generation of simplification lemmas for inductive .. (context) - Fribourg - 1991
3 A Formal Development of Programs (context) - Hansson - 1980
3 Logic Algorithm Synthesis from Examples and Properties (context) - Flener - 1993
3 Constructing Logic Programs (context) - Jacquet - 1993
2 Top-down synthesis of recursive logic procedures from first-.. (context) - Lau, Prestwich - 1990
2 The halting problem for deductive synthesis of logic program.. (context) - Lau, Ornaghi et al. - 1994
2 Writing programs as QJ proof and compiling into Prolog progr.. (context) - Takayama
2 Tim Clement and Kung-Kiu Lau (context) - Clement, Lau et al. - 1992
2 Technical Report DOC (context) - Clark, verification et al. - 1981
2 Learning by refining algorithm sketches (context) - Jorge, Brazdil - 1994
1 An incompleteness result for deductive synthesis of logic pr.. (context) - Lau, Ornaghi - 1993
1 ILP and automatic programming: Towards three approaches (context) - Popelinsky, Flener et al.
1 Kung-Kiu Lau and Tim Clement (context) - Lau, editors et al. - 1993
1 Computer-based synthesis of logic programs (context) - Eriksson, Johansson - 1982
1 Intensional updates: Abduction via deduction (context) - Bry - 1990
1 Predicate synthesis from formal specifications or using math.. (context) - Franova, Kodratoff - 1991
1 On specification frameworks and deductive synthesis of logic.. (context) - Lau, Ornaghi
1 flexions sur le problème de la correction des programmes (context) - Le Charlier - 1985
1 and logic programs (context) - Fuchs, executable - 1992
1 deductive synthesis and transformation of logic programs (context) - Lau, Ornaghi et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csd.uu.se/~pierref/research.html): More
Correctness Proofs of Transformation Schemas - Halime Buyukyildiz (1997) (Correct)
Logic Program Synthesis from Incomplete Specifications - Flener, Deville (1993) (Correct)
Completing Open Logic Programs by Constructive Induction - Erdem, Flener (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.