A system that answers complicated biomedical queries using advanced AI techniques.
An ASP-based system for reconstructing similar/diverse phylogenies.
An ASP-based system for comparing phylogenies.
Modifications of the answer set solver Clasp to find
similar/diverse or weighted solutions in answer set programming.