BibSonomy :: bibtex  ::

publications

(2)

• Reasoning about taxonomies in first-order logic
  David Thau and Bertram Ludascher Ecological Informatics 2 195--209 (2007)
  to (reasoning) Automated First-order Taxonomy constraints deduction logic by thau on 2007-12-05 22:07:29
  | URL | BibTeX  
• Reasoning about taxonomies in first-order logic
  David Thau and Bertram Lud\"{a}scher Ecological Informatics 2 195--209 (2007)
  to ecs268wq08 logic taxonomy by ludaesch on 2007-11-12 23:01:15
  | URL | BibTeX