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.
A Model Based Decision Procedure for Common Sense Temporal Reasoning
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Certification of Translators via Off-line and On-line Proof Logging and Checking
1997-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Codesign of Dependable Systems: A Component-Based Language
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
2009-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination
2005-01-01 Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto
Efficient Theory Combination via Boolean Search
2005-01-01 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
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study
1997-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
Formal Verification of Diagnosability via Symbolic Model Checking
2003-01-01 Cimatti, Alessandro; C., Pecheur; Cavada, Roberto
Improving Heuristics for Planning and Search in Belief Space
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro
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 |
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
Opzioni
Scopri
Tipologia
- 5 Altro 21
- 5 Altro::5.12 Altro 21
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