caa a22 4500 463182928 CHVBK 20180406164844.0 cr unu---uuuuu 170326e20071201xx s 000 0 eng 10.1007/s10817-007-9082-1 doi (NATIONALLICENCE)springer-10.1007/s10817-007-9082-1 Inferring Phylogenetic Trees Using Answer Set Programming [Elektronische Daten] [Daniel Brooks, Esra Erdem, Selim Erdoğan, James Minett, Don Ringe] We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to use computational methods of answer set programming to generate conjectures about the evolution of the given taxa. We have applied this computational method in two domains: historical analysis of languages and historical analysis of parasite-host systems. In particular, using this method, we have computed some plausible phylogenies for Chinese dialects, for Indo-European language groups, and for Alcataenia species. Some of these plausible phylogenies are different from the ones computed by other software. Using this method, we can easily describe domain-specific information (e.g., temporal and geographical constraints), and thus prevent the reconstruction of some phylogenies that are not plausible. Springer Science+Business Media B.V., 2007 Answer set programming nationallicence Phylogeny nationallicence Cladistics nationallicence Brooks Daniel Department of Ecology and Evolutionary Biology, University of Toronto, Ontario, Canada aut Erdem Esra Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turkey aut Erdoğan Selim Department of Computer Sciences, University of Texas at Austin, Austin, TX, USA aut Minett James Department of Electronic Engineering, Chinese University of Hong Kong, Shatin, Hong Kong aut Ringe Don Department of Linguistics, University of Pennsylvania, Philadelphia, PA, USA aut Journal of Automated Reasoning Springer Netherlands 39/4(2007-12-01), 471-511 0168-7433 39:4<471 2007 39 10817 https://doi.org/10.1007/s10817-007-9082-1 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-007-9082-1 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Brooks Daniel Department of Ecology and Evolutionary Biology, University of Toronto, Ontario, Canada aut NATIONALLICENCE 700 1- Erdem Esra Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turkey aut NATIONALLICENCE 700 1- Erdoğan Selim Department of Computer Sciences, University of Texas at Austin, Austin, TX, USA aut NATIONALLICENCE 700 1- Minett James Department of Electronic Engineering, Chinese University of Hong Kong, Shatin, Hong Kong aut NATIONALLICENCE 700 1- Ringe Don Department of Linguistics, University of Pennsylvania, Philadelphia, PA, USA aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Springer Netherlands 39/4(2007-12-01), 471-511 0168-7433 39:4<471 2007 39 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer