15 search results - page 1 / 3 » PHYLO-ASP: Phylogenetic Systematics with Answer Set Programm... |
LPNMR
2009
Springer
13 years 9 months ago
2009
Springer
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...
JAR
2007
13 years 5 months ago
2007
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 u...
LPNMR
2004
Springer
13 years 10 months ago
2004
Springer
BMCBI
2011
13 years 1 days ago
2011
Background: The increasing availability of molecular sequence data means that the accuracy of future phylogenetic studies is likely to by limited by systematic bias and taxon choi...
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...