{"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.21578665,0.00089014694,0.7759067,0.0008148357,0.0022039628,0.00022234359,2.550172e-7,0.00040217696,0.0037729598],"genre_scores_gemma":[0.80928874,0.0000771726,0.18940902,0.0009939338,0.00014914661,0.000006100563,3.7117843e-7,0.0000044279645,0.00007108431],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9972571,0.00008640906,0.00030992844,0.0010007438,0.00053066225,0.0008151302],"domain_scores_gemma":[0.9986685,0.00020223593,0.00010079203,0.0006551868,0.00017606372,0.00019725261],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011580467,0.0002546721,0.0002849536,0.00032013372,0.00034193753,0.0006742798,0.001783157,0.00009585853,0.0000052373184],"category_scores_gemma":[0.00011555764,0.00019586278,0.000052537085,0.0017639446,0.00049426634,0.0011175928,0.0012435915,0.0003177526,0.000053914137],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"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.000011206422,0.000689015,0.043325294,0.00004131843,0.000018826338,0.001631188,0.007635103,0.0007332193,0.00029132655,0.6892843,0.00075001665,0.25558913],"study_design_scores_gemma":[0.00054885796,0.00023602859,0.0794902,0.000030865616,0.0000043830587,0.00093753694,0.000020428797,0.8728466,0.000097549084,0.043336228,0.001974302,0.00047702636],"about_ca_topic_score_codex":0.00003459227,"about_ca_topic_score_gemma":0.00003552828,"teacher_disagreement_score":0.8721134,"about_ca_system_score_codex":0.00011762255,"about_ca_system_score_gemma":0.00019553259,"threshold_uncertainty_score":0.7987052},"labels":[],"label_agreement":null}]}