Optimizing phylogenetic supertrees using answer set programming.

Laura Koponen Emilia Oikarinen Tomi Janhunen Laura Säilä

Published in: Theory Pract. Log. Program. (2015)

Keyphrases

answer set programming
phylogenetic trees
logic programs
logic programming
answer sets
constraint logic programming

reasoning tasks
answer set programs
stable model semantics
causal theories
meta level reasoning
stable models

tree decomposition
knowledge representation
computational biology
disjunctive logic programming
haplotype inference
declarative programming

qualitative spatial and temporal reasoning
deductive databases
update semantics
expert systems
artificial intelligence