{"id":"W2399684148","doi":"10.48550/arxiv.cs/0207071","title":"A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report","year":2002,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Translation (biology); Computer science; Programming language; Logic program; Mathematics; Logic programming; Biology","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.001761932,0.0006212324,0.0004761352,0.0005671235,0.0003984174,0.001751584,0.001201982,0.000458984,0.009646618],"category_scores_gemma":[0.007261922,0.0007065533,0.001419086,0.000844605,0.001243785,0.003471464,0.002387105,0.002976742,0.002656676],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001452176,"about_ca_system_score_gemma":0.001347636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002556599,"about_ca_topic_score_gemma":0.002180071,"domain_scores_codex":[0.9976212,0.0004183415,0.000191669,0.0005701541,0.000929144,0.0002693798],"domain_scores_gemma":[0.9958419,0.002130641,0.0002012302,0.001086859,0.0006132562,0.0001260813],"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.0004535766,0.0008113608,0.00199908,0.001020513,0.000078962,0.0005840803,0.001172705,0.05618045,0.05541014,0.3509872,0.01438051,0.5169213],"study_design_scores_gemma":[0.0002938747,0.0003559372,0.001258906,0.0001318778,0.0001598525,0.0008757419,0.0001884429,0.5131157,0.1184615,0.2585362,0.1065014,0.0001205497],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0175193,0.00021038,0.9727853,0.0003285565,0.00007028231,0.0001372779,0.0001956122,0.004082962,0.004670206],"genre_scores_gemma":[0.1800836,0.0004560474,0.8103662,0.0002936806,0.0001231296,0.0001676166,0.001062855,0.001720933,0.005726096],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009646618,"threshold_uncertainty_score":0.03227115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07103916910826698,"score_gpt":0.2801176551128076,"score_spread":0.2090784860045406,"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."}}