ASP at work: an ASP implementation of PhyloWS

DOI10.4230/LIPICS.ICLP.2012.359MaRDI QIDQ5398073zbMATH OpenOpenAlexFDO

Authors

Publication date 25 February 2014

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2012/3636/pdf/34.pdf

zbMATH Keywords

answer setsapplicationsphylogenetic inferencesystems

Mathematics Subject Classification ID

Logic programming (68N17) Information storage and retrieval of data (68P20) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Constructing Camin-Sokal Phylogenies Via Answer Set Programming
• Inferring phylogenetic trees using answer set programming
• CDAOstore: a phylogenetic repository using logic programming and web services
• Computing weighted solutions in ASP: representation-based method vs. search-based method
• The External Interface for Extending WASP

Cited in

(4)

• PhyloWS
• CDAOstore: a phylogenetic repository using logic programming and web services
• Optimizing phylogenetic supertrees using answer set programming
• Parallel Logic Programming: A Sequel

This page was built for publication: ASP at work: an ASP implementation of PhyloWS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398073)