2395 search results - page 245 / 479 » Reasoning in Semantic Wikis |
173
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
175
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
222
click to vote
CSFW
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
186
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
187
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...