{"id":"W2037783464","doi":"10.1145/1057387.1057389","title":"Dealing with incomplete knowledge on CLP( <i>FD</i> ) variable domains","year":2005,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Canadian Patient Safety Institute","keywords":"Computer science; Local consistency; Consistency (knowledge bases); Semantics (computer science); Domain (mathematical analysis); Set (abstract data type); Answer set programming; Theoretical computer science; Constraint programming; Programming language; Constraint logic programming; Constraint (computer-aided design); Constraint satisfaction; Artificial intelligence; Mathematical optimization; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009701204,0.0009230447,0.001095008,0.001580344,0.001391862,0.006138374,0.003884609,0.001771608,0.00348966],"category_scores_gemma":[0.02118687,0.001145896,0.002030228,0.003697156,0.004210704,0.01284202,0.004850162,0.004357772,0.0005121688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002655765,"about_ca_system_score_gemma":0.003224827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00818987,"about_ca_topic_score_gemma":0.008406635,"domain_scores_codex":[0.9932896,0.002664428,0.0007384412,0.001319744,0.001493882,0.0004939212],"domain_scores_gemma":[0.9827723,0.01148579,0.001315247,0.002703936,0.001482596,0.0002402605],"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.00009554237,0.00002955621,0.0009876769,0.0003581136,0.00005512966,0.0006059933,0.001070738,0.07669552,0.001453855,0.8460075,0.004310628,0.06832977],"study_design_scores_gemma":[0.00006566458,0.00005297691,0.0003049035,0.0002179897,0.00007899116,0.0005887519,0.0004693854,0.2636327,0.006757449,0.6706938,0.05707366,0.00006353186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005618061,0.0001592182,0.9906544,0.0006710125,0.00002502512,0.00008157825,0.0002838869,0.0004162152,0.002090588],"genre_scores_gemma":[0.11374,0.0004604178,0.8801715,0.0005128579,0.00007798689,0.0003536075,0.0008356872,0.0002971207,0.003550829],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009701204,"threshold_uncertainty_score":0.05130547,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0142407032625593,"score_gpt":0.2645974458612206,"score_spread":0.2503567425986613,"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."}}