{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002424637,0.00009708979,0.00008617047,0.0000389935,0.0000295101,0.00007935926,0.0002210864,0.00008146497,0.000006418454],"category_scores_gemma":[0.000003661807,0.00007438733,0.00001385362,0.0001000423,0.00002965425,0.0001596819,0.0001912149,0.0001062829,0.000007729665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001049352,"about_ca_system_score_gemma":0.000004385859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007897132,"about_ca_topic_score_gemma":0.000009989291,"domain_scores_codex":[0.9994456,0.000009457955,0.00006003942,0.0002269092,0.00008700265,0.0001710374],"domain_scores_gemma":[0.9995695,0.00005074339,0.00001663714,0.0002640438,0.00002063478,0.00007848856],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002358741,0.00001952072,0.007764416,0.00002782491,0.00001056325,0.00004131146,0.0003886312,0.00001987896,0.0004947254,0.3993844,0.007738908,0.5841075],"study_design_scores_gemma":[0.0007948062,0.000452554,0.0961521,0.000137738,0.00001096865,0.0002543467,0.00002714447,0.1097593,0.01294461,0.02948578,0.7485939,0.001386711],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01111988,0.0003924008,0.9856036,0.0005529433,0.00003988717,0.00009086577,3.891524e-7,0.0005050568,0.001694929],"genre_scores_gemma":[0.1504056,0.00007569424,0.8481923,0.0002738852,0.00002431187,0.00000218418,5.283908e-7,0.000006506363,0.00101901],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.740855,"threshold_uncertainty_score":0.3033427,"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."}}