2638 search results - page 302 / 528 » Frameworks for Reasoning about Agent Based Systems |
153
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
148
click to vote
CDVE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Knowledge has become the most strategic resource in the new business environment. A case-based reasoning system, which incorporates a novel clustering and retrieval metho...
156
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
In many negotiation and bargaining scenarios, a particular agent may need to interact repeatedly with another agent. Typically, these interactions take place under incomplete info...
140
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Experience with the growing number of large-scale CBR systems has led to increasing recognition of the importance of case-base maintenance. Multiple researchers have addr...
201
click to vote
AH
2008
Springer
16 years 28 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...