2414 search results - page 255 / 483 » Reasoning Support for OWL-E |
189
Voted
IJBRA
2007
15 years 6 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
187
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...
159
click to vote
AIR
2005
15 years 6 months ago
2005
Most users of machine-learning products are reluctant to use the systems without any sense of the underlying logic that has led to the system's predictions. Unfortunately many...
158
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect informat...
169
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...