FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2478872016> ?p ?o ?g. }

• W2478872016 abstract "Logic-based abduction finds important applications in artificial intelligence and related areas. One application example is in finding explanations for observed phenomena. Propositional abduction is a restriction of abduction to the propositional domain, and complexity-wise is in the second level of the polynomial hierarchy. Recent work has shown that exploiting implicit hitting sets and propositional satisfiability (SAT) solvers provides an efficient approach for propositional abduction. This paper investigates this earlier work and proposes a number of algorithmic improvements. These improvements are shown to yield exponential reductions in the number of SAT solver calls. More importantly, the experimental results show significant performance improvements compared to the the best approaches for propositional abduction." @default.
• W2478872016 created "2016-08-23" @default.
• W2478872016 creator A5002246957 @default.
• W2478872016 creator A5051305025 @default.
• W2478872016 creator A5063586825 @default.
• W2478872016 date "2016-04-27" @default.
• W2478872016 modified "2023-09-27" @default.
• W2478872016 title "Propositional Abduction with Implicit Hitting Sets" @default.
• W2478872016 cites W139194355 @default.
• W2478872016 cites W139322340 @default.
• W2478872016 cites W147950966 @default.
• W2478872016 cites W1497840745 @default.
• W2478872016 cites W1503377936 @default.
• W2478872016 cites W1511069520 @default.
• W2478872016 cites W1549285221 @default.
• W2478872016 cites W1568917966 @default.
• W2478872016 cites W1589487547 @default.
• W2478872016 cites W1592751104 @default.
• W2478872016 cites W1654880077 @default.
• W2478872016 cites W1894498325 @default.
• W2478872016 cites W1970168990 @default.
• W2478872016 cites W1987005090 @default.
• W2478872016 cites W2009689138 @default.
• W2478872016 cites W2029958553 @default.
• W2478872016 cites W2037481186 @default.
• W2478872016 cites W2038896017 @default.
• W2478872016 cites W2058449564 @default.
• W2478872016 cites W2071319337 @default.
• W2478872016 cites W2090761873 @default.
• W2478872016 cites W2100657934 @default.
• W2478872016 cites W2113666441 @default.
• W2478872016 cites W2121836384 @default.
• W2478872016 cites W2130919252 @default.
• W2478872016 cites W2144196848 @default.
• W2478872016 cites W2159521617 @default.
• W2478872016 cites W2170489073 @default.
• W2478872016 cites W2199687903 @default.
• W2478872016 cites W2205491070 @default.
• W2478872016 cites W2254118105 @default.
• W2478872016 cites W2295460894 @default.
• W2478872016 cites W2345507442 @default.
• W2478872016 cites W2481363456 @default.
• W2478872016 cites W2544773140 @default.
• W2478872016 cites W2912407375 @default.
• W2478872016 cites W2951454425 @default.
• W2478872016 cites W308113020 @default.
• W2478872016 cites W34604352 @default.
• W2478872016 cites W51456602 @default.
• W2478872016 cites W89830494 @default.
• W2478872016 cites W952867079 @default.
• W2478872016 cites W1536527479 @default.
• W2478872016 cites W2118750912 @default.
• W2478872016 hasPublicationYear "2016" @default.
• W2478872016 type Work @default.
• W2478872016 sameAs 2478872016 @default.
• W2478872016 citedByCount "5" @default.
• W2478872016 countsByYear W24788720162017 @default.
• W2478872016 countsByYear W24788720162018 @default.
• W2478872016 countsByYear W24788720162019 @default.
• W2478872016 countsByYear W24788720162020 @default.
• W2478872016 crossrefType "posted-content" @default.
• W2478872016 hasAuthorship W2478872016A5002246957 @default.
• W2478872016 hasAuthorship W2478872016A5051305025 @default.
• W2478872016 hasAuthorship W2478872016A5063586825 @default.
• W2478872016 hasConcept C102993220 @default.
• W2478872016 hasConcept C11413529 @default.
• W2478872016 hasConcept C134306372 @default.
• W2478872016 hasConcept C14523651 @default.
• W2478872016 hasConcept C162324750 @default.
• W2478872016 hasConcept C168773769 @default.
• W2478872016 hasConcept C191222856 @default.
• W2478872016 hasConcept C199360897 @default.
• W2478872016 hasConcept C203659156 @default.
• W2478872016 hasConcept C2778770139 @default.
• W2478872016 hasConcept C31170391 @default.
• W2478872016 hasConcept C33203268 @default.
• W2478872016 hasConcept C33923547 @default.
• W2478872016 hasConcept C34447519 @default.
• W2478872016 hasConcept C36503486 @default.
• W2478872016 hasConcept C3845977 @default.
• W2478872016 hasConcept C41008148 @default.
• W2478872016 hasConcept C6943359 @default.
• W2478872016 hasConcept C69562738 @default.
• W2478872016 hasConcept C74640108 @default.
• W2478872016 hasConcept C80444323 @default.
• W2478872016 hasConceptScore W2478872016C102993220 @default.
• W2478872016 hasConceptScore W2478872016C11413529 @default.
• W2478872016 hasConceptScore W2478872016C134306372 @default.
• W2478872016 hasConceptScore W2478872016C14523651 @default.
• W2478872016 hasConceptScore W2478872016C162324750 @default.
• W2478872016 hasConceptScore W2478872016C168773769 @default.
• W2478872016 hasConceptScore W2478872016C191222856 @default.
• W2478872016 hasConceptScore W2478872016C199360897 @default.
• W2478872016 hasConceptScore W2478872016C203659156 @default.
• W2478872016 hasConceptScore W2478872016C2778770139 @default.
• W2478872016 hasConceptScore W2478872016C31170391 @default.
• W2478872016 hasConceptScore W2478872016C33203268 @default.
• W2478872016 hasConceptScore W2478872016C33923547 @default.
• W2478872016 hasConceptScore W2478872016C34447519 @default.
• W2478872016 hasConceptScore W2478872016C36503486 @default.

• next