Sciweavers

1120 search results - page 8 / 224
» A Formal Framework for Interactive Agents
Sort
View
83
Voted
ATAL
2009
Springer
16 years 7 days ago
Constrained coalitional games: formal framework, properties, and complexity results
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, F...
ECAI
2004
Springer
15 years 11 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 11 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»
15 years 5 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 10 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...