{"id":"W2193302029","doi":"10.1017/s1471068402001540","title":"The witness properties and the semantics of the Prolog cut","year":2002,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Prolog; Computer science; Logic programming; Programming language; Semantics (computer science); Negation; Generalization; Horn clause; Well-founded semantics; Context (archaeology); Witness; Consistency (knowledge bases); Stable model semantics; Theoretical computer science; Operational semantics; Mathematics; Artificial intelligence; Denotational semantics","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.003491102,0.0004173176,0.0004938553,0.0009289529,0.001472668,0.00539577,0.001359201,0.001543521,0.004219513],"category_scores_gemma":[0.007408629,0.0008017267,0.001109256,0.0009431806,0.007654533,0.009027882,0.003464872,0.004243209,0.0007495129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001485867,"about_ca_system_score_gemma":0.001467777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001456205,"about_ca_topic_score_gemma":0.0009486037,"domain_scores_codex":[0.9968221,0.001256579,0.0002269313,0.0004875021,0.0008378099,0.0003691026],"domain_scores_gemma":[0.9964404,0.001852119,0.0002986378,0.0007620564,0.0004743262,0.0001725297],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003001384,0.000009787327,0.00008852995,0.00004976007,0.000005181929,0.00007556706,0.00055239,0.001178095,0.0006949219,0.9912361,0.0004733253,0.00560626],"study_design_scores_gemma":[0.00003403908,0.00004098776,0.0001021733,0.00004568914,0.00001778485,0.0001571584,0.0002627031,0.01068139,0.002251624,0.9689178,0.01746777,0.000020772],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02883697,0.0004996674,0.9347609,0.00265872,0.0001631357,0.0001500603,0.0002330449,0.001044235,0.03165333],"genre_scores_gemma":[0.6540616,0.0005681959,0.33555,0.0009742174,0.000191596,0.0003293108,0.0003543903,0.0005192942,0.00745143],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00539577,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03591203920956548,"score_gpt":0.2516279599677328,"score_spread":0.2157159207581673,"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."}}