Back to search

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
Open publication

Related research

Semantic proximity does not establish scientific evidence.

Click a neighbor to travelStep 1 · 12 closest
Interactive article relationship graphSelect a related publication card to move it into the centre and load its closest explainable connections. Solid lines are source-backed structured connections. Dashed lines are semantic discovery signals and are not scientific evidence.
A Logic Approach to Modeling Nomenclatural ChangeDOI 10.1101/058834
Select a neighboring publication to make it the new centre.