4224 search results - page 473 / 845 » Reasoning about Choice |
196
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
214
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
147
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
204
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
148
click to vote
EMO
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...