{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004531584,0.0006888319,0.0008519954,0.0002217384,0.0002471199,0.000173349,0.001528954,0.0006169084,0.00002310062],"category_scores_gemma":[0.0001201782,0.0004986085,0.0003618583,0.000689964,0.0004142429,0.0004519151,0.001007138,0.000876891,0.00003538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001365265,"about_ca_system_score_gemma":0.0003652976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002403697,"about_ca_topic_score_gemma":0.00008392477,"domain_scores_codex":[0.995909,0.0002825884,0.0009137316,0.001644581,0.0005936953,0.0006564202],"domain_scores_gemma":[0.9962612,0.0001271739,0.001082595,0.001807775,0.0004595481,0.0002617304],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0007318414,0.006471499,0.7295629,0.001410789,0.0006670882,0.002032488,0.03212522,0.0006728097,0.001428279,0.001370745,0.0008328668,0.2226934],"study_design_scores_gemma":[0.009572145,0.02158422,0.8482488,0.009706648,0.001654828,0.002760638,0.00266324,0.05619706,0.006492761,0.01688088,0.01522725,0.009011541],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.830319,0.002053949,0.1528396,0.000746846,0.001239879,0.003760837,0.000006063126,0.001067693,0.00796611],"genre_scores_gemma":[0.9640267,0.00005360512,0.03377352,0.00004171661,0.0002544441,0.000727519,0.0001610757,0.00004665476,0.0009147449],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2136819,"threshold_uncertainty_score":0.9997466,"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."}}