PhyloASP : Phylogenetic Systematics with Answer Set Programming

PhyloReconstructASP: An ASP-based system for reconstructing phylogenies.

PhyloCompareASP: ASP-based systems for comparing phylogenies.

PhyloAnalyzeASP: ASP-based systems to reconstruct and analyze phylogenies.

SUPPORT

This work has been supported by TUBITAK Grant 107E229.

PUBLICATIONS

[1] E. Erdem. PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming. In Proc. of LPNMR'09.

[2] D. Cakmak, E. Erdem, and H. Erdogan. Computing Weighted Solutions in Answer Set Programming. In Proc. of LPNMR'09.

[3] T. Eiter, E. Erdem, H. Erdogan, and M.Fink. Finding Similar or Diverse Solutions in Answer Set Programming. In Proc. of ICLP'09, pp. 342--356.

[4] D. Brooks, E. Erdem, S. Erdogan, J. Minett, and D. Ringe. Inferring phylogenetic trees using answer set programming. In Journal of Automated Reasoning (JAR) , Vol. 39(4), pp. 471-511, 2007.

[5] E. Erdem, V. Lifschitz, and D. Ringe. Temporal phylogenetic networks and logic programming. In Theory and Practice of Logic Programming, Vol. 6(5), pp. 539-558, 2006.