Bafna, V. and Pevzner, P. 1998. Sorting by transpositions. SIAM Journal of Discrete Mathematics 11, 224–240.
Bailleux, O. and Marquis, P. 1999. DISTANCE-SAT: Complexity and algorithms. In Proc. of AAAI, 642–647.
Bluis, J. and Shin, D.-G. 2003. Nodal distance algorithm: Calculating a phylogenetic tree comparison metric. In Proc. of BIBE, 87–94.
Bodenreider, O., Çoban, Z. H., Doğanay, M. C., Erdem, E. and Koşucu, H. 2008. A preliminary report on answering complex queries related to drug discovery using answer set programming. In Proc. of ALPSWS, 85–90.
Brooks, D. and McLennan, D. 1991. Phylogeny, Ecology, and Behavior: A Research Program in Comparative Biology. University of Chicago Press, Chicago, IL.
Brooks, D. R., Erdem, E., Erdogan, S. T., Minett, J. W. and Ringe, D. 2007. Inferring phylogenetic trees using answer set programming. Journal of Automated Reasoning 39 (4), 471–511.
Brooks, D. R., Erdem, E., Minett, J. W. and Ringe, D. 2005. Character-based cladistics and answer set programming. In Proc. of PADL, 37–51.
Caldiran, O., Haspalamutgil, K., Ok, A., Palaz, C., Erdem, E. and Patoglu, V. 2009. Bridging the gap between high-level reasoning and low-level control. In Proc. of LPNMR, 342–354.
Camin, J. and Sokal, R. 1965. A method for deducing branching sequences in phylogeny. Evolution 19 (3), 311–326.
Chafle, G., Dasgupta, K., Kumar, A., Mittal, S. and Srivastava, B. 2006. Adaptation in web service composition and execution. In Proc. of ICWS, 549–557.
Chen, Z.-Z. and Toda, S. 1995. The complexity of selecting maximal solutions. Information and Computation 119, 231–239.
Coban, E., Erdem, E. and Ture, F. 2008. Comparing ASP, CP, ILP on two challenging applications: Wire routing and haplotype inference. In Proc. of the 2nd International Workshop on Logic and Search (LaSh 2008), 166–180.
DasGupta, B., He, X., Jiang, T., Li, M., Tromp, J. and Zhang, L. 1997. On distances between phylogenetic trees. In Proc. of SODA, 427–436.
Davis, M., Logemann, G. and Loveland, D. 1962. A machine program for theorem-proving. Communications of the ACM 5, 394–397.
Do, M. B. and Kambhampati, S. 2001. Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP. Artificial Intelligence 132 (2), 151–182.
Edwards, A. and Cavalli-Sforza, L. 1964. Reconstruction of evolutionary trees. In Phenetic and Phylogenetic Classification, Heywood, V. H. and McNeill, J., Systematics Association, London, 67–76.
Eiter, T. and Subrahmanian, V. 1999. Heterogeneous active agents, ii: Algorithms and complexity. Artificial Intelligence 108 (1–2), 257–307.
Erdem, E. 2002. Theory and Applications of Answer Set Programming. PhD thesis, Department of Computer Sciences, University of Texas at Austin.
Erdem, E. 2009. PHYLO-ASP: Phylogenetic systematics with answer set programming. In Proc. of LPNMR, 567–572.
Erdem, E., Lifschitz, V. and Ringe, D. 2006. Temporal phylogenetic networks and logic programming. Theory and Practice of Logic Programming 6 (5), 539–558.
Erdem, E. and Wong, M. D. F. 2004. Rectilinear Steiner tree construction using answer set programming. In Proc. of ICLP, 386–399.
Ferraris, P. and Lifschitz, V. 2005. Weight constraints as nested expressions. Theory and Practice of Logic Programming 5, 45–74.
Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. 2007a. clasp: A conflict-driven answer set solver. In Proc. of LPNMR, 260–265.
Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. 2007b. T.: Conflict-driven answer set solving. In Proc. of IJCAI, 386–392.
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385.
Gerevini, A., Saetti, A. and Serina, I. 2003. Planning through stochastic local search and temporal action graphs in LPG. Journal of Artificial Intelligence Research 20 (1), 239–290.
Gutin, G. 2003. Independent sets and cliques. In Handbook of Graph Theory, Chap. 5.3. Gross, J. L. and Yellin, J., Eds. CRC Press, Boca Raton, FL, 389–402.
Hamming, R. W. 1950. Error detecting and error correcting codes. Bell System Technical Journal 29 (2), 147–160.
Hebrard, E., Hnich, B., O'Sullivan, B. and Walsh, T. 2005. Finding diverse and similar solutions in constraint programming. In Proc. of AAAI, 372–377.
Hebrard, E., O'Sullivan, B. and Walsh, T. 2007. Distance constraints in constraint satisfaction. In Proc. of IJCAI, 106–111.
Hon, W.-K., Kao, M.-Y. and Lam, T.-W. 2000. Improved Phylogeny Comparisons: Non-shared Edges, Nearest Neighbor Interchanges, and Subtree Transfers. In Algorithms and Computation. Goos, G., Hartmanis, J., van Leeuwen, J., Lee, D. T., Teng, S-H., Eds. Springer Berlin/Heidelberg, 369–382.
Kautz, H. A. and Selman, B. 1992. Planning as satisfiability. In Proc. of ECAI, 359–363.
Kuhner, M. and Felsenstein, J. 1994. A simulation comparison of phylogeny algorithms under equal and unequal evolutionary rates [published erratum appears in Mol Biol Evol 1995 May;12(3):525]. Molecular Biology and Evolution 11 (3), 459–468.
Lifschitz, V. 1999. Action languages, answer sets and planning. In The Logic Programming Paradigm: a 25-Year Perspective, Apt, K. R., Marek, V. W., Truszczynski, M., Warren, D. S., Eds. Springer Verlag, Berlin, 357–373.
Lifschitz, V. 2008. What is answer set programming? In Proc. of. AAAI, 1594–1597.
Lifschitz, V. 2010. Thirteen definitions of a stable model. In Fields of Logic and Computation, Blass, A., Derschowitz, N., Reisig, W., Eds. Springer-Verlag, Berlin, Heidelberg, 488–503.
Lifschitz, V., Tang, L. R. and Turner, H. 1999. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence 25, 369–389.
Marek, W. and Remmel, J. 2003. On the expressibility of stable logic programming. Theory and Practice of Logic Programming 3 (4–5), 551–567.
Marques-Silva, J. and Sakallah, K. 1999. A search algorithm for propositional satisfiability. IEEE Transactions on Computers 5, 506–521.
McIlraith, S. A. and Son, T. C. 2002. Adapting Golog for composition of semantic web services. In Proc. of KR, 482–496.
Nogueira, M., Balduccini, M., Gelfond, M., Watson, R. and Barry, M. 2001. An A-Prolog decision support system for the space shuttle. In Proc. of PADL. Springer-Verlag, London, 169–183.
Nye, T. M., Lio, P. and Gilks, W. R. 2006. A novel algorithm and web-based tool for comparing two alternative phylogenetic trees. Bioinformatics 22 (1), 117–119.
Papadimitriou, C. 1994. Computational Complexity. Addison-Wesley, Reading, MA.
Ringe, D., Warnow, T. and Taylor, A. 2002. Indo-European and computational cladistics. Transactions of the Philological Society 100 (1), 59–129.
Robinson, D. F. and Foulds, L. R. 1981. Comparison of phylogenetic trees. Mathematical Biosciences 53 (1–2), 131–147.
Simons, P., Niemelä, I. and Soininen, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138, 181–234.
Soininen, T. and Niemelä, I. 1998. Developing a declarative rule language for applications in product configuration. In Proc. of PADL, 305–319.
Son, T., Pontelli, E. and Sakama, C. 2009. Logic programming for multiagent planning with negotiation. In Proc. of ICLP, 99–114.
Srivastava, B., Nguyen, T. A., Gerevini, A., Kambhampati, S., Do, M. B. and Serina, I. 2007. Domain independent approaches for finding diverse plans. In Proc. of IJCAI, 2016–2022.
Swofford, D. L. 2003. PAUP*: Phylogenetic Analysis under Parsimony (and Other Methods), version 4.0. Sinauer Associates, Sunderland, MA.
White, J. and O'Connell, J. 1982. A Prehistory of Australia, New Guinea, and Sahul. Academic, San Diego, CA.