Sciweavers

1388 search results - page 32 / 278
» Diagnosis of Plans and Agents
Sort
View
AAAI
2010
15 years 7 months ago
Two-Player Game Structures for Generalized Planning and Agent Composition
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, S...
ATAL
2010
Springer
15 years 7 months ago
Agent programming via planning programs
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sard...
AAAI
2011
14 years 6 months ago
Termination and Correctness Analysis of Cyclic Control
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
ATAL
2005
Springer
15 years 11 months ago
From team plan to individual plans: a petri net-based approach
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
Olivier Bonnet-Torrés, Catherine Tessier