Sciweavers

1316 search results - page 51 / 264
» Intelligent Agents: Issues and Logics
Sort
View
ATAL
2011
Springer
13 years 9 months ago
The face of emotions: a logical formalization of expressive speech acts
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
Nadine Guiraud, Dominique Longin, Emiliano Lorini,...
AGENTCL
2000
Springer
15 years 2 months ago
Investigating Interactions between Agent Conversations and Agent Control Components
Abstract. Exploring agent conversation in the context of fine-grained agent coordination research has raised several intellectual questions. The major issues pertain to interactio...
Thomas Wagner, Brett Benyo, Victor R. Lesser, Ping...
AAMAS
2002
Springer
14 years 9 months ago
Game Theory and Decision Theory in Multi-Agent Systems
In the last few years, there has been increasing interest from the agent community in the use of techniques from decision theory and game theory. Our aims in this article are first...
Simon Parsons, Michael Wooldridge
ATAL
2011
Springer
13 years 9 months ago
Trust as dependence: a logical approach
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Munindar P. Singh
ATAL
2010
Springer
14 years 11 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga