Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891027922> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2891027922 abstract "Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules. The recent Metagol system efficiently solves MIL-problems by relying on the procedural bias imposed by Prolog. Its focus on positive examples, however, effects that Metagol can detect the derivability of negative examples only at a later check, which can severely hit performance. Viewing MIL-problems as combinatorial search problems, they can alternatively be solved by employing Answer Set Programming (ASP). Using a sophisticated ASP solver, we may expect that violations of negative examples can be propagated directly, but such an effect has never been explicitly exploited for general MIL. In fact, a straightforward ASP-encoding of MIL results in a huge search space due to a lack of procedural bias and the need for grounding. To address these challenging issues, we encode MIL in the HEX formalism, which is an extension of ASP that allows us to outsource the background knowledge, and we restrict the search space by modeling the procedural bias. This way, the import of constants from the background knowledge can for a given type of meta-rules be limited to the relevant ones. Moreover, by abstracting from term manipulations in the encoding and exploiting the HEX interface mechanism, the import of such constants can be prevented completely in order to avoid the grounding bottleneck. An experimental evaluation shows promising results." @default.
- W2891027922 created "2018-09-27" @default.
- W2891027922 creator A5067482871 @default.
- W2891027922 creator A5080458729 @default.
- W2891027922 creator A5082178480 @default.
- W2891027922 date "2018-05-31" @default.
- W2891027922 modified "2023-09-28" @default.
- W2891027922 title "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning" @default.
- W2891027922 doi "https://doi.org/10.29007/drn9" @default.
- W2891027922 hasPublicationYear "2018" @default.
- W2891027922 type Work @default.
- W2891027922 sameAs 2891027922 @default.
- W2891027922 citedByCount "2" @default.
- W2891027922 countsByYear W28910279222018 @default.
- W2891027922 countsByYear W28910279222019 @default.
- W2891027922 crossrefType "report-series" @default.
- W2891027922 hasAuthorship W2891027922A5067482871 @default.
- W2891027922 hasAuthorship W2891027922A5080458729 @default.
- W2891027922 hasAuthorship W2891027922A5082178480 @default.
- W2891027922 hasBestOaLocation W28910279221 @default.
- W2891027922 hasConcept C104317684 @default.
- W2891027922 hasConcept C128838566 @default.
- W2891027922 hasConcept C146206909 @default.
- W2891027922 hasConcept C149635348 @default.
- W2891027922 hasConcept C154945302 @default.
- W2891027922 hasConcept C177264268 @default.
- W2891027922 hasConcept C182620335 @default.
- W2891027922 hasConcept C185592680 @default.
- W2891027922 hasConcept C199360897 @default.
- W2891027922 hasConcept C2779382394 @default.
- W2891027922 hasConcept C2780513914 @default.
- W2891027922 hasConcept C34165917 @default.
- W2891027922 hasConcept C41008148 @default.
- W2891027922 hasConcept C50033165 @default.
- W2891027922 hasConcept C55493867 @default.
- W2891027922 hasConcept C66746571 @default.
- W2891027922 hasConcept C80444323 @default.
- W2891027922 hasConceptScore W2891027922C104317684 @default.
- W2891027922 hasConceptScore W2891027922C128838566 @default.
- W2891027922 hasConceptScore W2891027922C146206909 @default.
- W2891027922 hasConceptScore W2891027922C149635348 @default.
- W2891027922 hasConceptScore W2891027922C154945302 @default.
- W2891027922 hasConceptScore W2891027922C177264268 @default.
- W2891027922 hasConceptScore W2891027922C182620335 @default.
- W2891027922 hasConceptScore W2891027922C185592680 @default.
- W2891027922 hasConceptScore W2891027922C199360897 @default.
- W2891027922 hasConceptScore W2891027922C2779382394 @default.
- W2891027922 hasConceptScore W2891027922C2780513914 @default.
- W2891027922 hasConceptScore W2891027922C34165917 @default.
- W2891027922 hasConceptScore W2891027922C41008148 @default.
- W2891027922 hasConceptScore W2891027922C50033165 @default.
- W2891027922 hasConceptScore W2891027922C55493867 @default.
- W2891027922 hasConceptScore W2891027922C66746571 @default.
- W2891027922 hasConceptScore W2891027922C80444323 @default.
- W2891027922 hasLocation W28910279221 @default.
- W2891027922 hasLocation W28910279222 @default.
- W2891027922 hasOpenAccess W2891027922 @default.
- W2891027922 hasPrimaryLocation W28910279221 @default.
- W2891027922 hasRelatedWork W1501498539 @default.
- W2891027922 hasRelatedWork W1545676661 @default.
- W2891027922 hasRelatedWork W1571626109 @default.
- W2891027922 hasRelatedWork W165677687 @default.
- W2891027922 hasRelatedWork W176547972 @default.
- W2891027922 hasRelatedWork W1993398079 @default.
- W2891027922 hasRelatedWork W2005186003 @default.
- W2891027922 hasRelatedWork W2066867748 @default.
- W2891027922 hasRelatedWork W2116917679 @default.
- W2891027922 hasRelatedWork W2130276068 @default.
- W2891027922 hasRelatedWork W2138095065 @default.
- W2891027922 hasRelatedWork W2157831974 @default.
- W2891027922 hasRelatedWork W2406630161 @default.
- W2891027922 hasRelatedWork W2442124702 @default.
- W2891027922 hasRelatedWork W2472509617 @default.
- W2891027922 hasRelatedWork W2596951664 @default.
- W2891027922 hasRelatedWork W2887801722 @default.
- W2891027922 hasRelatedWork W2901418921 @default.
- W2891027922 hasRelatedWork W2950421814 @default.
- W2891027922 hasRelatedWork W44173405 @default.
- W2891027922 isParatext "false" @default.
- W2891027922 isRetracted "false" @default.
- W2891027922 magId "2891027922" @default.
- W2891027922 workType "paratext" @default.