1316 search results - page 145 / 264 » Intelligent Agents: Issues and Logics |
KI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
CIA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we present a meta strategy that combines two negotiation tactics. The first one based on concessions, and the second one, a trade-off tactic. The goal of this work...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper studies bilateral, multi-issue negotiation between self-interested agents with deadlines. There are a number of procedures for negotiating the issues and each of these g...