Logic programs with classical negation
Logic programming
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Omega-Restricted Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Temporal phylogenetic networks and logic programming
Theory and Practice of Logic Programming
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Discovering classes of strongly equivalent logic programs
Journal of Artificial Intelligence Research
Computer Languages, Systems and Structures
Faster phylogenetic inference with MXG
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
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
Constructing camin-sokal phylogenies via answer set programming
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Character-Based cladistics and answer set programming
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
| Hi-index | 0.00 |
The evolutionary history of languages can be modeled as a tree, called a phylogeny, where the leaves represent the extant languages, the internal vertices represent the ancestral languages, and the edges represent the genetic relations between the languages. Languages not only inherit characteristics from their ancestors but also sometimes borrow them from other languages. Such borrowings can be represented by additional non-tree edges. This paper addresses the problem of computing a small number of additional edges that turn a phylogeny into a "perfect phylogenetic network". To solve this problem, we use answer set programming, which represents a given computational problem as a logic program whose answer sets correspond to solutions. Using the answer set solver smodels, with some heuristics and optimization techniques, we have generated a few conjectures regarding the evolution of Indo-European languages.