1581 search results - page 136 / 317 » Domain semantics of possibility computations |
141
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
139
click to vote
ICTAI
2009
IEEE
16 years 6 days ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
139
click to vote
WOLLIC
2009
Springer
16 years 5 days ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
162
click to vote
GRC
2005
IEEE
15 years 11 months ago
2005
IEEE
A new visualization tool, called "Visual Concept Explorer (VCE)", was developed to visualize concept relationships in bio-medical literatura VCE integrates Pathfinder Net...
185
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...