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 9 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
129
Voted
ECRA
2002
129views more  ECRA 2002»
15 years 3 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 ...
151
Voted
JCIT
2007
192views more  JCIT 2007»
15 years 3 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
113
Voted
AAAI
1997
15 years 4 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
120
Voted
AAAI
1998
15 years 4 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...