Temporal phylogenetic networks and logic programming

Theory and Practice of Logic Programming

Volumn 6, Issue 5, 2006, Pages 539-558

  Erdem, Esra ^a   Lifschitz, Vladimir ^b   Ringe, Don ^c  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b University of Texas at Austin   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Answer set programming; Constraint logic programming; Historical linguistics; Indo European languages; Phylogenetics

Indexed keywords

COMPUTATIONAL METHODS; CONSTRAINT THEORY; LINGUISTICS; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS;

ANSWER SET PROGRAMMING; CONSTRAINT LOGIC PROGRAMMING; HISTORICAL LINGUISTICS; INDO-EUROPEAN LANGUAGES; PHYLOGENETICS;

LOGIC PROGRAMMING;

EID: 33746918413     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068406002729     Document Type: Review

References (17)

1. BERGSLAND, K. AND VOGT, H. 1962. On the validity of glottochronology. Current Anthropology 3, 115-153.
2. BROOKS, D. R., ERDEM, E., MINETT, J. W. AND RINGE, D. 2005. Character-based cladistics and answer set programming. Proc. PADL-05, pp. 37-51.
3. ELKABANI, I., PONTELLI, E., AND SON, T. C. 2004. Smodels with CLP and its application: a simple and effective approach to aggregates in ASP. Proc. ICLP-04, pp. 73-89.
4. ERDEM, E. AND LIFSCHITZ, V. 2003. Tight logic programs. Theory and Practice of Logic Programming 3, 4-5, 499-518.
5. ERDEM, E., LIFSCHITZ, V., NAKHLEH, L. AND RINGE, D. 2003. Reconstructing the evolutionary history of Indo-European languages using answer set programming. Proc. PADL-03, pp. 160-176.
6. GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. In Logic Programming: Proceedings of the Fifth International Conference and Symposium, R. Kowalski and K. Bowen, Eds. 1070-1080.
7. GIUNCHIGLIA, E., LIERLER, Y. AND MARATEA, M. 2004. SAT-based answer set programming. Proc. AAAI-04, pp. 61-66.
8. GLEASON, H. A. 1959. Counting and calculating for historical reconstruction. Anthropological Linguistics 1, 22-32.
9. HOCK, H. H. 1986. Principles of Historical Linguistics. Mouton de Gruyter, Berlin.
10. LEE, J. AND LIFSCHITZ, V. 2003. Loop formulas for disjunctive logic programs. Proc. ICLP-03, pp. 451-465.
11. LIFSCHITZ, V. 1996. Foundations of logic programming. In Principles of Knowledge Representation, G. Brewka, Ed. CSLI Publications, pp. 69-128.
12. LIN, F. AND ZHAO, Y. 2002. ASSAT: computing answer sets of a logic program by SAT solvers. Proc. AAAI-02, pp. 112-117.
13. MALLORY, J. P. 1989. In Search of the Indo-Europeans. Thames and Hudson, London.
14. NAKHLEH, L. 2004. Phylogenetic networks. PhD thesis, University of Texas at Austin. Department of Computer Sciences.
15. NAKHLEH, L., RINGE, D. AND WARNOW, T. 2005. Perfect phylogenetic networks: A new methodology for reconstructing the evolutionary history of natural languages. Language 81, 2, 382-420.
16. RINGE, D., WARNOW, T. AND TAYLOR, A. 2002. Indo-European and computational cladistics. Transactions of the Philological Society 100, 1, 59-129.
17. Ross, M. 1997. Social networks and kinds of speech-community events. In Archaeology and language I: theoretical and methodological orientations, R. Blench and M. Spriggs, Eds. Routledge, London, pp. 209-261.