{"id":"W2175700267","doi":"","title":"Generalized multi-context systems","year":2014,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Operational semantics; Well-founded semantics; Semantics (computer science); Context (archaeology); Computer science; Formal semantics (linguistics); Proof-theoretic semantics; Computational semantics; Denotational semantics; Action semantics; Theoretical computer science; Programming language","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.0007042776,0.0001984252,0.0003799968,0.0001652895,0.0002071049,0.0001603959,0.000503182,0.0001000157,0.000006488393],"category_scores_gemma":[0.0006429501,0.0001667981,0.0001070047,0.0003193852,0.0001078524,0.0003559487,0.000382627,0.0001187487,0.00004020049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003204281,"about_ca_system_score_gemma":0.00006440596,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001406526,"about_ca_topic_score_gemma":0.00006042826,"domain_scores_codex":[0.9982334,0.0003078057,0.0004518187,0.0005218054,0.0001975457,0.0002876426],"domain_scores_gemma":[0.9983997,0.0002890865,0.0002903714,0.0005455626,0.000294501,0.0001808208],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001447033,0.0001739225,0.0321738,0.0001666697,0.00006304255,0.000003419305,0.005680033,0.0004022785,0.001609187,0.8925655,0.0001645049,0.06698315],"study_design_scores_gemma":[0.002053438,0.00008537322,0.02730564,0.0002355978,0.00002773461,0.00006505466,0.000426234,0.9381869,0.004988458,0.000358212,0.02587865,0.0003886684],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1999248,0.009774039,0.7222134,0.0001239768,0.001550921,0.0005150527,0.000002079072,0.0003732436,0.0655225],"genre_scores_gemma":[0.9770532,0.0001826471,0.01878003,0.0000186223,0.0001569809,0.00003123143,0.000005230614,0.00001550905,0.003756554],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9377847,"threshold_uncertainty_score":0.6801829,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04961093887796212,"score_gpt":0.2983021263901871,"score_spread":0.248691187512225,"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."}}