Sciweavers

1316 search results - page 65 / 264
» Intelligent Agents: Issues and Logics
Sort
View
ATAL
2000
Springer
15 years 2 months ago
Task Coordination Paradigms for Information Agents
In agent systems, different (autonomous) agents collaborate to execute complex tasks. Each agent provides a set of useful capabilities, and the agent system combines these capabili...
Marian H. Nodine, Damith Chandrasekara, Amy Unruh
ICLA
2011
Springer
14 years 1 months ago
Becoming Aware of Propositional Variables
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that th...
Hans P. van Ditmarsch, Tim French
ATAL
1997
Springer
15 years 2 months ago
A Customizable Coordination Service for Autonomous Agents
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
Munindar P. Singh
AAMAS
2011
Springer
14 years 1 months ago
Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
John W. Lloyd, Kee Siong Ng
ATAL
2010
Springer
14 years 11 months ago
Resource-bounded alternating-time temporal logic
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...