1664 search results - page 240 / 333 » Towards Partial Reasoning |
199
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
167
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
138
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
197
click to vote
EUSAI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
142
click to vote
FOSSACS
2007
Springer
16 years 15 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...