47 search results - page 10 / 10 » A Framework for Reasoning with Expressive Continuous Fuzzy D... |
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
BMCBI
2007
13 years 4 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...