1849 search results - page 201 / 370 » Intelligent Expressions of Emotions |
219
click to vote
ACOM
2006
Springer
16 years 17 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
162
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
166
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
180
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
179
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Combinatorial auctions, where agents can bid on bundles of items (resources, tasks, etc.), are desirable because the agents can express complementarity and substitutability among ...