Sciweavers

297 search results - page 42 / 60
» Semantic Coordination in Systems of Autonomous Agents: the A...
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 11 days ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
PRICAI
2000
Springer
14 years 12 days ago
Making Adjustable Autonomy Easier with Teamwork
Adjustable Autonomy (AA) is the name given to a variety of approaches to the task of giving outside entities the ability to change the level of autonomy of agents in an autonomous ...
Paul Scerri, Nancy E. Reed
ATAL
2003
Springer
14 years 2 months ago
Dimensions of Adjustable Autonomy and Mixed-Initiative Interaction
Abstract. Several research groups have grappled with the problem of characterizing and developing practical approaches for implementing adjustable autonomy and mixed-initiative int...
Jeffrey M. Bradshaw, Paul J. Feltovich, Hyuckchul ...
COORDINATION
2009
Springer
14 years 9 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
IEAAIE
2010
Springer
13 years 6 months ago
Knowledge-Based Framework for Workflow Modelling: Application to the Furniture Industry
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
Juan Carlos Vidal, Manuel Lama, Alberto Bugar&iacu...