{"id":"W2120811814","doi":"10.1017/s1471068409990056","title":"Characterizations of stable model semantics for logic programs with arbitrary constraint atoms","year":2009,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Constraint (computer-aided design); Stable model semantics; Constraint logic programming; Computer science; Semantics (computer science); Atom (system on chip); Representation (politics); Theoretical computer science; Programming language; Discrete mathematics; Constraint satisfaction; Mathematics; Operational semantics; Artificial intelligence","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.001989407,0.0001831942,0.0003199234,0.00006910827,0.0001616064,0.0001102392,0.0003531287,0.00009212059,0.000002301877],"category_scores_gemma":[0.0005376191,0.0001339542,0.00006377524,0.0002874973,0.0002812699,0.0008410366,0.00007098726,0.0001481502,6.67314e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009834886,"about_ca_system_score_gemma":0.0001255089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001957436,"about_ca_topic_score_gemma":6.882073e-7,"domain_scores_codex":[0.9986306,0.0002191971,0.0003277468,0.0003218615,0.0001674713,0.0003331568],"domain_scores_gemma":[0.9978802,0.0009198694,0.0004859722,0.0003249123,0.0002979747,0.00009103122],"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.0002493167,0.0004822663,0.00005080263,0.00009598371,0.00004152884,0.000006745801,0.001529974,0.00004326352,0.0008015021,0.8674662,0.00000194578,0.1292304],"study_design_scores_gemma":[0.0015939,0.004749851,0.000135373,0.0002664299,0.0002927954,0.0004127726,0.001768174,0.0368175,0.003359808,0.9464263,0.00355075,0.0006263899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01104244,0.0005592517,0.9803291,0.0007364479,0.00003993015,0.0007559055,0.000004696175,0.0001230186,0.006409193],"genre_scores_gemma":[0.6688656,0.00006502579,0.3307571,0.0001964817,0.00001828171,0.00002566214,0.000009719033,0.000005817638,0.00005631245],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6578231,"threshold_uncertainty_score":0.5462494,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0320336723505918,"score_gpt":0.2855219591597016,"score_spread":0.2534882868091098,"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."}}