{"id":"W2793721708","doi":"10.1016/j.jlamp.2018.02.002","title":"A theoretical framework for cardinality-based feature models: The semantics and computational aspects","year":2018,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Cardinality (data modeling); Computer science; Feature (linguistics); Semantics (computer science); Formal semantics (linguistics); Theoretical computer science; Programming language; Decidability; Software product line; Operational semantics; Denotational semantics; Computational semantics; Algorithm; Software; Software development; Data mining; Linguistics","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.004526219,0.0001373595,0.0003296025,0.00007894653,0.0001322284,0.0001369909,0.0003547497,0.0001257027,0.000001206667],"category_scores_gemma":[0.004296508,0.00007816516,0.00008680482,0.0002687341,0.0005078809,0.000161019,0.000143141,0.0004789719,5.114689e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001779608,"about_ca_system_score_gemma":0.0000401039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.160682e-7,"about_ca_topic_score_gemma":1.216599e-7,"domain_scores_codex":[0.9984156,0.0006024555,0.0003146019,0.0002151935,0.0002076177,0.000244546],"domain_scores_gemma":[0.9899955,0.009424567,0.0001727836,0.0001428452,0.0001763778,0.00008786264],"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.00002586887,0.00001969648,0.00005537105,0.00002666052,0.00001511259,0.00001029575,0.0002847447,0.004806272,0.00001676987,0.7808071,0.000003147499,0.2139289],"study_design_scores_gemma":[0.0002258095,0.0003520842,0.0003304259,0.00007731609,0.0000135063,0.0001175974,0.00005946756,0.1218766,0.0001246552,0.8764939,0.0002366886,0.00009185488],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002544511,0.001036267,0.9926645,0.003311015,0.0002332357,0.0001625617,4.706422e-7,0.00003542352,0.00001208294],"genre_scores_gemma":[0.1601232,0.00001444178,0.8394173,0.0002835427,0.0001473032,0.000007400782,1.409014e-7,0.000005802868,8.96268e-7],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2138371,"threshold_uncertainty_score":0.5143632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07762526643835502,"score_gpt":0.3969860829597516,"score_spread":0.3193608165213966,"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."}}