174 search results - page 14 / 35 » Towards Modelling an Intelligent Calendar Agent with LUPS |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a two-sided economic search model in which agents are searching for beneficial pairwise partnerships. In each search stage, each of the agents is randomly mat...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
AIED
2005
Springer
14 years 1 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...
ESAW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. For over a decade, agent research has shown that social commitments support the definition of open multiagent systems by capturing the responsibilities that agents contr...