BioQuery

A system that answers complicated biomedical queries using advanced AI techniques.

PhyloReconstructN-ASP

An ASP-based system for reconstructing similar/diverse phylogenies.

PhyloCompare-ASP

An ASP-based system for comparing phylogenies.

Clasp-nk / Clasp-w

Modifications of the answer set solver Clasp to find similar/diverse or weighted solutions in answer set programming.