5847 search results - page 990 / 1170 » Visualization of Knowledge Structures |
126
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
121
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
107
click to vote
CICLING
2005
Springer
15 years 8 months ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
103
click to vote
CISC
2005
Springer
15 years 8 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
125
click to vote
COCO
2005
Springer
15 years 8 months ago
2005
Springer
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...