891 search results - page 26 / 179 » Towards Reasoning Pragmatics |
196
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
185
click to vote
SEMWEB
2009
Springer
16 years 21 days ago
2009
Springer
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving towa...
181
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
126
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
192
click to vote
IDC
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...