Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088656722> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3088656722 abstract "Tabling for contextual abduction in logic programming has been introduced as a means to store previously obtained abductive solutions in one context to be reused in another context. This paper identifies a number of issues in the existing implementations of tabling in contextual abduction and aims to mitigate the issues. We propose a new program transformation for integrity constraints to deal with their proper application for filtering solutions while also reducing the table memory usage. We further optimize the table memory usage by selectively picking predicates to table and by pragmatically simplifying the representation of the problem. The evaluation of our proposed approach, on both artificial and real world problems, shows that they improve the scalability of tabled abduction compared to previous implementations." @default.
- W3088656722 created "2020-10-01" @default.
- W3088656722 creator A5058452935 @default.
- W3088656722 creator A5061488415 @default.
- W3088656722 date "2020-09-19" @default.
- W3088656722 modified "2023-09-29" @default.
- W3088656722 title "Tabling Optimization for Contextual Abduction" @default.
- W3088656722 cites W1501692213 @default.
- W3088656722 cites W1509180139 @default.
- W3088656722 cites W1513385292 @default.
- W3088656722 cites W1520935955 @default.
- W3088656722 cites W1573627427 @default.
- W3088656722 cites W1968513265 @default.
- W3088656722 cites W1993973926 @default.
- W3088656722 cites W200128901 @default.
- W3088656722 cites W2004486808 @default.
- W3088656722 cites W2009737909 @default.
- W3088656722 cites W2165876990 @default.
- W3088656722 cites W2171899835 @default.
- W3088656722 cites W2404989685 @default.
- W3088656722 cites W2801438608 @default.
- W3088656722 cites W2895178836 @default.
- W3088656722 cites W2923177833 @default.
- W3088656722 doi "https://doi.org/10.4204/eptcs.325.20" @default.
- W3088656722 hasPublicationYear "2020" @default.
- W3088656722 type Work @default.
- W3088656722 sameAs 3088656722 @default.
- W3088656722 citedByCount "0" @default.
- W3088656722 crossrefType "journal-article" @default.
- W3088656722 hasAuthorship W3088656722A5058452935 @default.
- W3088656722 hasAuthorship W3088656722A5061488415 @default.
- W3088656722 hasBestOaLocation W30886567221 @default.
- W3088656722 hasConcept C104317684 @default.
- W3088656722 hasConcept C151730666 @default.
- W3088656722 hasConcept C154945302 @default.
- W3088656722 hasConcept C17744445 @default.
- W3088656722 hasConcept C185592680 @default.
- W3088656722 hasConcept C199360897 @default.
- W3088656722 hasConcept C199539241 @default.
- W3088656722 hasConcept C204241405 @default.
- W3088656722 hasConcept C26713055 @default.
- W3088656722 hasConcept C2776359362 @default.
- W3088656722 hasConcept C2778361913 @default.
- W3088656722 hasConcept C2779343474 @default.
- W3088656722 hasConcept C41008148 @default.
- W3088656722 hasConcept C45235069 @default.
- W3088656722 hasConcept C48044578 @default.
- W3088656722 hasConcept C55493867 @default.
- W3088656722 hasConcept C77088390 @default.
- W3088656722 hasConcept C80444323 @default.
- W3088656722 hasConcept C86803240 @default.
- W3088656722 hasConcept C94625758 @default.
- W3088656722 hasConceptScore W3088656722C104317684 @default.
- W3088656722 hasConceptScore W3088656722C151730666 @default.
- W3088656722 hasConceptScore W3088656722C154945302 @default.
- W3088656722 hasConceptScore W3088656722C17744445 @default.
- W3088656722 hasConceptScore W3088656722C185592680 @default.
- W3088656722 hasConceptScore W3088656722C199360897 @default.
- W3088656722 hasConceptScore W3088656722C199539241 @default.
- W3088656722 hasConceptScore W3088656722C204241405 @default.
- W3088656722 hasConceptScore W3088656722C26713055 @default.
- W3088656722 hasConceptScore W3088656722C2776359362 @default.
- W3088656722 hasConceptScore W3088656722C2778361913 @default.
- W3088656722 hasConceptScore W3088656722C2779343474 @default.
- W3088656722 hasConceptScore W3088656722C41008148 @default.
- W3088656722 hasConceptScore W3088656722C45235069 @default.
- W3088656722 hasConceptScore W3088656722C48044578 @default.
- W3088656722 hasConceptScore W3088656722C55493867 @default.
- W3088656722 hasConceptScore W3088656722C77088390 @default.
- W3088656722 hasConceptScore W3088656722C80444323 @default.
- W3088656722 hasConceptScore W3088656722C86803240 @default.
- W3088656722 hasConceptScore W3088656722C94625758 @default.
- W3088656722 hasLocation W30886567221 @default.
- W3088656722 hasLocation W30886567222 @default.
- W3088656722 hasOpenAccess W3088656722 @default.
- W3088656722 hasPrimaryLocation W30886567221 @default.
- W3088656722 hasRelatedWork W11532415 @default.
- W3088656722 hasRelatedWork W13082435 @default.
- W3088656722 hasRelatedWork W13303319 @default.
- W3088656722 hasRelatedWork W1696003 @default.
- W3088656722 hasRelatedWork W2538287 @default.
- W3088656722 hasRelatedWork W2560977 @default.
- W3088656722 hasRelatedWork W3033451 @default.
- W3088656722 hasRelatedWork W3057367 @default.
- W3088656722 hasRelatedWork W6690249 @default.
- W3088656722 hasRelatedWork W75756 @default.
- W3088656722 isParatext "false" @default.
- W3088656722 isRetracted "false" @default.
- W3088656722 magId "3088656722" @default.
- W3088656722 workType "article" @default.