Sökning: WFRF:(Fischer Nilsson Jorgen)
> (2001) >
Logic Program Synth...
Logic Program Synthesis as Problem Reduction using Combining Forms
-
- Hamfelt, Andreas (författare)
- Uppsala universitet,Institutionen för informationsvetenskap,DATA- OCH SYSTEMVETENSKAP
-
Nilsson, Jorgen Fischer (författare)
-
Oldager, Nikolaj. (författare)
-
(creator_code:org_t)
- KLUWER ACADEMIC PUBLISHERS, 2001
- 2001
- Engelska.
-
Ingår i: JOURNAL OF AUTOMATED SOFTWARE ENGINEERING. - : KLUWER ACADEMIC PUBLISHERS. ; :8, s. 167-193
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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
Nyckelord
- predicate combinators, recursion operators, synthesis by composition and specialization, inductive synthesis, program schemata
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas