Temporal phylogenetic networks and logic programming

Authors:
Esra Erdem;Vladimir Lifschitz;Don Ringe
Affiliations:
Institute of Information Systems 184/3, Vienna University of Technology, A-1040 Vienna, Austria (e-mail: esra@kr.tuwien.ac.at);Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712, USA (e-mail: vl@cs.utexas.edu);Department of Linguistics, University of Pennsylvania, Philadelphia, PA 19104, USA (e-mail: dringe@unagi.cis.upenn.edu)
Venue:
Theory and Practice of Logic Programming
Year:
2006

Citing 7
Cited 12

Foundations of logic programming

Principles of knowledge representation
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
ASSAT: computing answer sets of a logic program by SAT solvers

Eighteenth national conference on Artificial intelligence
Tight logic programs

Theory and Practice of Logic Programming
Phylogenetic networks

Phylogenetic networks
SAT-based answer set programming

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Character-Based cladistics and answer set programming

PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages

Justifications for logic programs under answer set semantics

Theory and Practice of Logic Programming
Extended asp tableaux and rule redundancy in normal logic programs1

Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1

Theory and Practice of Logic Programming
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling

Computer Languages, Systems and Structures
Logic programs with abstract constraint atoms: The role of computations

Artificial Intelligence
Logic programs with abstract constraint atoms: the role of computations

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Automatic music composition using answer set programming

Theory and Practice of Logic Programming
Applications of answer set programming in phylogenetic systematics

Logic programming, knowledge representation, and nonmonotonic reasoning
Answer set programming: a declarative approach to solving search problems

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Using answer set programming for the automatic compilation of assessment tests

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Character-Based cladistics and answer set programming

PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their characteristics with each other when linguistic communities are in contact, and also that a contact is only possible when the languages are spoken at the same time. We show how computational methods of answer set programming and constraint logic programming can be used to generate plausible conjectures about contacts between prehistoric linguistic communities, and illustrate our approach by applying it to the evolutionary history of Indo-European languages.