Inferring Phylogenetic Trees Using Answer Set Programming. Brooks, D. R., Erdem, E., Erdogan, S. T., Minett, J. W., & Ringe, D. Automated Reasoning, 39(4):471-511, 2007. Link abstract bibtex 2 downloads 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: to historical analysis of languages, and to 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.
@article{DBLP:journals/jar/BrooksEEMR07,
author = {Daniel R. Brooks and
Esra Erdem and
Selim T. Erdogan and
James W. Minett and
Donald Ringe},
title = {Inferring Phylogenetic Trees Using Answer Set Programming},
journal = {Automated Reasoning},
volume = {39},
number = {4},
year = {2007},
pages = {471-511},
ee = {http://dx.doi.org/10.1007/s10817-007-9082-1},
bibsource = {DBLP, http://dblp.uni-trier.de},
abstract = {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: to historical analysis of languages, and to 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.
},
}
Downloads: 2
{"_id":{"_str":"53424e050e946d920a000677"},"__v":21,"authorIDs":["5456f0758b01c81930000081","54593b0db43425b7720003c7","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["Brooks, D. R.","Erdem, E.","Erdogan, S. T.","Minett, J. W.","Ringe, D."],"bibbaseid":"brooks-erdem-erdogan-minett-ringe-inferringphylogenetictreesusinganswersetprogramming-2007","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Daniel","R."],"propositions":[],"lastnames":["Brooks"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]},{"firstnames":["Selim","T."],"propositions":[],"lastnames":["Erdogan"],"suffixes":[]},{"firstnames":["James","W."],"propositions":[],"lastnames":["Minett"],"suffixes":[]},{"firstnames":["Donald"],"propositions":[],"lastnames":["Ringe"],"suffixes":[]}],"title":"Inferring Phylogenetic Trees Using Answer Set Programming","journal":"Automated Reasoning","volume":"39","number":"4","year":"2007","pages":"471-511","ee":"http://dx.doi.org/10.1007/s10817-007-9082-1","bibsource":"DBLP, http://dblp.uni-trier.de","abstract":"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: to historical analysis of languages, and to 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. ","bibtex":"@article{DBLP:journals/jar/BrooksEEMR07,\n author = {Daniel R. Brooks and\n Esra Erdem and\n Selim T. Erdogan and\n James W. Minett and\n Donald Ringe},\n title = {Inferring Phylogenetic Trees Using Answer Set Programming},\n journal = {Automated Reasoning},\n volume = {39},\n number = {4},\n year = {2007},\n pages = {471-511},\n ee = {http://dx.doi.org/10.1007/s10817-007-9082-1},\n bibsource = {DBLP, http://dblp.uni-trier.de},\n abstract = {We describe the reconstruction of a phylogeny for a set of taxa, with\na character-based cladistics approach, in a declarative knowledge\nrepresentation formalism, and show how to use computational methods\nof answer set programming to generate conjectures about the evolution\nof the given taxa. We have applied this computational method in two\ndomains: to historical analysis of languages, and to historical\nanalysis of parasite-host systems. In particular, using this method,\nwe have computed some plausible phylogenies for Chinese dialects, for\nIndo-European language groups, and for Alcataenia species. Some of\nthese plausible phylogenies are different from the ones computed by\nother software. Using this method, we can easily describe domain\nspecific information (e.g., temporal and geographical constraints),\nand thus prevent the reconstruction of some phylogenies that are not\nplausible.\n},\n}\n\n","author_short":["Brooks, D. R.","Erdem, E.","Erdogan, S. T.","Minett, J. W.","Ringe, D."],"key":"DBLP:journals/jar/BrooksEEMR07","id":"DBLP:journals/jar/BrooksEEMR07","bibbaseid":"brooks-erdem-erdogan-minett-ringe-inferringphylogenetictreesusinganswersetprogramming-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s10817-007-9082-1"},"downloads":2,"html":""},"bibtype":"article","biburl":"http://193.255.135.175/papers/krrpublications.bib","downloads":2,"keywords":[],"search_terms":["inferring","phylogenetic","trees","using","answer","set","programming","brooks","erdem","erdogan","minett","ringe"],"title":"Inferring Phylogenetic Trees Using Answer Set Programming","year":2007,"dataSources":["WeBGfagwiP89ve7hM"]}