Sciweavers

1388 search results - page 32 / 278
» Diagnosis of Plans and Agents
Sort
View
AAAI
2010
15 years 1 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 27 days ago
Agent programming via planning programs
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sard...
AAAI
2011
13 years 11 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 5 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