{"id":"W2096908165","doi":"10.1109/csfw.1989.40588","title":"Obligation as the basis of integrity specification","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Obligation; Modal logic; Computer science; Data integrity; Programming language; Operator (biology); Theoretical computer science; Modal; Computer security; Law; Political science","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.007053309,0.000725854,0.0006450327,0.00216101,0.002223431,0.007306681,0.00278274,0.003484198,0.004174674],"category_scores_gemma":[0.008460199,0.0007168257,0.001357857,0.001502411,0.01240571,0.01351061,0.003269966,0.004652808,0.001478657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003606314,"about_ca_system_score_gemma":0.003709718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004306678,"about_ca_topic_score_gemma":0.002790466,"domain_scores_codex":[0.9941154,0.002073488,0.0006247372,0.0008012641,0.001839775,0.0005452788],"domain_scores_gemma":[0.9952905,0.001946632,0.0004220009,0.0008938481,0.001208069,0.0002388794],"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.000003746234,0.000004298058,0.00002443345,0.0000198577,0.000001801714,0.00004831074,0.0002053836,0.0008589232,0.0001380609,0.9953513,0.0005262322,0.002817699],"study_design_scores_gemma":[0.000007934675,0.00001724121,0.00003937853,0.00006845459,0.00001173751,0.0001151153,0.0001404482,0.01108821,0.001073526,0.9568076,0.03061033,0.00001998446],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00724995,0.001937327,0.883235,0.01122336,0.0003619531,0.0001402036,0.0001978613,0.0005310018,0.09512335],"genre_scores_gemma":[0.5397855,0.003843421,0.4121929,0.002994354,0.0008056186,0.0006459831,0.0005877496,0.000312339,0.03883212],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007306681,"threshold_uncertainty_score":0.03730196,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03168005698158102,"score_gpt":0.2582388749963159,"score_spread":0.2265588180147348,"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."}}