{"meta":{"query_hash":"e13ca149bd1b","filters":{"venue":"Deontic Logic in Computer Science"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/e13ca149bd1b","api":"https://metacan.xera.ac/api/v1/cohort?venue=Deontic+Logic+in+Computer+Science"},"results":[{"id":"W1849885691","doi":"10.5555/1220075.1220082","title":"Natural Frames and Self-dual Logics","year":2001,"lang":"en","type":"article","venue":"Deontic Logic in Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Interpretation (philosophy); Dual (grammatical number); Duality (order theory); Class (philosophy); Computer science; Notice; Natural (archaeology); Modal logic; Semantic interpretation; Modal; Theoretical computer science; Artificial intelligence; Algebra over a field; Mathematics; Pure mathematics; Philosophy; Programming language; Linguistics","score_opus":0.01304448418705483,"score_gpt":0.2427163240922049,"score_spread":0.22967183990515005,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1849885691","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.17903881,0.0067969547,0.4834845,0.01699603,0.0006398726,0.000105346604,0.00019450873,0.0003279746,0.31241608],"genre_scores_gemma":[0.94598424,0.0012510418,0.039171547,0.0007048236,0.00031736563,0.00005825038,0.00009200807,0.00003973494,0.012380998],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985304,0.0006592864,0.000060248283,0.00021341484,0.00034165513,0.0001950472],"domain_scores_gemma":[0.999033,0.0003717137,0.0001484514,0.00016674072,0.00015338814,0.00012663184],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0019332774,0.0003528861,0.0003133878,0.0016250615,0.0019588415,0.003211507,0.0009150686,0.0012267078,0.002683418],"category_scores_gemma":[0.0015658068,0.0003577174,0.0006829551,0.0010245845,0.0078056124,0.0069216657,0.0025671937,0.002587054,0.00028098706],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000023945413,0.0000034196553,0.000021814434,0.0000032604885,8.0034175e-7,0.000009273469,0.00010125521,0.0001392914,0.00004595516,0.9988783,0.000101361686,0.00069281255],"study_design_scores_gemma":[0.0000045567745,0.000005059687,0.000034265428,0.0000075829757,0.0000016796017,0.000024450264,0.000096569594,0.0016134068,0.00015229275,0.9928421,0.0052147484,0.0000032047767],"about_ca_topic_score_codex":0.0020318485,"about_ca_topic_score_gemma":0.0020054395,"teacher_disagreement_score":0.0035971934,"about_ca_system_score_codex":0.0035971934,"about_ca_system_score_gemma":0.001113024,"threshold_uncertainty_score":0.026099622},"labels":[],"label_agreement":null}]}