2395 search results - page 63 / 479 » Reasoning in Semantic Wikis |
155
click to vote
LPAR
2010
Springer
15 years 3 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:
156
click to vote
CSFW
2004
IEEE
15 years 9 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...
140
click to vote
AI
2010
Springer
15 years 9 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 ...
171
click to vote
PPSWR
2005
Springer
15 years 11 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
160
Voted
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...