 | 2009 |
|---|
| 9 |       | Amedeo Cesta,
Alberto Finzi,
Simone Fratini,
Andrea Orlandini,
Enrico Tronci:
Flexible Timeline-Based Plan Verification.
KI 2009: 49-56 |
| 2008 |
|---|
| 8 | | Andrea Carbone,
Alberto Finzi,
Andrea Orlandini,
Fiora Pirri:
Model-based control architecture for attentive robots in rescue scenarios.
Auton. Robots 24(1): 87-120 (2008) |
| 2007 |
|---|
| 7 | | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Linear temporal logic as an executable semantics for planning languages.
Journal of Logic, Language and Information 16(1): 63-89 (2007) |
| 2005 |
|---|
| 6 | | Alberto Finzi,
Andrea Orlandini:
Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search Rovers.
AI*IA 2005: 483-494 |
| 5 | | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Planning with graded fluents and actions.
IJCAI 2005: 1711-1712 |
| 4 | | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Pdk: The System and Its Language.
TABLEAUX 2005: 307-311 |
| 3 |  | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
A Proposal for Planning with Graded Fluents and Actions.
Intelligenza Artificiale 2(4): 66-73 (2005) |
| 2003 |
|---|
| 2 | | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Planning under Uncertainty in Linear Time Logic.
AI*IA 2003: 324-335 |
| 2000 |
|---|
| 1 | | Marta Cialdea Mayer,
Andrea Orlandini,
Giulio Balestreri,
Carla Limongelli:
A Planning Fully Based on Linear Time Logic.
AIPS 2000: 347-354 |
