{"id":"W1972866855","doi":"10.1007/s10472-011-9237-y","title":"Weight constraint programs with evaluable functions","year":2010,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Stable model semantics; Answer set programming; Constraint programming; Constraint logic programming; Constraint satisfaction; Semantics (computer science); Computer science; Context (archaeology); Logic programming; Constraint (computer-aided design); Programming language; Set (abstract data type); Constraint satisfaction problem; Domain (mathematical analysis); Theoretical computer science; Mathematical optimization; Operational semantics; Mathematics; Artificial intelligence; Stochastic programming","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.003573177,0.001026849,0.0008160679,0.001549699,0.0008483766,0.003437317,0.002096859,0.001340503,0.007340689],"category_scores_gemma":[0.01634306,0.0007085179,0.0009776661,0.002567673,0.002326099,0.007843645,0.002865571,0.003422974,0.0008112044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001692072,"about_ca_system_score_gemma":0.001385224,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002770335,"about_ca_topic_score_gemma":0.004255407,"domain_scores_codex":[0.9971628,0.001007522,0.0001608221,0.0003763439,0.0009317541,0.0003608552],"domain_scores_gemma":[0.9935389,0.004596049,0.0003335845,0.0005972465,0.0006910931,0.0002430671],"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.0001099055,0.00008244186,0.0003091725,0.0001041104,0.00003638218,0.00009134083,0.0001678788,0.02416403,0.001058099,0.9291261,0.002629778,0.04212071],"study_design_scores_gemma":[0.00003449252,0.00001831552,0.00006918813,0.00002481057,0.00002832718,0.00003449061,0.00003451624,0.1044666,0.001213564,0.889397,0.004664449,0.00001415589],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03436328,0.0003020357,0.9363602,0.001190021,0.0001234702,0.0001307041,0.0002751682,0.0006211067,0.02663399],"genre_scores_gemma":[0.5020003,0.0006541316,0.4642651,0.0004391257,0.0003033078,0.0004101131,0.0006994082,0.0004799383,0.03074864],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007340689,"threshold_uncertainty_score":0.02455711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1015128151851539,"score_gpt":0.318776890556816,"score_spread":0.2172640753716621,"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."}}