Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022879002> ?p ?o ?g. }
- W2022879002 endingPage "195" @default.
- W2022879002 startingPage "141" @default.
- W2022879002 abstract "The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subfield both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal specifications. We first overview past and present achievements, focusing on the techniques that were designed specifically for the inductive synthesis of recursive logic programs but also discussing a few general ILP techniques that can also induce non-recursive hypotheses. Then we analyse the prospects of these techniques in this task, investigating their applicability to software engineering as well as to knowledge acquisition and discovery." @default.
- W2022879002 created "2016-06-24" @default.
- W2022879002 creator A5006736418 @default.
- W2022879002 creator A5055693384 @default.
- W2022879002 date "1999-11-01" @default.
- W2022879002 modified "2023-10-16" @default.
- W2022879002 title "Inductive synthesis of recursive logic programs: achievements and prospects" @default.
- W2022879002 cites W136425508 @default.
- W2022879002 cites W140883769 @default.
- W2022879002 cites W1479896707 @default.
- W2022879002 cites W1480284441 @default.
- W2022879002 cites W1489316167 @default.
- W2022879002 cites W1501017496 @default.
- W2022879002 cites W1511725009 @default.
- W2022879002 cites W1514468887 @default.
- W2022879002 cites W1515777799 @default.
- W2022879002 cites W1521623677 @default.
- W2022879002 cites W1531743498 @default.
- W2022879002 cites W1534565738 @default.
- W2022879002 cites W1546486530 @default.
- W2022879002 cites W1556628550 @default.
- W2022879002 cites W1561994553 @default.
- W2022879002 cites W1565236324 @default.
- W2022879002 cites W1566324056 @default.
- W2022879002 cites W1566436741 @default.
- W2022879002 cites W1567891096 @default.
- W2022879002 cites W1573539153 @default.
- W2022879002 cites W1574765160 @default.
- W2022879002 cites W1576534629 @default.
- W2022879002 cites W1579460332 @default.
- W2022879002 cites W1581174623 @default.
- W2022879002 cites W1583199978 @default.
- W2022879002 cites W1597847469 @default.
- W2022879002 cites W1607638534 @default.
- W2022879002 cites W1608748195 @default.
- W2022879002 cites W162377950 @default.
- W2022879002 cites W1647622147 @default.
- W2022879002 cites W1776302608 @default.
- W2022879002 cites W1908888846 @default.
- W2022879002 cites W1929924547 @default.
- W2022879002 cites W1970777289 @default.
- W2022879002 cites W1987902506 @default.
- W2022879002 cites W1992578025 @default.
- W2022879002 cites W1999138184 @default.
- W2022879002 cites W2034493279 @default.
- W2022879002 cites W2038503949 @default.
- W2022879002 cites W2041739664 @default.
- W2022879002 cites W2061079066 @default.
- W2022879002 cites W2070102141 @default.
- W2022879002 cites W2076242896 @default.
- W2022879002 cites W2077422877 @default.
- W2022879002 cites W2113186809 @default.
- W2022879002 cites W2119831128 @default.
- W2022879002 cites W2149844813 @default.
- W2022879002 cites W2150357146 @default.
- W2022879002 cites W2152700576 @default.
- W2022879002 cites W2154392433 @default.
- W2022879002 cites W2158292827 @default.
- W2022879002 cites W2169042011 @default.
- W2022879002 cites W2172074164 @default.
- W2022879002 cites W2484153108 @default.
- W2022879002 cites W2797875826 @default.
- W2022879002 cites W2914079589 @default.
- W2022879002 cites W2983415970 @default.
- W2022879002 cites W3013459749 @default.
- W2022879002 cites W307045130 @default.
- W2022879002 cites W39083619 @default.
- W2022879002 cites W40336226 @default.
- W2022879002 cites W51117595 @default.
- W2022879002 cites W7294475 @default.
- W2022879002 cites W81828477 @default.
- W2022879002 cites W1567721496 @default.
- W2022879002 cites W2473224861 @default.
- W2022879002 doi "https://doi.org/10.1016/s0743-1066(99)00028-x" @default.
- W2022879002 hasPublicationYear "1999" @default.
- W2022879002 type Work @default.
- W2022879002 sameAs 2022879002 @default.
- W2022879002 citedByCount "45" @default.
- W2022879002 countsByYear W20228790022013 @default.
- W2022879002 countsByYear W20228790022014 @default.
- W2022879002 countsByYear W20228790022015 @default.
- W2022879002 countsByYear W20228790022016 @default.
- W2022879002 countsByYear W20228790022017 @default.
- W2022879002 countsByYear W20228790022018 @default.
- W2022879002 countsByYear W20228790022019 @default.
- W2022879002 countsByYear W20228790022020 @default.
- W2022879002 countsByYear W20228790022021 @default.
- W2022879002 countsByYear W20228790022023 @default.
- W2022879002 crossrefType "journal-article" @default.
- W2022879002 hasAuthorship W2022879002A5006736418 @default.
- W2022879002 hasAuthorship W2022879002A5055693384 @default.
- W2022879002 hasBestOaLocation W20228790022 @default.
- W2022879002 hasConcept C127413603 @default.
- W2022879002 hasConcept C128838566 @default.
- W2022879002 hasConcept C154945302 @default.
- W2022879002 hasConcept C199360897 @default.
- W2022879002 hasConcept C201995342 @default.
- W2022879002 hasConcept C21563000 @default.