3729 search results - page 30 / 746 » On Formal Modeling of Agent Computations |
117
click to vote
AAMAS
2005
Springer
14 years 11 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
142
click to vote
CLIMA
2006
15 years 1 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
124
click to vote
SCP
2002
14 years 11 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
110
click to vote
ADAEUROPE
2001
Springer
15 years 4 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...