{"id":"W4253704847","doi":"10.1109/spline.2007.4339252","title":"Feature Diagrams and Logics: There and Back Again","year":2007,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Feature (linguistics); Feature model; Computer science; Theoretical computer science; Semantics (computer science); Representation (politics); Propositional formula; Notation; Code refactoring; Translation (biology); Relation (database); Programming language; Artificial intelligence; Algorithm; Description logic; Data mining; Mathematics; Propositional variable; Linguistics; Arithmetic","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002092244,0.0008263675,0.0007499462,0.00242499,0.001359457,0.007193124,0.001311906,0.002940465,0.006877938],"category_scores_gemma":[0.00590964,0.000650037,0.001607966,0.002575429,0.008441639,0.01754109,0.003673603,0.006192509,0.001960185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002916454,"about_ca_system_score_gemma":0.001024619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004482555,"about_ca_topic_score_gemma":0.00345205,"domain_scores_codex":[0.9977434,0.0009138996,0.0001542746,0.0003924789,0.0006014396,0.0001944815],"domain_scores_gemma":[0.9971432,0.001485205,0.0002015179,0.0006089109,0.0004221004,0.0001390414],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002886187,0.00001170586,0.0001728665,0.0001481298,0.00001478378,0.00007963274,0.0006697646,0.0006168041,0.0004834745,0.9582818,0.003596673,0.0358956],"study_design_scores_gemma":[0.000007794531,0.00002081537,0.0001134326,0.0001247322,0.00001231464,0.0001875441,0.0002261187,0.001775325,0.0004249699,0.9284478,0.06864038,0.00001879418],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008748115,0.03221304,0.8691311,0.0287625,0.002958636,0.00005318847,0.0003765398,0.0009369844,0.0568199],"genre_scores_gemma":[0.3419525,0.03472732,0.5489728,0.01795837,0.003454165,0.0002628957,0.0007800512,0.0009714192,0.0509205],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007193124,"threshold_uncertainty_score":0.02300894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01027336968143283,"score_gpt":0.2235247421416567,"score_spread":0.2132513724602239,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}