FRINK Linked Data Fragments server

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

• W3113386908 endingPage "30" @default.
• W3113386908 startingPage "1" @default.
• W3113386908 abstract "We study the complexity of invariant inference and its connections to exact concept learning. We define a condition on invariants and their geometry, called the fence condition, which permits applying theoretical results from exact concept learning to answer open problems in invariant inference theory. The condition requires the invariant's boundary---the states whose Hamming distance from the invariant is one---to be backwards reachable from the bad states in a small number of steps. Using this condition, we obtain the first polynomial complexity result for an interpolation-based invariant inference algorithm, efficiently inferring monotone DNF invariants with access to a SAT solver as an oracle. We further harness Bshouty's seminal result in concept learning to efficiently infer invariants of a larger syntactic class of invariants beyond monotone DNF. Lastly, we consider the robustness of inference under program transformations. We show that some simple transformations preserve the fence condition, and that it is sensitive to more complex transformations." @default.
• W3113386908 created "2021-01-05" @default.
• W3113386908 creator A5002512849 @default.
• W3113386908 creator A5008913566 @default.
• W3113386908 creator A5028417315 @default.
• W3113386908 creator A5064455150 @default.
• W3113386908 date "2021-01-04" @default.
• W3113386908 modified "2023-10-17" @default.
• W3113386908 title "Learning the boundary of inductive invariants" @default.
• W3113386908 cites W1014453521 @default.
• W3113386908 cites W1412780727 @default.
• W3113386908 cites W1497571013 @default.
• W3113386908 cites W1498946538 @default.
• W3113386908 cites W1507321568 @default.
• W3113386908 cites W1515080744 @default.
• W3113386908 cites W1565898282 @default.
• W3113386908 cites W1787074469 @default.
• W3113386908 cites W1848981483 @default.
• W3113386908 cites W1969880832 @default.
• W3113386908 cites W1972085995 @default.
• W3113386908 cites W1991837261 @default.
• W3113386908 cites W1997256875 @default.
• W3113386908 cites W2003690673 @default.
• W3113386908 cites W2008771827 @default.
• W3113386908 cites W2019184769 @default.
• W3113386908 cites W2044458395 @default.
• W3113386908 cites W2045008295 @default.
• W3113386908 cites W2055440714 @default.
• W3113386908 cites W2071210909 @default.
• W3113386908 cites W2084294613 @default.
• W3113386908 cites W2098244894 @default.
• W3113386908 cites W2106647551 @default.
• W3113386908 cites W2108776051 @default.
• W3113386908 cites W2134734244 @default.
• W3113386908 cites W2147130904 @default.
• W3113386908 cites W2148177688 @default.
• W3113386908 cites W2149706766 @default.
• W3113386908 cites W2162775068 @default.
• W3113386908 cites W2167120274 @default.
• W3113386908 cites W2185676247 @default.
• W3113386908 cites W2211800868 @default.
• W3113386908 cites W2311603331 @default.
• W3113386908 cites W2318327664 @default.
• W3113386908 cites W2476153809 @default.
• W3113386908 cites W2491721896 @default.
• W3113386908 cites W2547679913 @default.
• W3113386908 cites W2602098845 @default.
• W3113386908 cites W2603705845 @default.
• W3113386908 cites W2797067769 @default.
• W3113386908 cites W2803502305 @default.
• W3113386908 cites W2899642440 @default.
• W3113386908 cites W2911867448 @default.
• W3113386908 cites W2963765477 @default.
• W3113386908 cites W2965215954 @default.
• W3113386908 cites W2996454041 @default.
• W3113386908 cites W3033769347 @default.
• W3113386908 cites W3105333642 @default.
• W3113386908 cites W3138459719 @default.
• W3113386908 cites W4238857046 @default.
• W3113386908 cites W4238893454 @default.
• W3113386908 cites W4242333425 @default.
• W3113386908 cites W4252861488 @default.
• W3113386908 doi "https://doi.org/10.1145/3434296" @default.
• W3113386908 hasPublicationYear "2021" @default.
• W3113386908 type Work @default.
• W3113386908 sameAs 3113386908 @default.
• W3113386908 citedByCount "3" @default.
• W3113386908 countsByYear W31133869082022 @default.
• W3113386908 crossrefType "journal-article" @default.
• W3113386908 hasAuthorship W3113386908A5002512849 @default.
• W3113386908 hasAuthorship W3113386908A5008913566 @default.
• W3113386908 hasAuthorship W3113386908A5028417315 @default.
• W3113386908 hasAuthorship W3113386908A5064455150 @default.
• W3113386908 hasBestOaLocation W31133869081 @default.
• W3113386908 hasConcept C104317684 @default.
• W3113386908 hasConcept C11413529 @default.
• W3113386908 hasConcept C118615104 @default.
• W3113386908 hasConcept C154945302 @default.
• W3113386908 hasConcept C185592680 @default.
• W3113386908 hasConcept C190470478 @default.
• W3113386908 hasConcept C2524010 @default.
• W3113386908 hasConcept C2776214188 @default.
• W3113386908 hasConcept C2834757 @default.
• W3113386908 hasConcept C33923547 @default.
• W3113386908 hasConcept C37914503 @default.
• W3113386908 hasConcept C41008148 @default.
• W3113386908 hasConcept C55493867 @default.
• W3113386908 hasConcept C63479239 @default.
• W3113386908 hasConcept C80444323 @default.
• W3113386908 hasConceptScore W3113386908C104317684 @default.
• W3113386908 hasConceptScore W3113386908C11413529 @default.
• W3113386908 hasConceptScore W3113386908C118615104 @default.
• W3113386908 hasConceptScore W3113386908C154945302 @default.
• W3113386908 hasConceptScore W3113386908C185592680 @default.
• W3113386908 hasConceptScore W3113386908C190470478 @default.
• W3113386908 hasConceptScore W3113386908C2524010 @default.
• W3113386908 hasConceptScore W3113386908C2776214188 @default.
• W3113386908 hasConceptScore W3113386908C2834757 @default.

• next