RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 21 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A Model Based Decision Procedure for Common Sense Temporal Reasoning 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Certification of Translators via Off-line and On-line Proof Logging and Checking 1-gen-1997 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Codesign of Dependable Systems: A Component-Based Language 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 1-gen-2009 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto
Efficient Theory Combination via Boolean Search 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
Formal Verification of Diagnosability via Symbolic Model Checking 1-gen-2003 Cimatti, Alessandro; C., Pecheur; Cavada, Roberto
Improving Heuristics for Planning and Search in Belief Space 1-gen-2001 Bertoli, Piergiorgio; Cimatti, Alessandro
Risultati 1 - 10 di 21 (tempo di esecuzione: 0.018 secondi).
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 5 Altro 21
  • 5 Altro::5.12 Altro 21
Autore
  • Sebastiani, Roberto 10
  • Bozzano, Marco 7
  • Giunchiglia, Fausto 4
  • Traverso, Paolo 4
  • Bertoli, Piergiorgio 3
  • Bruttomesso, Roberto 3
  • Griggio, Alberto 2
  • Ranise, Silvio 2
  • Roveri, Marco 2
  • Cavada, Roberto 1
Data di pubblicazione
  • 2010 - 2018 1
  • 2000 - 2009 13
  • 1993 - 1999 7
Keyword
  • BDDs 1
  • conformant planning 1
  • diagnosis 1
  • extended goals 1
  • MBP 1
  • model-based reasoning 1
  • partial observability 1
  • planning 1
  • search in belief space 1
  • uncertainty 1
Lingua
  • eng 20
  • ita 1
Accesso al fulltext
  • no fulltext 21