{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006867857,0.0007595734,0.0008494196,0.0006325056,0.0003358535,0.0003706495,0.002552212,0.0005123292,0.00001430795],"category_scores_gemma":[0.0000916072,0.0005377776,0.0002312272,0.001118414,0.00155038,0.0007673129,0.0007525663,0.0008242686,0.00001199689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002323354,"about_ca_system_score_gemma":0.0005811367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005493652,"about_ca_topic_score_gemma":0.0001040503,"domain_scores_codex":[0.9950605,0.00008854642,0.0008469547,0.002050054,0.001165414,0.000788509],"domain_scores_gemma":[0.9964746,0.0003341545,0.0008279945,0.001585318,0.0005225355,0.0002554396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009045329,0.0004565668,0.0007392266,0.0001424764,0.00004109066,0.0007404546,0.006249894,0.002803574,0.0001670324,0.004355295,0.00002417536,0.9841897],"study_design_scores_gemma":[0.00418314,0.01873676,0.003137596,0.00785832,0.0002883992,0.004613758,0.00001549785,0.7547768,0.003066086,0.1908576,0.006526659,0.005939392],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004889112,0.0008853164,0.9887501,0.0003773639,0.0008302105,0.001505669,0.000001719059,0.0003102325,0.006850448],"genre_scores_gemma":[0.4925335,0.00003308206,0.5060143,0.0001695501,0.0003764662,0.0001060207,0.00003583851,0.00005033998,0.0006808398],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9782504,"threshold_uncertainty_score":0.9997074,"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."}}