Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Nicola Muscettola

Papers on DiSC'02


Mapping Temporal Planning Constraints into Timed Automata

Publications


Note: Links lead to the DBLP on the Web.

Nicola Muscettola

19 Nicola Muscettola: Planning and execution, life, the solar system, and everything. AAMAS 2002 : 569

18 Paul Morris , Nicola Muscettola, Thierry Vidal : Dynamic Control Of Plans With Temporal Uncertainty. IJCAI 2001 : 494-502

17 Lina Khatib , Nicola Muscettola, Klaus Havelund : Mapping Temporal Planning Constraints into Timed Automata. TIME 2001 : 21-27

16 Paul Morris , Nicola Muscettola: Execution of Temporal Plans with Uncertainty. AAAI/IAAI 2000 : 491-496

15 Ari K. Jónsson , Paul H. Morris , Nicola Muscettola, Kanna Rajan , Benjamin D. Smith : Planning in Interplanetary Space: Theory and Practice. AIPS 2000 : 177-186

14 Benjamin D. Smith , Martin S. Feather , Nicola Muscettola: Challenges and Methods in Testing the Remote Agent Planner. AIPS 2000 : 254-263

13 Lina Khatib , Nicola Muscettola, Klaus Havelund : Verification of Plan Models Using UPPAAL. FAABS 2000 : 114-122

12 Paul H. Morris , Nicola Muscettola: Managing Temporal Uncertainty Through Waypoint Controllability. IJCAI 1999 : 1253-1258

11 Ioannis Tsamardinos , Nicola Muscettola, Paul Morris : Fast Transformation of Temporal Plans for Efficient Execution. AAAI/IAAI 1998 : 254-261

10 Nicola Muscettola, Paul H. Morris , Barney Pell , Benjamin D. Smith : Issues in Temporal Reasoning for Autonomous Control Systems. Agents 1998 : 362-368

9 Nicola Muscettola, Paul Morris , Ioannis Tsamardinos : Reformulating Temporal Plans for Efficient Execution. KR 1998 : 444-452

8 Nicola Muscettola, P. Pandurang Nayak , Barney Pell , Brian C. Williams : Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103 (1-2): 5-47 (1998)

7 Steve Chien , Nicola Muscettola, Kanna Rajan , Benjamin D. Smith , Gregg Rabideau : Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft. IEEE Intelligent Systems 13 (5): 50-55 (1998)

6 Barney Pell , Douglas E. Bernard , Steve Chien , Erann Gat , Nicola Muscettola, P. Pandurang Nayak , Michael D. Wagner , Brian C. Williams : An Autnomous Spacecarft Agent Prototype. Agents 1997 : 253-261

5 Benjamin D. Smith , Kanna Rajan , Nicola Muscettola: Knowledge Acquisition for the Onboard Planner of an Autonomous Spacecraft. EKAW 1997 : 253-268

4 Barney Pell , Erann Gat , Ron Keesing , Nicola Muscettola, Ben Smith : Robust Periodic Planning and Execution for Autonomous Spacecraft. IJCAI 1997 : 1234-1239

3 Nicola Muscettola: On the Utility of Bottleneck Reasoning for Scheduling. AAAI 1994 : 1105-1110

2 Stephen F. Smith , Nicola Muscettola, Dirk C. Matthys , Peng Si Ow , Jean-Yves Potvin : OPIS: An Opportunistic Factory Scheduling System. IEA/AIE (Vol. 1) 1990 : 268-274

1 Nicola Muscettola, Stephen F. Smith : A Probabilistic Framework for Resource-Constrained Multi-Agent Planning. IJCAI 1987 : 1063-1066




DiSC'02 © 2003 Association for Computing Machinery