14 search results - page 2 / 3 » A Prototype Inference Engine for Rule-Based Geometric Reason... |
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
SAC
2010
ACM
14 years 3 days ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
SEMWEB
2009
Springer
13 years 11 months ago
2009
Springer
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving towa...
ISPA
2005
Springer
13 years 10 months ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...