5255 search results - page 906 / 1051 » Formal Methods for Privacy |
184
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
152
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
140
click to vote
FC
2009
Springer
16 years 29 days ago
2009
Springer
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...
172
click to vote
MKM
2009
Springer
16 years 28 days ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...
199
click to vote
TABLEAUX
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...