2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Knowledge Management
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Corso di Laurea Magistrale in Informatica |
|---|---|---|---|
| CFU | 10 | Università | della CALABRIA |
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
10 cfu così ripartiti nelle aree:
- 10 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
- M - Rappresentazione della conoscenza
- *
LPD - Logica e Programmazione Dichiarativa
Logica Proposizionale - *
LPD - Logica e Programmazione Dichiarativa
Logica booleana quantificata - *
LPD - Logica e Programmazione Dichiarativa
Logica del primo ordine - *
LPD - Logica e Programmazione Dichiarativa
Calcoli -
BC - Basi di Conoscenza
Calcolo relazionale -
BC - Basi di Conoscenza
Datalog -
BC - Basi di Conoscenza
Answer set programming - *
SBC - Sistemi Basati su Conoscenza
Logica Descrittiva - *
SBC - Sistemi Basati su Conoscenza
XML, RDF, RDF-S - *
SBC - Sistemi Basati su Conoscenza
OWL
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
