{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005000553,0.0001154578,0.0001713089,0.00001286574,0.0005366635,0.0001390378,0.0006707188,0.00005296443,0.00000317537],"category_scores_gemma":[0.002917306,0.0000427904,0.00004884893,0.0001981001,0.001645256,0.0003387639,0.0004997678,0.0002044757,0.000001883053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000406497,"about_ca_system_score_gemma":0.00001596029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009524386,"about_ca_topic_score_gemma":0.000004057089,"domain_scores_codex":[0.9978171,0.00140911,0.0002164135,0.0001791555,0.0001736237,0.000204621],"domain_scores_gemma":[0.9956536,0.003420727,0.0003475405,0.0004412555,0.0001093049,0.0000275739],"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.0001970253,0.00006727378,0.0001552492,0.00004455738,0.00003993259,0.000001690427,0.007454092,0.000003958244,0.00007697311,0.88775,0.00002129525,0.104188],"study_design_scores_gemma":[0.00289407,0.001022585,0.0007165351,0.0002496618,0.0005020204,0.001196492,0.009258116,0.02187728,0.003468496,0.870195,0.08802862,0.000591088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3186471,0.161066,0.2232646,0.1108176,0.002237829,0.008406085,0.000002517495,0.00053914,0.1750191],"genre_scores_gemma":[0.9957966,0.0007121781,0.002759737,0.0002058473,0.00002868542,0.00002717324,4.074689e-8,0.000004443108,0.0004652617],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6771495,"threshold_uncertainty_score":0.6062015,"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."}}