{"id":"W1997780525","doi":"10.1007/s10817-007-9082-1","title":"Inferring Phylogenetic Trees Using Answer Set Programming","year":2007,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto; Austrian Science Fund; National Science Foundation","keywords":"Cladistics; Phylogenetic tree; Computer science; Taxon; Set (abstract data type); Formalism (music); Phylogenetics; Theoretical computer science; Representation (politics); Artificial intelligence; Programming language; Biology; Paleontology","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004507845,0.001237384,0.001722954,0.005232298,0.002132079,0.004928645,0.004071549,0.00290952,0.008023235],"category_scores_gemma":[0.02889783,0.001215606,0.003683064,0.003398301,0.002280646,0.01131352,0.003578824,0.003257527,0.001212948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001348602,"about_ca_system_score_gemma":0.001659848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003798651,"about_ca_topic_score_gemma":0.008281637,"domain_scores_codex":[0.9953216,0.001932719,0.0004497529,0.0009614523,0.001012797,0.0003215849],"domain_scores_gemma":[0.9723697,0.02367097,0.0008629241,0.001509393,0.001165163,0.0004219364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008071398,0.001123748,0.01700541,0.00151834,0.0008391638,0.001618969,0.001804592,0.1665203,0.006872475,0.3540834,0.01556473,0.4322417],"study_design_scores_gemma":[0.00007777247,0.00004423517,0.000689058,0.00009212916,0.0001769336,0.0001932756,0.0003228677,0.3274179,0.00255205,0.6640773,0.00431754,0.00003895102],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04854298,0.0006743657,0.941272,0.001606363,0.00009566109,0.0001835722,0.001411837,0.00244081,0.003772531],"genre_scores_gemma":[0.2646513,0.0004979133,0.7282436,0.0003466666,0.0001359668,0.0001644597,0.004162899,0.0003134766,0.001483656],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008023235,"threshold_uncertainty_score":0.02684039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02376857054380687,"score_gpt":0.2980693273525292,"score_spread":0.2743007568087223,"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."}}