1581 search results - page 136 / 317 » Domain semantics of possibility computations |
120
Voted
ESORICS
2010
Springer
15 years 4 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...
118
Voted
ICTAI
2009
IEEE
15 years 10 months 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...
116
Voted
WOLLIC
2009
Springer
15 years 10 months 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...
140
Voted
GRC
2005
IEEE
15 years 9 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...
155
Voted
ASP
2005
Springer
15 years 9 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...