{"id":"W2950467909","doi":"10.48550/arxiv.cs/0201029","title":"The Witness Properties and the Semantics of the Prolog Cut","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":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada; Simon Fraser University","keywords":"Prolog; Programming language; Witness; Computer science; Semantics (computer science)","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.000719757,0.0002291482,0.0002905523,0.00001786005,0.0004753714,0.0001697522,0.00250447,0.0001548927,0.000004705634],"category_scores_gemma":[0.0002734297,0.00008296694,0.0001387448,0.0001551452,0.001185688,0.00007612687,0.003792337,0.0005505458,0.00002559925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001792541,"about_ca_system_score_gemma":0.00008836218,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006167586,"about_ca_topic_score_gemma":0.00007192647,"domain_scores_codex":[0.9984866,0.0003029501,0.0002790243,0.0004017841,0.0002537642,0.0002758389],"domain_scores_gemma":[0.9978424,0.0002059637,0.0003004713,0.001473162,0.0001431523,0.00003481936],"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.0001119795,0.000292938,0.7546141,0.0007191192,0.0004797722,0.00001430629,0.0391381,0.0003728352,0.0002934268,0.1861913,0.005311067,0.01246104],"study_design_scores_gemma":[0.003372656,0.0002812,0.6308609,0.001146886,0.0004175672,0.0001845396,0.0006538255,0.193322,0.01036475,0.1116146,0.04595631,0.001824827],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9706219,0.005551511,0.003029742,0.01020302,0.001574062,0.001049361,0.000001667876,0.00009754862,0.007871161],"genre_scores_gemma":[0.994916,0.0006309435,0.0001172379,0.00019871,0.0001349774,0.00007081398,2.124534e-7,0.00001169278,0.003919391],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1929491,"threshold_uncertainty_score":0.4726876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05394613870977807,"score_gpt":0.2257184942904392,"score_spread":0.1717723555806612,"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."}}