{"id":"W1538905248","doi":"10.1007/978-3-7908-1846-8_14","title":"Expressiveness of $-Calculus: What Matters?","year":2000,"lang":"en","type":"book-chapter","venue":"Intelligent Information Systems","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acadia University","funders":"","keywords":"Process calculus; Computer science; Turing machine; Theoretical computer science; Synchronization (alternating current); Automaton; Situation calculus; Representation (politics); Process (computing); Artificial intelligence; Computation; Algorithm; 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":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005290498,0.0005049218,0.0007804915,0.0005763113,0.00008147183,0.001059967,0.001864968,0.0004191037,0.0002768562],"category_scores_gemma":[0.00001531566,0.0004719977,0.0003253296,0.0001295644,0.0001108015,0.004462646,0.0004777235,0.0003219332,0.002224038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000250112,"about_ca_system_score_gemma":0.0001451957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000640986,"about_ca_topic_score_gemma":0.000001203218,"domain_scores_codex":[0.996143,0.00006649666,0.001960746,0.0003981934,0.001093153,0.0003383901],"domain_scores_gemma":[0.9962957,0.0002100191,0.001239823,0.001502395,0.0005964253,0.0001556704],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002917248,0.00005920913,0.00000450974,0.001329329,0.0002049136,0.00001435412,0.006274265,0.01561192,0.000007609608,0.4330435,0.00447681,0.5389445],"study_design_scores_gemma":[0.0001904288,0.00009530774,0.000005910053,0.001860645,0.0000229802,0.0001050124,0.0003157899,0.04674353,0.0005275734,0.005704383,0.9437215,0.0007069314],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00002527453,0.001951518,0.811292,0.0002462436,0.004773693,0.001372268,0.00005697669,0.0003477189,0.1799343],"genre_scores_gemma":[0.2723472,0.03139784,0.04550276,0.01701576,0.007794211,0.002149069,0.003722501,0.001075261,0.6189954],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9392447,"threshold_uncertainty_score":0.9999771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0225987457896866,"score_gpt":0.2325704211433179,"score_spread":0.2099716753536313,"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."}}