Character-Based cladistics and answer set programming

Authors:
Daniel R. Brooks;Esra Erdem;James W. Minett;Donald Ringe
Affiliations:
Department of Zoology, University of Toronto, Toronto, Canada;Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Department of Electronic Engineering, Chinese University of Hong Kong, Shatin, Hong Kong;Department of Linguistics, University of Pennsylvania, Philadelphia
Venue:
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Year:
2005

Citing 7
Cited 11

Foundations of logic programming

Foundations of logic programming
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Answer set programming and plan generation

Artificial Intelligence
Extending and implementing the stable model semantics

Artificial Intelligence
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
Tight logic programs

Theory and Practice of Logic Programming
Temporal phylogenetic networks and logic programming

Theory and Practice of Logic Programming

Temporal phylogenetic networks and logic programming

Theory and Practice of Logic Programming
Quartet-Based Phylogeny Reconstruction with Answer Set Programming

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Integrating answer set programming and constraint logic programming

Annals of Mathematics and Artificial Intelligence
Finding Similar or Diverse Solutions in Answer Set Programming

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Computing Weighted Solutions in Answer Set Programming

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Faster phylogenetic inference with MXG

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Artificial Intelligence
Applications of answer set programming in phylogenetic systematics

Logic programming, knowledge representation, and nonmonotonic reasoning
Constructing camin-sokal phylogenies via answer set programming

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computing weighted solutions in ASP: representation-based method vs. search-based method

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to use computational methods of answer set programming to generate conjectures about the evolution of the given taxa. We have applied this computational method in two domains: to historical analysis of languages, and to historical analysis of parasite-host systems. In particular, using this method, we have computed some plausible phylogenies for Chinese dialects, for Indo-European language groups, and for Alcataenia species. Some of these plausible phylogenies are different from the ones computed by other software. Using this method, we can easily describe domain specific information (e.g. temporal and geographical constraints), and thus prevent the reconstruction of some phylogenies that are not plausible.