5818 search results - page 188 / 1164 » A reasonable Semantic Web |
187
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
192
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
162
click to vote
AI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
180
click to vote
STEP
2003
IEEE
16 years 10 days ago
2003
IEEE
Currently we are experiencing the emergence of the fourth generation of the World Wide Web which is geared towards service and data provision using semantic and ontological inform...
239
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The increased availability and robustness of sensors, the wide-spread use of the internet as a communication environment and the intensified adoption of semantic technolo...