1664 search results - page 21 / 333 » Towards Partial Reasoning |
CP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
ICML
1994
IEEE
13 years 10 months ago
1994
IEEE
VAMOS
2008
Springer
13 years 8 months ago
2008
Springer