Reasoning about taxonomies in first-order logic

David Thau, Bertram Ludäscher. Reasoning about taxonomies in first-order logic. Ecological Informatics, 2(3):195-209, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.