Sfoglia per Rivista
Mostrati risultati da 1 a 5 di 5
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Conformant Planning via Symbolic Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
Description Logic Knowledge and Action Bases
2013-01-01 Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, Riccardo; Felli, P.; Montali, M.
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
2009-01-01 J., Hoffmann; Bertoli, Piergiorgio; M., Helmert; Pistore, Marco
The Planning Spectrum - One, Two, Three, Infinity
2007-01-01 Pistore, Marco; Moshe Y., Vardi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories | 1-gen-2011 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
Conformant Planning via Symbolic Model Checking | 1-gen-2000 | Cimatti, Alessandro; Roveri, Marco | |
Description Logic Knowledge and Action Bases | 1-gen-2013 | Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, Riccardo; Felli, P.; Montali, M. | |
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. | 1-gen-2009 | J., Hoffmann; Bertoli, Piergiorgio; M., Helmert; Pistore, Marco | |
The Planning Spectrum - One, Two, Three, Infinity | 1-gen-2007 | Pistore, Marco; Moshe Y., Vardi |
Mostrati risultati da 1 a 5 di 5
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