{"id":"W1976808588","doi":"10.2168/lmcs-2(3:2)2006","title":"Logics for Unranked Trees: An Overview","year":2006,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":67,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; University of Pennsylvania","keywords":"Computer science; Automaton; Tree automaton; XML; Tree (set theory); Theoretical computer science; Mathematics; Combinatorics; World Wide Web","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.003747248,0.000228772,0.0003900623,0.0001988222,0.0002873422,0.0002243768,0.001815364,0.00008063786,0.000005105257],"category_scores_gemma":[0.000186295,0.0001692767,0.00008723946,0.001593569,0.0004584022,0.00167749,0.0007017678,0.0001531232,0.000004926806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007801124,"about_ca_system_score_gemma":0.00009983086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006168259,"about_ca_topic_score_gemma":0.00004390445,"domain_scores_codex":[0.9969462,0.0003761232,0.0005156544,0.001117002,0.0003917034,0.0006533806],"domain_scores_gemma":[0.9977937,0.0007203287,0.0001439272,0.001034589,0.0001518591,0.0001556386],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003962899,0.00009842367,0.0001265547,0.00001413536,7.393645e-7,0.0000102841,0.00006523333,0.0030584,0.002345566,0.7437157,0.00002872248,0.2505323],"study_design_scores_gemma":[0.0004794946,0.0004510171,0.008362839,0.00005380847,0.000002245104,0.0000376613,0.000008511197,0.7229289,0.002643634,0.2454946,0.01908675,0.0004505899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001242254,0.0004435252,0.9962875,0.0002213018,0.0009467931,0.0003741146,0.000006678581,0.0002019728,0.0002758537],"genre_scores_gemma":[0.007738225,0.00001766074,0.9912845,0.000646289,0.0002285626,0.00005283713,0.000003311334,0.000006671909,0.00002188625],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7198705,"threshold_uncertainty_score":0.6902903,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1651178444744818,"score_gpt":0.4470196305774615,"score_spread":0.2819017861029797,"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."}}