Login / Signup
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