FRINK Linked Data Fragments server

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

• W2744460230 endingPage "184" @default.
• W2744460230 startingPage "168" @default.
• W2744460230 abstract "Model-finders such as SAT-solvers are attractive for producing concrete models, either as sample instances or as counterexamples when properties fail. However, the generated model is arbitrary. To address this, several research efforts have proposed principled forms of output from model-finders. These include minimal and maximal models, unsat cores, and proof-based provenance of facts. While these methods enjoy elegant mathematical foundations, they have not been subjected to rigorous evaluation on users to assess their utility. This paper presents user studies of these three forms of output performed on advanced students. We find that most of the output forms fail to be effective, and in some cases even actively mislead users. To make such studies feasible to run frequently and at scale, we also show how we can pose such studies on the crowdsourcing site Mechanical Turk." @default.
• W2744460230 created "2017-08-17" @default.
• W2744460230 creator A5024394821 @default.
• W2744460230 creator A5033363730 @default.
• W2744460230 creator A5046515488 @default.
• W2744460230 creator A5079753562 @default.
• W2744460230 creator A5087146581 @default.
• W2744460230 date "2017-01-01" @default.
• W2744460230 modified "2023-10-16" @default.
• W2744460230 title "User Studies of Principled Model Finder Output" @default.
• W2744460230 cites W1465565820 @default.
• W2744460230 cites W1527892282 @default.
• W2744460230 cites W1531103278 @default.
• W2744460230 cites W1910229279 @default.
• W2744460230 cites W1976371754 @default.
• W2744460230 cites W1992658570 @default.
• W2744460230 cites W1997799108 @default.
• W2744460230 cites W2075320780 @default.
• W2744460230 cites W2105753174 @default.
• W2744460230 cites W2110712507 @default.
• W2744460230 cites W2116411029 @default.
• W2744460230 cites W2124299249 @default.
• W2744460230 cites W2130089820 @default.
• W2744460230 cites W2139780773 @default.
• W2744460230 cites W2150903551 @default.
• W2744460230 cites W2151401338 @default.
• W2744460230 cites W2165081250 @default.
• W2744460230 cites W2167440926 @default.
• W2744460230 cites W229693416 @default.
• W2744460230 cites W2461055567 @default.
• W2744460230 cites W2508921589 @default.
• W2744460230 cites W2741400146 @default.
• W2744460230 cites W3123895079 @default.
• W2744460230 cites W3124106557 @default.
• W2744460230 cites W3149637534 @default.
• W2744460230 cites W3151708307 @default.
• W2744460230 cites W4213179597 @default.
• W2744460230 cites W4248218709 @default.
• W2744460230 cites W884650706 @default.
• W2744460230 doi "https://doi.org/10.1007/978-3-319-66197-1_11" @default.
• W2744460230 hasPublicationYear "2017" @default.
• W2744460230 type Work @default.
• W2744460230 sameAs 2744460230 @default.
• W2744460230 citedByCount "12" @default.
• W2744460230 countsByYear W27444602302018 @default.
• W2744460230 countsByYear W27444602302019 @default.
• W2744460230 countsByYear W27444602302020 @default.
• W2744460230 countsByYear W27444602302021 @default.
• W2744460230 countsByYear W27444602302022 @default.
• W2744460230 countsByYear W27444602302023 @default.
• W2744460230 crossrefType "book-chapter" @default.
• W2744460230 hasAuthorship W2744460230A5024394821 @default.
• W2744460230 hasAuthorship W2744460230A5033363730 @default.
• W2744460230 hasAuthorship W2744460230A5046515488 @default.
• W2744460230 hasAuthorship W2744460230A5079753562 @default.
• W2744460230 hasAuthorship W2744460230A5087146581 @default.
• W2744460230 hasConcept C118615104 @default.
• W2744460230 hasConcept C119857082 @default.
• W2744460230 hasConcept C121332964 @default.
• W2744460230 hasConcept C136764020 @default.
• W2744460230 hasConcept C154945302 @default.
• W2744460230 hasConcept C162838799 @default.
• W2744460230 hasConcept C185592680 @default.
• W2744460230 hasConcept C198531522 @default.
• W2744460230 hasConcept C2778755073 @default.
• W2744460230 hasConcept C33923547 @default.
• W2744460230 hasConcept C41008148 @default.
• W2744460230 hasConcept C43617362 @default.
• W2744460230 hasConcept C62230096 @default.
• W2744460230 hasConcept C62520636 @default.
• W2744460230 hasConceptScore W2744460230C118615104 @default.
• W2744460230 hasConceptScore W2744460230C119857082 @default.
• W2744460230 hasConceptScore W2744460230C121332964 @default.
• W2744460230 hasConceptScore W2744460230C136764020 @default.
• W2744460230 hasConceptScore W2744460230C154945302 @default.
• W2744460230 hasConceptScore W2744460230C162838799 @default.
• W2744460230 hasConceptScore W2744460230C185592680 @default.
• W2744460230 hasConceptScore W2744460230C198531522 @default.
• W2744460230 hasConceptScore W2744460230C2778755073 @default.
• W2744460230 hasConceptScore W2744460230C33923547 @default.
• W2744460230 hasConceptScore W2744460230C41008148 @default.
• W2744460230 hasConceptScore W2744460230C43617362 @default.
• W2744460230 hasConceptScore W2744460230C62230096 @default.
• W2744460230 hasConceptScore W2744460230C62520636 @default.
• W2744460230 hasLocation W27444602301 @default.
• W2744460230 hasOpenAccess W2744460230 @default.
• W2744460230 hasPrimaryLocation W27444602301 @default.
• W2744460230 hasRelatedWork W2606084229 @default.
• W2744460230 hasRelatedWork W2803765572 @default.
• W2744460230 hasRelatedWork W2827818489 @default.
• W2744460230 hasRelatedWork W2961085424 @default.
• W2744460230 hasRelatedWork W4285260836 @default.
• W2744460230 hasRelatedWork W4286629047 @default.
• W2744460230 hasRelatedWork W4306321456 @default.
• W2744460230 hasRelatedWork W4306674287 @default.
• W2744460230 hasRelatedWork W4362633439 @default.
• W2744460230 hasRelatedWork W4224009465 @default.
• W2744460230 isParatext "false" @default.

• next