Constructing Camin-Sokal Phylogenies via Answer Set Programming

Lecture Notes in Computer Science - Germany
doi 10.1007/11916277_31
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automata and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

From Answer Set Logic Programming to Circumscription via Logic of GK

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Special Issue on Answer Set Programming

KI - Künstliche Intelligenz
2018English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

GASP: Answer Set Programming With Lazy Grounding

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

PHYLO-ASP: Phylogenetic Systematics With Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Case for Query-Driven Predicate Answer Set Programming

English

Semantics and Complexity of Recursive Aggregates in Answer Set Programming

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy