2043 search results - page 208 / 409 » Reasoning About Security Models |
177
click to vote
JAIR
2008
15 years 6 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
204
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
166
click to vote
FOIS
2001
15 years 7 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
173
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
This paper promotes social role awareness as a desirable capability of animated agents, that are by now strong affective reasoners, but otherwise often lack the social competence ...
166
click to vote
ASIACRYPT
2009
Springer
16 years 26 days ago
2009
Springer
We demonstrate how the framework that is used for creating efficient number-theoretic ID and signature schemes can be transferred into the setting of lattices. This results in cons...