Sfoglia per Serie EASYCHAIR PROCEEDINGS IN COMPUTING
Mostrati risultati da 1 a 2 di 2
On Knowledge Dependence in Weighted Description Logic
2019 Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On Knowledge Dependence in Weighted Description Logic | 1-gen-2019 | Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard | |
| Program Verification using Constraint Handling Rules and Array Constraint Generalizations | 1-gen-2014 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio |
Mostrati risultati da 1 a 2 di 2
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