{"id":"W4252520463","doi":"10.1109/ictai.2004.103","title":"Quartet based phylogeny reconstruction with answer set programming","year":2005,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Ultrametric space; Set (abstract data type); Representation (politics); Computer science; Answer set programming; Consistency (knowledge bases); Genetic programming; Phylogenetics; Theoretical computer science; Artificial intelligence; Mathematics; Biology; Discrete mathematics; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001706359,0.0001217949,0.0001100951,0.00006622568,0.0001157203,0.0001498288,0.0003117303,0.00005028905,0.00009462686],"category_scores_gemma":[0.00001044933,0.00008448122,0.0000418502,0.0002844264,0.00004989309,0.0003937103,0.00003081853,0.00008510091,0.0001380415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003611182,"about_ca_system_score_gemma":0.00007848275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001976699,"about_ca_topic_score_gemma":0.0002169852,"domain_scores_codex":[0.9990904,0.00003729499,0.000126154,0.0003278984,0.0001460577,0.0002722132],"domain_scores_gemma":[0.9993985,0.00003170874,0.0000547844,0.0003419019,0.00008305053,0.0000899958],"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.00001169058,0.000105172,0.00905796,0.00001118433,0.00001791143,0.000008364746,0.0007856459,0.000116974,0.0003464438,0.02202443,0.00170299,0.9658113],"study_design_scores_gemma":[0.004086616,0.001758151,0.01574505,0.0001214709,0.000046603,0.0006874671,0.0006722281,0.5468658,0.02969394,0.001833047,0.3966761,0.001813512],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0565416,0.00007499511,0.898641,0.0008040595,0.0003198514,0.0002441996,7.596959e-7,0.0005767294,0.04279684],"genre_scores_gemma":[0.748595,0.000001006436,0.2502685,0.000226957,0.0001422937,0.00001491875,0.000001801711,0.000005559553,0.0007438934],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9639977,"threshold_uncertainty_score":0.3445044,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01339817592822834,"score_gpt":0.2251643288012551,"score_spread":0.2117661528730268,"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."}}