IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 63
Titolo Data di pubblicazione Autore(i) File
Planning with Extended Goals and Partial Observability 1-gen-2003 Bertoli, Piergiorgio; Pistore, Marco
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco
MBP: A Model Based Planner 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Planning and Monitoring Web Service Composition 1-gen-2004 Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; D., Sharparau; Traverso, Paolo
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains 1-gen-2004 Albore, Alexandre; Bertoli, Piergiorgio
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains 1-gen-2004 Bertoli, Piergiorgio; Cimatti, Alessandro; Traverso, Paolo
Conformant Planning via Symbolic Model Checking and Heuristic Search 1-gen-2004 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
Planning with Extended Goals and Partial Observability 1-gen-2004 Bertoli, Piergiorgio; Pistore, Marco
WS-GEN: A Tool for the Automated Composition of Semantic Web Services 1-gen-2004 Pistore, Marco; Bertoli, Piergiorgio; E., Cusenza; Marconi, Annapaola; Traverso, Paolo
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 1-gen-2004 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 1-gen-2004 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
Automated Composition of Web Services by Planning at the Knowledge Level 1-gen-2005 Pistore, Marco; Marconi, Annapaola; Bertoli, Piergiorgio; Traverso, Paolo
Automated Synthesis of Composite BPEL4WS Web Services 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
ASTRO: Supporting the Composition and Execution of Web Services 1-gen-2005 Trainotti, Michele; Pistore, Marco; Calabrese, Gaetano; Zacco, Gabriele; P., Lucchese; F., Barbon; Bertoli, Piergiorgio; Traverso, Paolo
Automated Composition of Web Services by Planning in Asynchronous Domains 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio
Verifying space and time requirements for resource-bounded agents 1-gen-2006 N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; M., Jago; B., Logan; Serafini, Luciano
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 1-gen-2006 Trainotti, Michele; Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; Marconi, Annapaola; Traverso, Paolo; Zacco, Gabriele
Strong Planning under Partial Observability 1-gen-2006 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Strong Cyclic Planning Under Partial Observability 1-gen-2006 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco
Mostrati risultati da 21 a 40 di 63
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile