Article
A Logic Approach to Modeling Nomenclatural Change
2016-06-14
Abstract excerpt
We utilize an Answer Set Programming (ASP) approach to show that the principles of nomenclature are tractable in computational logic. To this end we design a hypothetical, 20 nomenclatural taxon use case with starting conditions that embody several overarching principles of the International Code of Zoological Nomenclature; including Binomial Nomenclature, Priority, Coordination, Homonymy, Typification, and the st...
Topics
Open a Topic to create a Post that cites this publication.
Identifiers and source
- Literature Corpus work
- b10dc792-598e-5b98-8d03-3a4dab68736b
- DOI
- 10.1101/058834
