913 search results - page 68 / 183 » Formal Agent Development: Framework to System |
119
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Requirements volatility is an issue in software development life cycle which often originated from our incomplete knowledge about the domain of interest. In this paper, we propose...
126
click to vote
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
117
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
132
click to vote
ATAL
1999
Springer
15 years 8 months ago
1999
Springer
Multi-agent system research is concerned with the issues surrounding the performance of collections of interacting agents. A major concern, therefore, is with the design of the dec...
130
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...