1594 search results - page 79 / 319 » Organizational Agent Systems for Intelligent Enterprise Mode... |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
100
click to vote
ATAL
2004
Springer
15 years 1 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
ANSS
2001
IEEE
15 years 1 months ago
2001
IEEE
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
IEAAIE
2000
Springer
15 years 1 months ago
2000
Springer
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
We analyse data obtained from several collaborative tagging systems and discover that user interests can be very diverse. Traditional methods for representing interests of users a...