{"id":"W1974431732","doi":"10.1016/j.tcs.2006.12.025","title":"A fibrational framework for possible-world semantics of Algol-like languages","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Programming language; Semantics (computer science); Computer 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006761983,0.0001491553,0.0002263742,0.0001812593,0.0002171579,0.0002318389,0.001758556,0.00005514926,0.00003149661],"category_scores_gemma":[0.0001192236,0.0001189602,0.00008841395,0.001020281,0.001747323,0.0003724147,0.000596532,0.0001049046,0.0000146563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002228242,"about_ca_system_score_gemma":0.0001062147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001123429,"about_ca_topic_score_gemma":0.000005460934,"domain_scores_codex":[0.9981914,0.00004129321,0.0003040904,0.0004881454,0.0005389019,0.0004361772],"domain_scores_gemma":[0.998172,0.0008510614,0.0001025007,0.0006140601,0.0001769327,0.00008344459],"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.000006065011,0.00005191512,0.000482475,0.00001412391,0.000002934818,0.000003793577,0.000102241,0.0002960689,0.0003267021,0.9933819,0.0003893027,0.004942547],"study_design_scores_gemma":[0.0001384675,0.0001126586,0.005571635,0.00003440634,0.000005010731,0.00001191924,0.000005673999,0.2836528,0.009642104,0.7005639,0.0001137979,0.0001476167],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01413445,0.0000504454,0.9811143,0.001901537,0.0004353416,0.0001745368,0.000003658402,0.0001396352,0.002046133],"genre_scores_gemma":[0.5179386,5.785604e-7,0.4816799,0.0002467507,0.0001024526,0.000004217912,8.542764e-7,0.000003422542,0.00002321342],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5038041,"threshold_uncertainty_score":0.6438086,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01080059120483052,"score_gpt":0.2791098078430367,"score_spread":0.2683092166382062,"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."}}