A logic approach to modeling nomenclatural change
Nico Franz, Chao Zhang, Joohyung Lee
The paper uses Answer Set Programming to model nomenclatural changes in zoology, demonstrating how logic can infer and visualize compliance with nomenclatural rules in various scenarios.
bioRxiv · Jun 14, 2016Evolutionary Biology