Sciweavers

1120 search results - page 8 / 224
» A Formal Framework for Interactive Agents
Sort
View
ATAL
2009
Springer
15 years 4 months ago
Constrained coalitional games: formal framework, properties, and complexity results
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, F...
ECAI
2004
Springer
15 years 3 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
DSRT
2005
IEEE
15 years 3 months ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang
JOT
2007
169views more  JOT 2007»
14 years 9 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
EPIA
2001
Springer
15 years 2 months ago
Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents
Abstract. This paper presents a formal framework within which autonomous agents can dynamically select and apply different mechanisms to coordinate their interactions with one ano...
Rachel A. Bourne, Karen Shoop, Nicholas R. Jenning...