{"id":"W1498575378","doi":"10.1007/3-540-45619-8_28","title":"A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Stable model semantics; Programming language; Theoretical computer science; Mathematics; Algorithm; Algebra over a field; Multimodal logic; Description logic; Pure mathematics","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.001100443,0.00067871,0.0007765608,0.0005775567,0.0007155614,0.001907596,0.001771546,0.0006210743,0.02011148],"category_scores_gemma":[0.004995496,0.0007887089,0.001709076,0.0013682,0.001176019,0.005338398,0.002071771,0.002949329,0.006041506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001515027,"about_ca_system_score_gemma":0.001923714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004054055,"about_ca_topic_score_gemma":0.004618255,"domain_scores_codex":[0.9983681,0.0002293382,0.000134936,0.000537273,0.0004730711,0.0002572239],"domain_scores_gemma":[0.9965851,0.0019048,0.0001575282,0.0006986463,0.0005237157,0.0001302313],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009220004,0.001272734,0.001457338,0.001103885,0.00008047822,0.0003651822,0.001364388,0.02953218,0.0499208,0.3421312,0.03108058,0.5407693],"study_design_scores_gemma":[0.0005947867,0.0005943459,0.002226447,0.0002073567,0.000341405,0.00076619,0.0005955885,0.3595528,0.10864,0.4354121,0.09087265,0.0001962992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04562545,0.0004385389,0.9272239,0.0007680049,0.0002421606,0.0002835668,0.0005802449,0.005329191,0.01950894],"genre_scores_gemma":[0.2562578,0.0007287295,0.7153742,0.0003529664,0.0002569905,0.00023235,0.002491646,0.001919437,0.0223859],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02011148,"threshold_uncertainty_score":0.06727958,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0303040647053049,"score_gpt":0.2536489175324722,"score_spread":0.2233448528271673,"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."}}