{"id":"W2084895856","doi":"10.1109/tcbb.2007.1008","title":"Quartet-Based Phylogeny Reconstruction with Answer Set Programming","year":2007,"lang":"en","type":"article","venue":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China; Chinese Academy of Sciences; University of Alberta; Rice University; University of Utah","keywords":"Ultrametric space; Answer set programming; Representation (politics); Set (abstract data type); Computer science; Theoretical computer science; Consistency (knowledge bases); Perspective (graphical); Mathematics; Algorithm; Artificial intelligence; Discrete mathematics; Programming language","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.00435801,0.0009652959,0.001618507,0.001955171,0.0009161094,0.002902211,0.003939946,0.001684453,0.006001194],"category_scores_gemma":[0.01638891,0.000673008,0.002485858,0.002394312,0.001944307,0.005664255,0.003264911,0.00353132,0.0008494937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001291189,"about_ca_system_score_gemma":0.001506981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001553919,"about_ca_topic_score_gemma":0.0014351,"domain_scores_codex":[0.9965023,0.001524802,0.000200724,0.0007728619,0.0007972713,0.0002020234],"domain_scores_gemma":[0.9926059,0.005515815,0.0004697651,0.0007476062,0.0005188581,0.0001420438],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001854414,0.0002241926,0.001222912,0.0004906591,0.0001093269,0.0001809781,0.0004638712,0.4480754,0.002145666,0.3175125,0.004403031,0.2249861],"study_design_scores_gemma":[0.00002340922,0.00003756895,0.00007948222,0.00003549343,0.00001824997,0.00004939603,0.00006042786,0.6867949,0.0008980921,0.3096538,0.002333395,0.00001576505],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003667627,0.0001081255,0.9944296,0.0003270462,0.00002197141,0.00005135587,0.00009469601,0.0003153585,0.0009842926],"genre_scores_gemma":[0.1019709,0.0002264915,0.894519,0.000346305,0.00008856382,0.0003768801,0.0008902487,0.0002018282,0.001379678],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006001194,"threshold_uncertainty_score":0.02304763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0172925982674892,"score_gpt":0.2633733039962493,"score_spread":0.2460807057287601,"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."}}