2576 search results - page 242 / 516 » The Complexity of Zero Knowledge |
184
click to vote
EPIA
2007
Springer
16 years 24 days 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...
171
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
To be a full-featured data exchange format, XML should support not only queries but also updates on its contents. The new W3C XML update facility has proposed a set of operators (...
159
click to vote
ESWS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
153
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
172
click to vote
SAINT
2006
IEEE
16 years 19 days ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...