1087 search results - page 173 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
113
Voted
HCSE
2010
14 years 8 months ago
2010
In this paper we present a novel method for desktop-to-mobile adaptation. The solution also supports end-users in customizing multi-device ubiquitous user interfaces. In particular...
IEEEHPCS
2010
14 years 8 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
74
Voted
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
IJCAI
2003
14 years 11 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
RR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...