421 search results - page 17 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
124
click to vote
EWCBR
1998
Springer
15 years 4 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
116
Voted
DLOG
2009
14 years 10 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
132
click to vote
UIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In the last years, techniques for activity recognition have attracted increasing attention. Among many applications, a special interest is in the pervasive e-Health domai...
117
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
102
Voted
OWLED
2007
15 years 2 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...