1120 search results - page 90 / 224 » A Formal Framework for Interactive Agents |
165
click to vote
SGAI
2010
Springer
15 years 4 months ago
2010
Springer
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve in...
167
click to vote
CHI
2001
ACM
16 years 6 months ago
2001
ACM
Building trust with users is crucial in a wide range of applications, such as advice-giving or financial transactions, and some minimal degree of trust is required in all applicat...
175
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Similarly to institutions in human societies, Electronic Institutions (EI) provide structured frameworks for Multi-Agent Systems (MAS) to regulate agents' interactio...
163
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
204
click to vote
ESAW
2004
Springer
15 years 11 months ago
2004
Springer
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...