{"id":"W46479431","doi":"","title":"On the equivalence between answer sets and models of completion for nested logic programs","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Equivalence (formal languages); Computer science; Logic program; Answer set programming; Class (philosophy); Set (abstract data type); Theoretical computer science; Logic programming; Mathematics; Discrete mathematics; Programming language; 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.006649246,0.001129066,0.001833189,0.002349063,0.001997291,0.006091669,0.003146234,0.002589669,0.00797569],"category_scores_gemma":[0.0360636,0.001200689,0.004169143,0.001766407,0.007327504,0.01916214,0.00740784,0.007188181,0.001006258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003380789,"about_ca_system_score_gemma":0.002663151,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004778471,"about_ca_topic_score_gemma":0.00329942,"domain_scores_codex":[0.9907477,0.002375828,0.0006829316,0.001871509,0.003056423,0.001265661],"domain_scores_gemma":[0.9568764,0.03284345,0.00181717,0.003925127,0.002933269,0.001604487],"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.0003493912,0.000338054,0.001281657,0.0002188295,0.00006756819,0.0003333884,0.001708567,0.01805664,0.003580734,0.9510777,0.002116264,0.02087105],"study_design_scores_gemma":[0.00007721278,0.0000796697,0.0003601253,0.00003404502,0.00004150245,0.0001323371,0.0001525668,0.06087406,0.00253738,0.9338223,0.00184583,0.00004284071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1275873,0.0003530544,0.8489233,0.002614261,0.00009914822,0.0003744139,0.001164645,0.001904195,0.01697967],"genre_scores_gemma":[0.7685166,0.000360657,0.2190751,0.0008301894,0.0003870627,0.0006202912,0.00346149,0.0006975185,0.006051059],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00797569,"threshold_uncertainty_score":0.03516495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.10589067706285,"score_gpt":0.2874992129907615,"score_spread":0.1816085359279114,"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."}}