Character-based cladistics and answer set programming

Lecture Notes in Computer Science

Volumn 3350, Issue , 2005, Pages 37-51

  Brooks, Daniel R ^a   Erdem, Esra ^b   Minett, James W ^c   Ringe, Donald ^d  

^a UNIVERSITY OF TORONTO   (Canada)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^c CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^d UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; CONSTRAINT THEORY; KNOWLEDGE ACQUISITION; SET THEORY;

ANSWER SET PROGRAMMING; CHRACTER-BASED CLADISTICS; PARASITE-HOST SYSTEMS; PHYLOGENIES;

MATHEMATICAL PROGRAMMING;

EID: 23944497180     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30557-6_5     Document Type: Conference Paper

References (35)

1. D. R. Brooks, R. L. Mayden, and D. A. McLennan. Phylogeny and biodiversity: Conserving our evolutionary legacy. Trends in Ecology and Evolution, 7:55-59, 1992.
2. D. R. Brooks and D. A. McLennan. Phylogeny, Ecology, and Behavior: A Research Program in Comparative Biology. Univ. Chicago Press, 1991.
3. J. H. Camin and R. R. Sokal. A method for deducing branching sequences in phylogeny. Evolution, 19:311-326, 1965.
4. R. M. Chandler. Phylogenetic analysis of the alcids. PhD thesis, University of Kansas, 1990.
5. W. H. E. Day and D. Sankoff. Computational complexity of inferring phylogenies by compatibility. Systematic Zoology, 35(2):224-229, 1986.
6. I. Dyen, J. B. Kruskal, and P. Black. An Indoeuropean classification: a lexicostatistical experiment. Transactions of the American Philosophical Society, 82:1-132, 1992.
7. A. W. F. Edwards and L. L. Cavalli-Sforza. Reconstruction of evolutionary trees. Phenetic and Phylogenetic Classification, pp. 67-76, 1964.
8. E. Erdem and V. Lifschitz. Tight logic programs. TPLP, 3(4-5):499-518, 2003.
9. E. Erdem, V. Lifschitz, L. Nakhleh, and D. Ringe. Reconstructing the evolutionary history of Indo-European languages using answer set programming. In Proc. of PADL, pp. 160-176, 2003.
10. E. Erdem, V. Lifschitz, and D. Ringe. Temporal phylogenetic networks and answer set programming. In progress, 2004.
11. S. T. Erdoǧan and V. Lifschitz. Definitions in answer set programming. In Proc. of LPNMR, pp. 114-126, 2004.
12. J. Felsenstein. Numerical methods for inferring evolutionary trees. The Quarterly Review of Biology, 57:379-404, 1982.
13. J. Felsenstein. PHYLIP (Phylogeny inference package) version 3.6.
14. L. R. Foulds and R. L. Graham. The Steiner tree problem in Phylogeny is NP-complete. Advanced Applied Mathematics, 3:43-49, 1982.
15. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of ICLP/SLP, pp. 1070-1080, 1988.
16. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
17. W. Hennig. Grundzuege einer Theorie der Phylogenetischen Systematik. Deutscher Zentralverlag, 1950.
18. E. P. Hoberg. Evolution and historical biogeography of a parasite-host assemblage: Alcataenia spp. (Cyclophyllidea: Dilepididae) in Alcidae (Chradriiformes). Canadian Journal of Zoology, 64:2576-2589, 1986.
19. E. P. Hoberg. Congruent and synchronic patterns in biogeography and speciation among seabirds, pinnipeds, ans cestodes. J. Parasitology, 78(4):601-615, 1992.
20. Yu. Lierler and M. Maratea. Cmodels-2: SAT-based answer sets solver enhanced to non-tight programs. In Proc. of LPNMR, pp. 346-350, 2004.
21. V. Lifschitz. Answer set programming and plan generation. AIJ, 138:39-54, 2002.
22. V. Lifschitz. Introduction to answer set programming. Unpublished draft, 2004.
23. J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.
24. V.H. Mair, editor. The Bronze Age and Early Iron Age Peoples of Eastern Central Asia. Institute for the Study of Man, Washington, 1998.
25. J.P. Mallory. In Search of the Indo-Europeans. Thames and Hudson, London, 1989.
26. V. Marek and M. Truszczyński. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pp. 375-398, 1999.
27. J. W. Minett and W. S.-Y. Wang. On detecting borrowing: distance-based and character-based approaches. Diachronica, 20(2):289-330, 2003.
28. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proc. of DAC, 2001.
29. L. Nakhleh, D. Ringe, and T. Warnow. Perfect phylogenetic networks: A new methodology for reconstructing the evolutionary history of natural languages. Language, 2005. To appear.
30. K. Rexova, D. Frynta, and J. Zrzavý. Cladistic analysis of languages: Indo-European classification based on lexicostatistical data. Cladistics, 19:120-127, 2003.
31. D. Ringe, T. Warnow, and A. Taylor. Indo-European and computational cladistics. Transactions of the Philological Society, 100(1):59-129, 2002.
32. R.G. Roberts, R. Jones, and M.A. Smith. Thermoluminescence dating of a 50,000-year-old human occupation site in Northern Australia. Science, 345:153-156, 1990.
33. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. AIJ, 138:181-234, 2002.
34. D.L. Swofford. PAUP* (Phylogenetic analysis under parsimony) version 4.0.
35. J.P. White and J.F. O'Connell. A Prehistory of Australia, New Guinea, and Sahul. Academic Press, New York, 1982.