3729 search results - page 84 / 746 » On Formal Modeling of Agent Computations |
CW
2004
IEEE
15 years 9 months ago
2004
IEEE
137
click to vote
AIED
2005
Springer
15 years 11 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...
144
click to vote
WISE
2009
Springer
16 years 2 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...
150
click to vote
ECAI
2008
Springer
15 years 7 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...