Sciweavers

1120 search results - page 23 / 224
» A Formal Framework for Interactive Agents
Sort
View
ATAL
2004
Springer
15 years 11 months ago
Towards a Formalization of Teamwork with Resource Constraints
Despite the recent advances in distributed MDP frameworks for reasoning about multiagent teams, these frameworks mostly do not reason about resource constraints, a crucial issue i...
Praveen Paruchuri, Milind Tambe, Fernando Ord&oacu...
MM
2006
ACM
127views Multimedia» more  MM 2006»
16 years 3 days ago
The computational extraction of temporal formal structures in the interactive dance work '22'
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
Vidyarani M. Dyaberi, Hari Sundaram, Thanassis Rik...
ATAL
2006
Springer
15 years 10 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
ESAW
2000
Springer
15 years 9 months ago
Formal Specification and Prototyping of Multi-agent Systems
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-P...
DEXAW
2005
IEEE
132views Database» more  DEXAW 2005»
15 years 11 months ago
A Decentralized Agent Framework for Dynamic Composition and Coordination for Autonomic Applications
This paper introduces a peer-to-peer agent framework for supporting autonomic applications in decentralized distributed environments. The framework provides agents to discover, co...
Zhen Li, Manish Parashar