{"id":"W2973918868","doi":"10.4204/eptcs.306.20","title":"Mutex Graphs and Multicliques: Reducing Grounding Size for Planning","year":2019,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Semaphore; Mutual exclusion; Bottleneck; Graph; Representation (politics); Operator (biology)","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.001123345,0.0009200463,0.0006804558,0.001129881,0.0009143301,0.00155925,0.001914664,0.001051391,0.005462411],"category_scores_gemma":[0.006677304,0.0005602986,0.001199195,0.001727388,0.001718109,0.004943049,0.002660025,0.002432609,0.000430402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001919762,"about_ca_system_score_gemma":0.001477057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003423182,"about_ca_topic_score_gemma":0.006568249,"domain_scores_codex":[0.9987181,0.0004571045,0.00005686216,0.0002721755,0.0003390155,0.0001566246],"domain_scores_gemma":[0.9940729,0.004040746,0.0004184727,0.001121747,0.0001932316,0.0001529349],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003622075,0.0002587057,0.001839333,0.0003678404,0.00007676091,0.0002917387,0.0005757228,0.4627716,0.01135289,0.2743318,0.006385394,0.2413859],"study_design_scores_gemma":[0.0000540963,0.0001000655,0.0003578766,0.00005104468,0.00003499388,0.0001422292,0.0001608202,0.717991,0.007238955,0.2662766,0.007572243,0.00002018172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06809759,0.0003751476,0.9207386,0.001208653,0.00006078864,0.0002103471,0.0003888581,0.001877924,0.007042148],"genre_scores_gemma":[0.3656549,0.0003712168,0.6301395,0.0002623291,0.00004665226,0.0002736298,0.0006330707,0.0003979038,0.002220817],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005462411,"threshold_uncertainty_score":0.01827359,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005906480353639804,"score_gpt":0.2485408980229939,"score_spread":0.2426344176693541,"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."}}