Search: WFRF:(Fischer Nilsson Jorgen) >
Logic Program Synth...
Logic Program Synthesis as Problem Reduction using Combining Forms
-
- Hamfelt, Andreas (author)
- Uppsala universitet,Institutionen för informationsvetenskap,DATA- OCH SYSTEMVETENSKAP
-
Nilsson, Jorgen Fischer (author)
-
Oldager, Nikolaj. (author)
-
(creator_code:org_t)
- KLUWER ACADEMIC PUBLISHERS, 2001
- 2001
- English.
-
In: JOURNAL OF AUTOMATED SOFTWARE ENGINEERING. - : KLUWER ACADEMIC PUBLISHERS. ; :8, s. 167-193
- Related links:
-
https://urn.kb.se/re...
Abstract
Subject headings
Close
- This paper presents an approach to inductive synthesis of logic programs from examples using problem decomposition and problem reduction principles. This is in contrast to the prevailing logic program induction paradigm, which relies on generalization of
Keyword
- predicate combinators, recursion operators, synthesis by composition and specialization, inductive synthesis, program schemata
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database