Title of article
Reasoning about taxonomies in first-order logic
Author/Authors
David Thau ، نويسنده , , Bertram Ludascher، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
15
From page
195
To page
209
Keywords
TaxonomyAutomated deduction (reasoning)First-order logic constraints
Journal title
Ecological Informatics
Serial Year
2007
Journal title
Ecological Informatics
Record number
305662
Link To Document