Reconstructing the evolutionary history of Indo-European languages using answer set programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2562, Issue , 2003, Pages 160-176

  Erdem, Esra ^a   Lifschitz, Vladimir ^b   Nakhleh, Luay ^b   Ringe, Donald ^c  

^a UNIVERSITY OF TORONTO   (Canada)

^b University of Texas at Austin   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGY; COMPUTATION THEORY; COMPUTER PROGRAMMING; FORESTRY; GENETIC PROGRAMMING; LOGIC PROGRAMMING; PROBLEM SOLVING;

ANSWER SET PROGRAMMING; COMPUTATIONAL PROBLEM; EUROPEAN LANGUAGES; EVOLUTIONARY HISTORY; GENETIC RELATIONS; LOGIC PROGRAMS; OPTIMIZATION TECHNIQUES; PHYLOGENETIC NETWORKS;

COMPUTATIONAL LINGUISTICS;

EID: 35248878751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36388-2_12     Document Type: Article

References (15)

1. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert Kowalski and Kenneth Bowen, editors, Logic Programming: Proc. Fifth Int'l Conf. and Symp., pages 1070-1080, 1988.
2. Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David Warren and Peter Szeredi, editors, Logic Programming: Proc. Seventh Int'l Conf., pages 579-597, 1990.
3. Vladimir Lifschitz. Answer set programming and plan generation. Artificial Intelligence, 138:39-54, 2002.
4. V.H. Mair, editor. The Bronze Age and Early Iron Age Peoples of Eastern Central Asia. Institute for the Study of Man, Washington, 1998.
5. J.P. Mallory. In Search of the Indo-Europeans. Thames and Hudson, London, 1989.
6. Victor Marek and Mirosław Truszczyński. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999.
7. L. Nakhleh, D. Ringe, and T. Warnow. Perfect phylogenetic networks: A new methodology for reconstructing the evolutionary history of natural languages. Unpublished manuscript, 2002.
8. Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25:241-273, 1999.
9. Ilkka Niemelä and Patrik Simons. Extending the Smodel system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence. Kluwer, 2000.
10. D. Ringe, T. Warnow, and A. Taylor. Indo-European and computational cladistics. Transactions of the Philological Society, 100(1):59-129, 2002.
11. 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.
12. Patrik Simons, Ilkka Niemelä, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138:181-234, 2002.
13. Tommi Syrjänen. Omega-restricted logic programs. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LP-NMR), 2001.
14. 5 2002.
15. J.P. White and J.F. O'Connell. A Prehistory of Australia, New Guinea, and Sahul. Academic Press, New York, 1982.