1316 search results - page 33 / 264 » Intelligent Agents: Issues and Logics |
ATAL
1997
Springer
15 years 1 months ago
1997
Springer
This paper addresses issues in developing open multiagent systems, in which it is easy to expand the functionality by adding new agents with new capabilities, and which facilitate ...
TABLEAUX
2007
Springer
15 years 3 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
SYNTHESE
2010
14 years 4 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
HICSS
1997
IEEE
15 years 2 months ago
1997
IEEE
In this paper, we discuss the various issues in designing intelligent software systems to assist worldwide-web users in locating relevant information. We identi3 a number of key c...