3773 search results - page 697 / 755 » Logical Reasoning |
140
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
126
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
139
Voted
ILP
2007
Springer
15 years 9 months ago
2007
Springer
: This paper is concerned with relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and relational learning or Inductive Logic Programming (ILP)...
151
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
138
Voted
POLICY
2007
Springer
15 years 9 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...