{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00408256,0.001149005,0.001495517,0.001484693,0.0008827868,0.002554821,0.003063634,0.001732773,0.006566289],"category_scores_gemma":[0.01629414,0.0006540649,0.002358748,0.002392524,0.001905345,0.0056181,0.003060338,0.004289262,0.0007950311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001189721,"about_ca_system_score_gemma":0.001492008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001447484,"about_ca_topic_score_gemma":0.002121672,"domain_scores_codex":[0.9970495,0.001162345,0.000210784,0.0006588214,0.0006886772,0.0002299155],"domain_scores_gemma":[0.9902768,0.007767353,0.0005470337,0.0006251394,0.0005769744,0.0002066228],"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.0003267102,0.0004188466,0.001999583,0.000734008,0.0001415854,0.0002760137,0.0006063026,0.4478965,0.00245486,0.2856523,0.009370469,0.2501229],"study_design_scores_gemma":[0.00004626087,0.00005648887,0.000119456,0.00003187104,0.00002346042,0.00007422901,0.00009321989,0.6722464,0.001048091,0.323779,0.002464998,0.00001655619],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0105153,0.0001825114,0.9854285,0.0007265452,0.00003406563,0.0001012741,0.0002394661,0.0006666069,0.002105819],"genre_scores_gemma":[0.1470944,0.0002844241,0.8481281,0.000454912,0.0001252114,0.0003340196,0.001252134,0.0002481955,0.002078565],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006566289,"threshold_uncertainty_score":0.0219664,"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."}}