2649 search results - page 409 / 530 » Temporal Theories of Reasoning |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
CCS
2005
ACM
14 years 1 months 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...
DALT
2005
Springer
14 years 1 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
ILP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...