Before revision:  Given a logical model of a pathophysiology, either Boolean or multivalued, kali searches for which biological components should be therapeutically disturbed in order to reduce the reachability of the attractors associated with pathological phenotypes, thus reducing the likelinessof pathological phenotypes . kali is illustrated on a simple example network and shows that it can find therapeutic targets able to reduce the likeliness of pathological phenotypes .
After revision:  Given a logic-based model of pathological mechanisms, kali searches for which biological components should be therapeutically disturbed in order to reduce the reachability of the attractors associated with pathological phenotypes, thus reducing the likelinessof pathological phenotypes . kali is illustrated on a simple example network and shows that it can find therapeutic targets able to reduce the likeliness of pathological phenotypes .