3515 search results - page 265 / 703 » On the semantics of Strategy Logic |
213
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
228
click to vote
FSKD
2007
Springer
15 years 9 months ago
2007
Springer
More and more digitized art images are accumulated and expanded in our daily life and techniques need to be established on how to organize and retrieval them. Though content-based...
223
click to vote
DKE
2008
15 years 7 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
216
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
205
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...