Sciweavers

128 search results - page 3 / 26
» A Complete Bidirectional Planner
Sort
View
ATAL
1999
Springer
13 years 11 months ago
A Planning Component for RETSINA Agents
In the RETSINA multi-agent system, each agent is provided with an internal planning component—the RETSINA planner. Each agent, using its internal planner, formulates detailed pla...
Massimo Paolucci, Onn Shehory, Katia P. Sycara, Di...
MODELS
2009
Springer
14 years 20 hour ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...
EVOW
2009
Springer
13 years 5 months ago
Divide-And-Evolve Facing State-of-the-Art Temporal Planners during the 6th International Planning Competition
Divide-and-Evolve (DAE) is the first evolutionary planner that has entered the biennial International Planning Competition (IPC). Though the overall results were disappointing, a d...
Jacques Bibai, Marc Schoenauer, Pierre Savé...
AIPS
2009
13 years 8 months ago
A Conformant Planner with Explicit Disjunctive Representation of Belief States
This paper describes a novel and competitive complete conformant planner. Key to the enhanced performance is an efficient encoding of belief states as disjunctive normal form form...
Son Thanh To, Enrico Pontelli, Tran Cao Son
AAAI
1990
13 years 8 months ago
Coordinating Text and Graphics in Explanation Generation
To generate multimedia explanations, a system must be able to coordinate the use of different media in a single explanation. In this paper, we present an architecture that we have...
Steven Feiner, Kathleen McKeown