Sciweavers

197 search results - page 16 / 40
» Planning-Based Control of Software Agents
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 5 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
ECRA
2002
129views more  ECRA 2002»
14 years 11 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
JCIT
2007
192views more  JCIT 2007»
14 years 11 months ago
Action Representation for Natural Language Interfaces to Agent Systems
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
Christel Kemke
AAAI
1997
15 years 1 months ago
Using a Robot Control Architecture to Automate Space Shuttle Operations
This paper describes preliminary results from using an AI robot control software architecture, known as 3T, as the software framework for a procedure tracking system for the space...
R. Peter Bonasso, David Kortenkamp, Troy Whitney
AAAI
1998
15 years 1 months ago
Intelligent Control of Life Support Systems for Space Habitats
The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitat...
Debra Schreckenghost, Daniel Ryan, Carroll Thrones...