{"id":"W2119670089","doi":"10.1007/978-3-540-74915-8_39","title":"Game Characterizations and the PSPACE-Completeness of Tree Resolution Space","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Completeness (order theory); PSPACE; Tree (set theory); Computer science; Space (punctuation); Resolution (logic); Mathematics; Programming language; Algorithm; Combinatorics; Operating system; Computational complexity theory","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.002465922,0.001103449,0.001551224,0.001750454,0.00259981,0.005568366,0.003213366,0.002239948,0.01136879],"category_scores_gemma":[0.008417347,0.001193242,0.002388944,0.003418374,0.005324528,0.01718879,0.004292276,0.01023363,0.00119789],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002530264,"about_ca_system_score_gemma":0.001544329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003453094,"about_ca_topic_score_gemma":0.003233537,"domain_scores_codex":[0.9965983,0.001176933,0.0002582042,0.0006204547,0.0008506437,0.0004955485],"domain_scores_gemma":[0.9929217,0.005128675,0.0002869472,0.0007738782,0.0005462761,0.0003426404],"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.0000419728,0.00003741785,0.00009244947,0.00007793116,0.00001506151,0.00002766666,0.0002895676,0.00507381,0.0003357811,0.9855756,0.002407504,0.006025402],"study_design_scores_gemma":[0.00001539219,0.000007156209,0.00005202107,0.000009792608,0.000007327123,0.00002237121,0.00004940922,0.006276178,0.0002140121,0.9915514,0.001787834,0.000007098441],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1103814,0.002333361,0.6828599,0.008309286,0.0002655293,0.0002562399,0.001534296,0.00105916,0.1930008],"genre_scores_gemma":[0.831185,0.00191649,0.1274559,0.001351383,0.0004264007,0.0006205463,0.002523971,0.000575927,0.03394434],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01136879,"threshold_uncertainty_score":0.03803235,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03783475982633105,"score_gpt":0.2752767526982613,"score_spread":0.2374419928719302,"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."}}