1544 search results - page 250 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
106
click to vote
DSOM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
107
click to vote
TKDE
2010
14 years 10 months ago
2010
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
ISTA
2004
15 years 1 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
125
click to vote
JIDM
2010
14 years 10 months ago
2010
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
118
click to vote
IEE
2008
14 years 12 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...