{"id":"W4401024643","doi":"10.24963/ijcai.2024/3","title":"Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions","year":2024,"lang":"en","type":"article","venue":"","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Distributed computing","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.004142302,0.001203968,0.0007727031,0.002273975,0.001756641,0.00392807,0.003218036,0.001553152,0.005330314],"category_scores_gemma":[0.007471021,0.0009746379,0.003619308,0.001803145,0.004774563,0.009511716,0.004573029,0.003906369,0.0008899947],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002765446,"about_ca_system_score_gemma":0.002937787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008337297,"about_ca_topic_score_gemma":0.007632514,"domain_scores_codex":[0.9975104,0.0007426222,0.0002262191,0.0004433199,0.0007427065,0.0003347656],"domain_scores_gemma":[0.9966955,0.001910138,0.0003478898,0.0004238389,0.000390273,0.000232352],"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.00007687385,0.00005111334,0.0006602735,0.0001603961,0.00005009997,0.0004302657,0.000609595,0.04534677,0.002054362,0.9246266,0.002410249,0.02352324],"study_design_scores_gemma":[0.00004430395,0.00004512239,0.0001116938,0.00007678791,0.00006773595,0.0002273992,0.0001625443,0.2798717,0.002720678,0.6927896,0.02383288,0.00004967067],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004452123,0.0002208074,0.9895359,0.0004434504,0.00008291505,0.0001144191,0.0002135117,0.0007037402,0.004233166],"genre_scores_gemma":[0.2848552,0.000764235,0.7042741,0.000843851,0.0003283602,0.0005343615,0.0008942908,0.000619031,0.006886524],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008337297,"threshold_uncertainty_score":0.02190685,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0458116357232107,"score_gpt":0.2965171509766326,"score_spread":0.2507055152534219,"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."}}