{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003323661,0.0008527719,0.001093977,0.002777722,0.0009980871,0.004020952,0.002537976,0.001815636,0.003557398],"category_scores_gemma":[0.01148786,0.000758188,0.002288138,0.001932503,0.003428383,0.009574919,0.002871406,0.002702343,0.0005280318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002487586,"about_ca_system_score_gemma":0.00173457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002454406,"about_ca_topic_score_gemma":0.002189285,"domain_scores_codex":[0.9953328,0.0009478398,0.0003860295,0.0008441025,0.00202068,0.000468632],"domain_scores_gemma":[0.9923854,0.003344237,0.0009516723,0.001195718,0.001796281,0.0003267233],"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.00008151628,0.00008732285,0.0008419469,0.00009363658,0.00005741833,0.0002116473,0.0006164992,0.02184407,0.004446014,0.9593706,0.0006928773,0.01165641],"study_design_scores_gemma":[0.00004369568,0.00005985937,0.0002061989,0.00003527593,0.00004005819,0.0000958837,0.0001496582,0.1830658,0.004369422,0.8087998,0.00310483,0.00002953756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08204917,0.0002205027,0.9110131,0.0006612869,0.00003852053,0.0001557327,0.0004186936,0.0008460865,0.004596995],"genre_scores_gemma":[0.7922878,0.0002731608,0.202001,0.0003685903,0.0001085001,0.0005347493,0.001264551,0.0003983166,0.002763229],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004020952,"threshold_uncertainty_score":0.01804876,"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."}}