913 search results - page 177 / 183 » Formal Agent Development: Framework to System |
121
click to vote
DAWAK
2001
Springer
15 years 4 months ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
119
Voted
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
JKM
2007
14 years 11 months ago
2007
Purpose – The purpose of this paper is to distinguish and describe knowledge management (KM) technologies according to their support for strategy. Design/methodology/approach ...
104
click to vote
TCS
2002
14 years 11 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
88
Voted
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...