2685 search results - page 308 / 537 » A Formal Semantics for SPKI |
182
click to vote
LACL
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
175
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
178
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
162
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
166
click to vote
RSFDGRC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...