3729 search results - page 84 / 746 » On Formal Modeling of Agent Computations |
ACII
2007
Springer
15 years 6 months ago
2007
Springer
CW
2004
IEEE
15 years 3 months ago
2004
IEEE
AIED
2005
Springer
15 years 5 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
WISE
2009
Springer
15 years 9 months ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...