{"id":"W186029108","doi":"10.1007/978-3-642-24364-6_18","title":"A Semantic Account for Modularity in Multi-language Modelling of Search Problems","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Modular design; Computer science; Monotonic function; Modularity (biology); Expressive power; Theoretical computer science; Operator (biology); Scheduling (production processes); Programming language; Property (philosophy); Artificial intelligence; Mathematical optimization; Mathematics","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"],"consensus_categories":[],"category_scores_codex":[0.001707633,0.0004671991,0.000698155,0.0009145061,0.0001368629,0.0002085377,0.003292756,0.000371459,0.000006975371],"category_scores_gemma":[0.00007519453,0.0004082391,0.0001782481,0.0005695481,0.0004879419,0.0004912207,0.001181188,0.0007215125,0.000009942302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002183911,"about_ca_system_score_gemma":0.000543523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003478657,"about_ca_topic_score_gemma":0.0005319889,"domain_scores_codex":[0.9964224,0.00004140805,0.0006245524,0.001455647,0.0006590262,0.0007969724],"domain_scores_gemma":[0.9976804,0.0003474073,0.0002650587,0.001200119,0.0003776989,0.0001293748],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002439984,0.0003394501,0.0005726094,0.0008338852,0.00002980385,0.00008653377,0.02830915,0.5853718,0.0005088913,0.06189698,0.000004002236,0.3220225],"study_design_scores_gemma":[0.0004384138,0.0001418089,0.00008179191,0.0005170476,0.000005623987,0.00001633322,5.726726e-7,0.9225708,0.001329589,0.07443617,0.00003469648,0.0004272018],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008859847,0.001021973,0.9954419,0.00005221719,0.0006196003,0.0009481363,0.000006463004,0.00007454887,0.0009491733],"genre_scores_gemma":[0.5774435,0.00004138277,0.4220657,0.0000926927,0.0001030224,0.00002080381,0.000003150893,0.00002627041,0.0002035433],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5765575,"threshold_uncertainty_score":0.9998369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07514873948279129,"score_gpt":0.2794715752004158,"score_spread":0.2043228357176245,"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."}}