{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004527271,0.0007674153,0.001116786,0.002425163,0.002039721,0.004705848,0.003434846,0.00297588,0.008738579],"category_scores_gemma":[0.01713533,0.001230361,0.00312633,0.002811101,0.006607,0.01814572,0.005199666,0.003750246,0.0009105804],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001772245,"about_ca_system_score_gemma":0.001487473,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002449293,"about_ca_topic_score_gemma":0.002612439,"domain_scores_codex":[0.9965549,0.001847408,0.0002978709,0.0003762734,0.000620338,0.0003032983],"domain_scores_gemma":[0.9899347,0.006701367,0.0004870533,0.001792713,0.0006939907,0.0003901366],"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.00001421299,0.00001177147,0.0001183727,0.00003539709,0.00001224595,0.00005941657,0.0003920933,0.005505657,0.0002460251,0.9895141,0.0003492079,0.003741384],"study_design_scores_gemma":[0.000008289227,0.000005155377,0.00003482671,0.00001092839,0.00001208468,0.00005143599,0.00004859154,0.02894394,0.0001437698,0.9695515,0.00118177,0.000007589653],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01868617,0.0004948432,0.9614536,0.001860814,0.0000602705,0.00006043962,0.0001509198,0.0003725849,0.0168603],"genre_scores_gemma":[0.6201911,0.0005315655,0.3715963,0.000409191,0.0002106887,0.0002657185,0.0003271858,0.0003445931,0.006123535],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008738579,"threshold_uncertainty_score":0.02923346,"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."}}