Sciweavers

1120 search results - page 34 / 224
» A Formal Framework for Interactive Agents
Sort
View
ACOM
2006
Springer
15 years 3 months ago
On the Semantics of Conditional Commitment
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
Shakil M. Khan, Yves Lespérance
INCDM
2010
Springer
251views Data Mining» more  INCDM 2010»
15 years 1 months ago
Multi-Agent Based Clustering: Towards Generic Multi-Agent Data Mining
Abstract. A framework for Multi Agent Data Mining (MADM) is described. The framework comprises a collection of agents cooperating to address given data mining tasks. The fundamenta...
Santhana Chaimontree, Katie Atkinson, Frans Coenen
CORR
2009
Springer
115views Education» more  CORR 2009»
14 years 7 months ago
Bigraphical models for protein and membrane interactions
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
Giorgio Bacci, Davide Grohmann, Marino Miculan
ATAL
2009
Springer
15 years 1 months ago
Choice, interoperability, and conformance in interaction protocols and service choreographies
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra,...
ATAL
2005
Springer
15 years 3 months ago
Formalization of a voting protocol for virtual organizations
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Ale...