351 search results - page 52 / 71 » Completing Description Logic Knowledge Bases Using Formal Co... |
AAAI
1990
15 years 29 days ago
1990
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
148
click to vote
MLG
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
108
click to vote
ISB
2002
14 years 11 months ago
2002
Data Mining and Knowledge Discovery techniques proved to be efficient tools for variety of complex tasks in biology including DNA research. This paper presents implementation of th...
109
click to vote
DAC
2007
ACM
16 years 24 days ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...